Statistics
Publications
2
Citations
106
H-Index
2
Active since
2013
Affiliations
Barry Bond is an author at University of Michigan specializing in computer science, computing, and automated verification.
Publications per year
2013–2017
2
2
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos et al. · USENIX Security Symposium · 2017 · 74 citations
Composing OS extensions safely and efficiently with Bascule
Andrew Baumann, Dongyoon Lee, Pedro Fonseca et al. · 2013 · 32 citations
1–2 of 2