Login / Signup
Download malware? no, thanks: how formal methods can block update attacks.
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Corrado Aaron Visaggio
Published in:
FormaliSE@ICSE (2016)
Keyphrases
</>
formal methods
detect malicious
malicious code
detecting malicious
formal analysis
model checking
attack scenarios
formal specification
knowledge based systems
provably correct
safety critical
model checker
artificial intelligence
process algebra
reactive systems
malware detection
reverse engineering
watermarking algorithm
static analysis
watermarking scheme
attack detection
computer security
security protocols
security mechanisms
security properties
control flow
database
modeling language
network traffic
software engineering
relational databases
databases