Obserwuj
Bryan Ford
Tytuł
Cytowane przez
Cytowane przez
Rok
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
14932018
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
9772016
Peer-to-peer communication across network address translators.
B Ford, P Srisuresh, D Kegel
USENIX Annual Technical Conference, General Track, 179-192, 2005
7632005
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation
B Ford
31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2004
7402004
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
4341997
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
4252017
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
4082016
Packrat Parsing: Simple, Powerful, Lazy, Linear Time (Functional Pearl)
B Ford
International Conference on Functional Programming (ICFP), 36-47, 2002
3182002
Maple: Simplifying SDN programming using algorithmic policies
A Voellmy, J Wang, YR Yang, B Ford, P Hudak
ACM SIGCOMM, 87-98, 2013
3162013
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
314*2012
Dissent: Accountable Anonymous Group Messaging
H Corrigan-Gibbs, B Ford
17th ACM Conference on Computer and Communications Security (CCS), 340-350, 2010
3092010
Efficient system-enforced deterministic parallelism
A Aviram, SC Weng, S Hu, B Ford
Communications of the ACM 55 (5), 111-119, 2012
2962012
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
2921996
CPU inheritance scheduling
B Ford, SR Susarla
Second Symposium on Operating Systems Design and Implementation (OSDI '96 …, 1996
2481996
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
246*2016
NAT behavioral requirements for TCP
B Ford, S Sivakumar, P Srisuresh
Internet Engineering Task Force (IETF), 2008
245*2008
Vx32: Lightweight user-level sandboxing on the x86
B Ford, R Cox
2008 USENIX Annual Technical Conference (USENIX ATC 08), 2008
2372008
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
2182020
Evolving Mach 3.0 to A Migrating Thread Model.
B Ford, J Lepreau
USENIX Winter, 97-114, 1994
2161994
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
2032010
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20