Bryan Ford
Cytowane przez
Cytowane przez
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
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
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
Maple: Simplifying SDN programming using algorithmic policies
A Voellmy, J Wang, YR Yang, B Ford, P Hudak
ACM SIGCOMM, 87-98, 2013
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
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
CPU inheritance scheduling
B Ford, SR Susarla
Second Symposium on Operating Systems Design and Implementation (OSDI '96 …, 1996
NAT behavioral requirements for TCP
B Ford, S Sivakumar, P Srisuresh
Internet Engineering Task Force (IETF), 2008
Vx32: lightweight user-level sandboxing on the x86.
B Ford, R Cox
USENIX Annual Technical Conference, 293-306, 2008
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
Riffle: An Efficient Communication System With Strong Anonymity
A Kwon, D Lazar, S Devadas, B Ford
Proceedings on Privacy Enhancing Technologies 2016 (2), 115-134, 2016
GPUfs: Integrating a file system with GPUs
M Silberstein, B Ford, I Keidar, E Witchel
Proceedings of the eighteenth international conference on Architectural …, 2013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20