Home - Topics - Papers - Theses - Blog - CV - Photos - Funny

Papers – Bryan Ford

E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting	May 20 2024
ZeroAuction: Zero-Deposit Sealed-bid Auction via Delayed Execution	Mar 8 2024
QuePaxa: Escaping the Tyranny of Timeouts in Consensus	Oct 23 2023
Authenticated Private Information Retrieval	Aug 10 2023
Matchertext: Towards Verbatim Interlanguage Embedding	Dec 29 2022
Flash Freezing Flash Boys: Countering Blockchain Front-Running	Jul 10 2022
Auditing the Swiss Post E-voting System: An Architectural Perspective	Apr 4 2022
Moby: A Blackout-Resistant Anonymity Network for Mobile Devices	Mar 16 2022
TRIP: Trustless Coercion-Resistant In-Person Voter Registration	Feb 14 2022
Immunizing Systems from Distant Failures by Limiting Lamport Exposure	Nov 10 2021
CALYPSO: Private Data Management for Decentralized Ledgers	Aug 16 2021
Technologizing Democracy or Democratizing Technology? A Layered-Architecture Perspective on Potentials and Challenges	Feb 1 2021
Identity and Personhood in Digital Democracy: Evaluating Inclusion, Equality, Security, and Privacy in Pseudonym Parties and Other Proofs of Personhood	Nov 4 2020
Design choices for Central Bank Digital Currency	Jul 23 2020
PriFi: Low-Latency Anonymity for Organizational Networks	Jul 13 2020
Que Sera Consensus: Simple Asynchronous Agreement with Private Coins and Threshold Logical Clocks	Mar 4 2020
Reducing Metadata Leakage from Encrypted Files and Communication with PURBs	Jul 18 2019
Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus	Jul 16 2019
On the Security of Two-Round Multi-Signatures	May 20 2019
Rethinking General-Purpose Decentralized Computing	May 12 2019
MorphIT: Morphing Packet Reports for Internet Transparency	May 4 2019
MedChain: Accountable and Auditable Data Sharing in Distributed Medical Scenarios	Mar 25 2019
A Liquid Perspective on Democratic Choice	Nov 1 2018
MedCo: Enabling Secure and Privacy-Conscious Exploration of Distributed Clinical and Genomic Data	Jul 13 2018
Democratic Value and Money for Decentralized Digital Society	Jun 1 2018
OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding	May 22 2018
On Enforcing the Digital Immunity of a Large Humanitarian Organization	May 22 2018
Atom: Horizontally Scaling Strong Anonymity	Oct 30 2017
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds	Aug 18 2017
UnLynx: A Decentralized System for Privacy-Conscious Data Sharing	Jul 19 2017
Scalable Bias-Resistant Distributed Randomness	May 23 2017
Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies	Apr 29 2017
Multiple Objectives of Lawful-Surveillance Protocols	Mar 20 2017
Privacy-Preserving Lawful Contact Chaining	Oct 24 2016
Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing	Aug 10 2016
Riffle: An Efficient Communication System With Strong Anonymity	Jul 19 2016
Open, privacy-preserving protocols for lawful surveillance	Jul 13 2016
Keeping Authorities “Honest or Bust” with Decentralized Witness Cosigning	May 23 2016
AnonRep: Towards Tracking-Resistant Anonymous Reputation	Mar 16 2016
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities	Mar 16 2016
Metadata Protection Considerations for TLS Present and Future	Feb 21 2016
Deterministically Deterring Timing Attacks in Deterland	Oct 4 2015
Seeking Anonymity in an Internet Panopticon	Oct 1 2015
Private Eyes: Secure Remote Biometric Authentication	Jul 20 2015
Certificate Cothority: Towards Trustworthy Collective CAs	Jul 2 2015
GPUfs: The Case for Operating System Services on GPUs	Dec 1 2014
Heading Off Correlated Failures through Independence-as-a-Service	Oct 7 2014
Catching Bandits and Only Bandits: Privacy-Preserving Intersection Warrants for Lawful Surveillance	Aug 18 2014
Managing NymBoxes for Identity and Tracking Protection	Aug 1 2014
Security Analysis of Accountable Anonymity in Dissent	Aug 1 2014
A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays	Jul 18 2014
From Onions to Shallots: Rewarding Tor Relays with TEARS	Jul 18 2014
TAQ: Enhancing Fairness and Performance Predictability in Small Packet Regimes	Apr 14 2014
Crypto-Book: An Architecture for Privacy Preserving Online Identities	Nov 22 2013
Structural Cloud Audits that Protect Private Information	Nov 8 2013
Conscript Your Friends into Larger Anonymity Sets with JavaScript	Nov 4 2013
Ensuring High-Quality Randomness in Cryptographic Key Generation	Nov 4 2013
Hang With Your Buddies to Resist Intersection Attacks	Nov 4 2013
An Untold Story of Redundant Clouds: Making Your Service Deployment Truly Reliable	Nov 3 2013
Proactively Accountable Anonymous Messaging in Verdict	Aug 14 2013
Maple: Simplifying SDN Programming Using Algorithmic Policies	Aug 13 2013
Reducing Latency in Tor Circuits with Unordered Delivery	Aug 13 2013
Lazy Tree Mapping: Generalizing and Scaling Deterministic Parallelism	Jul 29 2013
Welcome to the World of Human Rights: Please Make Yourself Uncomfortable	May 23 2013
GPUfs: Integrating a File System with GPUs	Mar 20 2013
Enhancing the OS against Security Threats in System Administration	Dec 3 2012
Dissent in Numbers: Making Strong Anonymity Scale	Oct 8 2012
Scavenging for Anonymity with BlogDrop	Jul 9 2012
Scaling Software-Defined Network Controllers on Multicore Servers	Jul 1 2012
Non-Linear Compression: Gzip Me Not!	Jun 14 2012
Plugging Side-Channel Leaks with Timing Information Flow Control	Jun 13 2012
Icebergs in the Clouds: the Other Risks of Cloud Computing	Jun 12 2012
Strong Theft-Proof Privacy-Preserving Biometric Authentication	May 25 2012
Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS	Apr 27 2012
Faceless: Decentralized Anonymous Group Messaging for Online Social Networks	Apr 10 2012
Scalable Anonymous Group Communication in the Anytrust Model	Apr 10 2012
A Virtual Memory Foundation for Scalable Deterministic Parallelism	Jul 11 2011
CertiKOS: A Certified Kernel for Secure Cloud Computing	Jul 11 2011
Eyo: Device-Transparent Personal Storage	Jun 15 2011
Deterministic OpenMP for Race-Free Parallelism	May 26 2011
Workspace Consistency: A Programming Model for Shared Memory Parallelism	Mar 6 2011
A Dynamic Recursive Unified Internet Design (DRUID)	Dec 24 2010
Minion: an all-terrain packet packhorse to jump-start stalled internet transports	Nov 28 2010
Determinating Timing Channels in Compute Clouds	Oct 8 2010
Efficient System-Enforced Deterministic Parallelism	Oct 5 2010
Dissent: Accountable Anonymous Group Messaging	Oct 4 2010
Advanced Development of Certified OS Kernels	Jul 15 2010
Unintended Consequences of NAT Deployments with Overlapping Address Space	Feb 1 2010
Efficient Cross-Layer Negotiation	Oct 22 2009
Device Transparency: a New Model for Mobile Storage	Oct 11 2009
NAT Behavioral Requirements for ICMP	Apr 1 2009
Breaking Up the Transport Logjam	Oct 6 2008
NAT Behavioral Requirements for TCP	Oct 1 2008
UIA: A Global Connectivity Architecture for Mobile Personal Devices	Sep 1 2008
Vx32: Lightweight User-level Sandboxing on the x86	Jun 27 2008
An Offline Foundation for Online Accountable Pseudonyms	Apr 1 2008
State of Peer-to-Peer (P2P) Communication across Network Address Translators (NATs)	Mar 1 2008
Directions in Internet Transport Evolution	Dec 1 2007
Alpaca: Extensible Authorization for Distributed Services	Oct 29 2007
Structured Streams: a New Transport Abstraction	Aug 27 2007
	Nov 6 2006
