Chris Hankin
- Quantifying Timing Leaks and Cost Optimisation
2008/07/24 by Alessandra Di Pierro, Di Pierro, Alessandra, Chris Hankin +3 · 2 citations
Computer Science · #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Security and Verification in Computing #cs.CR #cs.PL