Kevin Elphinstone
- Comprehensive formal verification of an OS microkernel
2014/02/01 by Gerwin Klein, June Andronick, Kevin Elphinstone +4 · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #Security and Verification in Computing