Persistent Personal Names for Globally Connected Mobile Devices	Nov 6 2006
Sybil Parties: An Offline Foundation for Online Accountability	Sep 24 2006
User-Relative Names for Globally Connected Personal Devices	Feb 27 2006
VXA: A Virtual Architecture for Durable Compressed Archives	Dec 16 2005
Peer-to-Peer Communication Across Network Address Translators	Apr 10 2005
	Feb 17 2005
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation	Jan 14 2004
Unmanaged Internet Protocol: Taming the Edge Network Management Crisis	Nov 20 2003
Scalable Internet Routing on Topology-Independent Node Identities	Oct 31 2003
Packrat Parsing: Simple, Powerful, Lazy, Linear Time	Oct 4 2002
Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking	Sep 3 2002
Interface and Execution Models in the Fluke Kernel	Feb 24 1999
The Flux OSKit: A Substrate for Kernel and Language Research	Oct 6 1997
Flick: A Flexible, Optimizing IDL Compiler	Jun 15 1997
The Flux OS Toolkit: Reusable Components for OS Implementation	May 5 1997
CPU Inheritance Scheduling	Oct 30 1996
Microkernels Meet Recursive Virtual Machines	Oct 30 1996
User-level Checkpointing Through Exportable Kernel State	Oct 27 1996
The Persistent Relevance of the Local Operating System to Global Applications	Sep 9 1996
Using Annotated Interface Definitions to Optimize RPC	Mar 1 1995
Separating Presentation from Interface in RPC and IDLs	Dec 1 1994
Evolving Mach 3.0 to A Migrating Thread Model	Jan 17 1994
Microkernels Should Support Passive Objects	Dec 9 1993
FLEX: A Tool for Building Efficient and Flexible Systems	Oct 14 1993
In-Kernel Servers on Mach 3.0: Implementation and Performance	Apr 19 1993
Notes on Thread Models in Mach 3.0	Apr 1 1993
Die Datenpresse	Aug 1 1992
Object-Oriented Display Refreshing	Apr 1 1992