Bryan Ford
Cited by
Cited by
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
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
Peer-to-peer communication across network address translators.
B Ford, P Srisuresh, D Kegel
USENIX Annual Technical Conference, General Track, 179-192, 2005
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation
B Ford
31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 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
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
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
Packrat Parsing: Simple, Powerful, Lazy, Linear Time (Functional Pearl)
B Ford
International Conference on Functional Programming (ICFP), 36-47, 2002
Maple: Simplifying SDN programming using algorithmic policies
A Voellmy, J Wang, YR Yang, B Ford, P Hudak
ACM SIGCOMM, 87-98, 2013
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
Dissent: Accountable Anonymous Group Messaging
H Corrigan-Gibbs, B Ford
17th ACM Conference on Computer and Communications Security (CCS), 340-350, 2010
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
Efficient system-enforced deterministic parallelism
A Aviram, SC Weng, S Hu, B Ford
Communications of the ACM 55 (5), 111-119, 2012
NAT behavioral requirements for TCP
B Ford, S Sivakumar, P Srisuresh
Internet Engineering Task Force (IETF), 2008
CPU inheritance scheduling
B Ford, SR Susarla
Second Symposium on Operating Systems Design and Implementation (OSDI '96 …, 1996
Vx32: Lightweight user-level sandboxing on the x86
B Ford, R Cox
2008 USENIX Annual Technical Conference (USENIX ATC 08), 2008
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
Evolving Mach 3.0 to A Migrating Thread Model.
B Ford, J Lepreau
USENIX Winter, 97-114, 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
GPUfs: Integrating a file system with GPUs
M Silberstein, B Ford, I Keidar, E Witchel
Proceedings of the eighteenth international conference on Architectural …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20