Smart-Guard: Defending User Input from Malware

Keyphrases

• User Input 100%
• Guard 100%
• Malware 100%
• Electronic Voting 33%
• Attacker 33%
• Confidentiality 33%
• Sender 33%
• ProVerif 33%
• Virtual Private Network 33%
• Trust Assumption 33%
• Computer Input 33%
• Protocol Verifier 33%
• Malicious Devices 33%
• Online Banking 33%
• Input Techniques 33%
• Malware Tolerance 33%
• Industrial Control Systems 33%

Computer Science

• Malware 100%
• Use Case 33%
• Underlying System 33%
• Attackers 33%
• Online Banking 33%
• Virtual Private Networks 33%
• Industrial Control System 33%
• Electronic Banking 33%