Ian Roessle
- Formally verified big step semantics out of x86-64 binaries
2019/01/04 by Ian Roessle, Freek Verbeek, Binoy Ravindran · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #Security and Verification in Computing