Scholar
Bryan Ford
Google Scholar ID: TwyzQP4AAAAJ
EPFL
Security
Privacy
Decentralized Systems
Operating Systems
Networking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
14,512
H-index
51
i10-index
109
Publications
20
Co-authors
71
list available
Publications
6 items
Idealizing Useful Fictions in Omega Grounded Arithmetic
2026
Cited
0
Internalized Truth in Reflective Grounded Arithmetic
2026
Cited
0
Computable Quantification in Reflective Grounded Arithmetic
2026
Cited
0
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
2025
Cited
0
Reasoning Around Paradox with Grounded Deduction
arXiv.org · 2024
Cited
0
TRIP: Trust-Limited Coercion-Resistant In-Person Voter Registration
2022
Cited
2
Co-authors
8 total
Lefteris Kokoris Kogias
MystenLabs
Philipp Jovanovic
University College London
Frans Kaashoek
Massuchesetts Institute of Technology (MIT)
Joan Feigenbaum
Grace Murray Hopper Professor of Computer Science, Yale University
Robert Morris
Professor of Computer Science, MIT
Michael Fischer
Professor of Computer Science, Yale University
Ennan Zhai
Alibaba Group
Aaron Johnson
U.S. Naval Research Laboratory
