| OmniLedger: A secure, scale-out, decentralized ledger via sharding E Kokoris-Kogias, P Jovanovic, L Gasser, N Gailly, E Syta, B Ford 2018 IEEE Symposium on Security and Privacy (SP), 583-598, 2018 | 1382 | 2018 |
| Enhancing Bitcoin security and performance with strong consistency via collective signing EK Kogias, P Jovanovic, N Gailly, I Khoffi, L Gasser, B Ford 25th USENIX Security Symposium (USENIX Security '16), 279-296, 2016 | 939 | 2016 |
| Peer-to-peer communication across network address translators. B Ford, P Srisuresh, D Kegel USENIX Annual Technical Conference, General Track, 179-192, 2005 | 758 | 2005 |
| Parsing Expression Grammars: A Recognition-Based Syntactic Foundation B Ford 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2004 | 724 | 2004 |
| The Flux OSKit: A substrate for kernel and language research B Ford, G Back, G Benson, J Lepreau, A Lin, O Shivers Sixteenth ACM Symposium on Operating systems Principles (SOSP), 38-51, 1997 | 424 | 1997 |
| Scalable bias-resistant distributed randomness E Syta, P Jovanovic, EK Kogias, N Gailly, L Gasser, I Khoffi, MJ Fischer, ... 2017 IEEE Symposium on Security and Privacy (SP), 444-460, 2017 | 394 | 2017 |
| Keeping Authorities “Honest or Bust” with Decentralized Witness Cosigning E Syta, I Tamas, D Visher, DI Wolinsky, P Jovanovic, L Gasser, N Gailly, ... 37th IEEE Symposium on Security and Privacy (S&P), 526-545, 2016 | 393 | 2016 |
| Packrat Parsing: Simple, Powerful, Lazy, Linear Time (Functional Pearl) B Ford International Conference on Functional Programming (ICFP), 36-47, 2002 | 319 | 2002 |
| Dissent in Numbers: Making Strong Anonymity Scale DI Wolinsky, H Corrigan-Gibbs, B Ford, A Johnson 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012 | 311* | 2012 |
| Maple: Simplifying SDN programming using algorithmic policies A Voellmy, J Wang, YR Yang, B Ford, P Hudak ACM SIGCOMM, 87-98, 2013 | 309 | 2013 |
| Dissent: Accountable Anonymous Group Messaging H Corrigan-Gibbs, B Ford 17th ACM Conference on Computer and Communications Security (CCS), 340-350, 2010 | 302 | 2010 |
| Efficient system-enforced deterministic parallelism A Aviram, SC Weng, S Hu, B Ford Communications of the ACM 55 (5), 111-119, 2012 | 294 | 2012 |
| Microkernels meet recursive virtual machines B Ford, M Hibler, J Lepreau, P Tullmann, G Back, S Clawson USENIX 2nd Symposium on Operating System Design and Implementation (OSDI '96 …, 1996 | 291 | 1996 |
| NAT behavioral requirements for TCP B Ford, S Sivakumar, P Srisuresh Internet Engineering Task Force (IETF), 2008 | 244* | 2008 |
| CPU inheritance scheduling B Ford, SR Susarla Second Symposium on Operating Systems Design and Implementation (OSDI '96 …, 1996 | 242 | 1996 |
| AnonRep: Towards Tracking-Resistant Anonymous Reputation E Zhai, DI Wolinsky, R Chen, E Syta, C Teng, B Ford 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2016 | 236* | 2016 |
| Vx32: Lightweight user-level sandboxing on the x86 B Ford, R Cox 2008 USENIX Annual Technical Conference (USENIX ATC 08), 2008 | 231 | 2008 |
| Evolving Mach 3.0 to A Migrating Thread Model. B Ford, J Lepreau USENIX Winter, 97-114, 1994 | 216 | 1994 |
| Determinating timing channels in compute clouds A Aviram, S Hu, B Ford, R Gummadi Proceedings of the 2010 ACM workshop on Cloud computing security workshop …, 2010 | 206 | 2010 |
| Design choices for central bank digital currency: Policy and technical considerations S Allen, S Čapkun, I Eyal, G Fanti, BA Ford, J Grimmelmann, A Juels, ... National Bureau of Economic Research, 2020 | 193 | 2020 |
Lefteris Kokoris KogiasMystenLabsVerified email at mystenlabs.com
