Statistics
Publications
4
Citations
775
H-Index
4
Active since
2005
Affiliations
Carnegie Mellon University(Current)
Jon McCune is an author at Carnegie Mellon University specializing in computer science, engineering, and formal verification.
Publications per year
2005–2013
4
4
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
Amit Vasudevan, Sagar Chaki, Limin Jia et al. · 2013 · 134 citations · Full text
Detection of Denial-of-Message Attacks on Sensor Network Broadcasts
Jon McCune, Elaine Shi, Adrian Perrig et al. · 2005 · 126 citations
Building Verifiable Trusted Path on Commodity x86 Computers
Zongwei Zhou, Virgil D. Gligor, J.P. Newsome et al. · 2012 · 124 citations
1–4 of 4