Bryan Ford

CoRR, 2020

Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency.

[BibT_eX]

[DOI]

Haoqian Zhang

Cristina Basescu

CoRR, 2020

A Liquid Perspective on Democratic Choice.

[BibT_eX]

[DOI]

CoRR, 2020

Democratic Value and Money for Decentralized Digital Society.

[BibT_eX]

[DOI]

CoRR, 2020

Que Sera Consensus: Simple Asynchronous Agreement with Private Coins and Threshold Logical Clocks.

[BibT_eX]

[DOI]

Juan Ramón Troncoso-Pastoriza

Philipp Jovanovic

Ewa Syta

CoRR, 2020

2019

MedCo: Enabling Secure and Privacy-Preserving Exploration of Distributed Clinical and Genomic Data.

[BibT_eX]

[DOI]

Jean Louis Raisaro

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Reducing Metadata Leakage from Encrypted Files and Communication with PURBs.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2019

MorphIT: Morphing Packet Reports for Internet Transparency.

[BibT_eX]

[DOI]

Georgia Fragkouli

Katerina J. Argyraki

Proc. Priv. Enhancing Technol., 2019

Rationality is Self-Defeating in Permissionless Systems.

[BibT_eX]

[DOI]

Rainer Böhme

CoRR, 2019

Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus.

[BibT_eX]

[DOI]

CoRR, 2019

On the Security of Two-Round Multi-Signatures.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Rethinking General-Purpose Decentralized Computing.

[BibT_eX]

[DOI]

Enis Ceyhun Alp

Georgia Fragkouli

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018

Hidden in Plain Sight: Storing and Managing Secrets on a Public Ledger.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Okamoto Beats Schnorr: On the Provable Security of Multi-Signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Reducing Metadata Leakage from Encrypted Files and Communication with PURBs.

[BibT_eX]

[DOI]

CoRR, 2018

OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding.

[BibT_eX]

[DOI]

Juan Ramón Troncoso-Pastoriza

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

On Enforcing the Digital Immunity of a Large Humanitarian Organization.

[BibT_eX]

[DOI]

Stevens Le Blond

Alejandro Cuevas

Philipp Jovanovic

Jean-Pierre Hubaux

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

UnLynx: A Decentralized System for Privacy-Conscious Data Sharing.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2017

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds.

[BibT_eX]

[DOI]

Kirill Nikitin

IACR Cryptol. ePrint Arch., 2017

OmniLedger: A Secure, Scale-Out, Decentralized Ledger.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

PriFi: A Low-Latency Local-Area Anonymous Communication Network.

[BibT_eX]

[DOI]

CoRR, 2017

Multiple Objectives of Lawful-Surveillance Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXV, 2017

Atom: Horizontally Scaling Strong Anonymity.

[BibT_eX]

[DOI]

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies.

[BibT_eX]

[DOI]

Maria Borge

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

2016

Riffle: An Efficient Communication System With Strong Anonymity.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2016

Scalable Bias-Resistant Distributed Randomness.

[BibT_eX]

[DOI]

Ewa Syta

Philipp Jovanovic

IACR Cryptol. ePrint Arch., 2016

Open, privacy-preserving protocols for lawful surveillance.

[BibT_eX]

[DOI]

Aaron Segal

CoRR, 2016

Atom: Scalable Anonymity Resistant to Traffic Analysis.

[BibT_eX]

[DOI]

CoRR, 2016

Privacy-Preserving Lawful Contact Chaining: [Preliminary Report].

[BibT_eX]

[DOI]

Aaron Segal

Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, 2016

PriFi: A Low-Latency and Tracking-Resistant Protocol for Local-Area Anonymous Communication.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, 2016

Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

AnonRep: Towards Tracking-Resistant Anonymous Reputation.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

Warding off timing attacks in Deterland.

[BibT_eX]

[DOI]

CoRR, 2015

Decentralizing Authorities into Scalable Strongest-Link Cothorities.

[BibT_eX]

[DOI]

CoRR, 2015

Seeking anonymity in an internet panopticon.

[BibT_eX]

[DOI]

Commun. ACM, 2015

Private Eyes: Secure Remote Biometric Authentication.

[BibT_eX]

[DOI]

Proceedings of the SECRYPT 2015, 2015

Hiding in a Panopticon - Grand Challenges in Internet Anonymity.

[BibT_eX]

[DOI]

Proceedings of the ICISSP 2015, 2015

2014

GPUfs: Integrating a file system with GPUs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2014

Security Analysis of Accountable Anonymity in Dissent.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2014

Crux: Locality-Preserving Distributed Systems.

[BibT_eX]

[DOI]

Michael F. Nowlan

Jose M. Faleiro

CoRR, 2014

Crypto-Book: Bootstrapping Privacy Preserving Online Identities from Social Networks.

[BibT_eX]

[DOI]

CoRR, 2014

GPUfs: the case for operating system services on GPUs.

[BibT_eX]

[DOI]

Mark Silberstein

Emmett Witchel

Commun. ACM, 2014

Catching Bandits and Only Bandits: Privacy-Preserving Intersection Warrants for Lawful Surveillance.

[BibT_eX]

[DOI]

Aaron Segal

Proceedings of the 4th USENIX Workshop on Free and Open Communications on the Internet, 2014

Heading Off Correlated Failures through Independence-as-a-Service.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Managing NymBoxes for Identity and Tracking Protection.

[BibT_eX]

[DOI]

Daniel Jackowitz

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

TAQ: enhancing fairness and performance predictability in small packet regimes.

[BibT_eX]

[DOI]

Proceedings of the Ninth Eurosys Conference 2014, 2014

2013

WiNoN - Plugging the Leaky Boat of Web Anonymity.

[BibT_eX]

[DOI]

CoRR, 2013

Conscript your friends into larger anonymity sets with JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013

Reducing Latency in Tor Circuits with Unordered Delivery.

[BibT_eX]

[DOI]

Michael F. Nowlan

Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

Proactively Accountable Anonymous Messaging in Verdict.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Maple: simplifying SDN programming using algorithmic policies.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Crypto-Book: an architecture for privacy preserving online identities.

[BibT_eX]

[DOI]

John Maheswaran

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

An untold story of redundant clouds: making your service deployment truly reliable.

[BibT_eX]

[DOI]

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Structural cloud audits that protect private information.

[BibT_eX]

[DOI]

Hongda Xiao

Proceedings of the CCSW'13, 2013

Hang with your buddies to resist intersection attacks.

[BibT_eX]

[DOI]

Ewa Syta

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Ensuring high-quality randomness in cryptographic key generation.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Lazy tree mapping: generalizing and scaling deterministic parallelism.

[BibT_eX]

[DOI]

Yu Zhang

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012

Dining in the Sunshine: Verifiable Anonymous Communication with Verdict

[BibT_eX]

[DOI]

CoRR, 2012

Efficient system-enforced deterministic parallelism.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Faceless: decentralized anonymous group messaging for online social networks.

[BibT_eX]

[DOI]

Xiaoxiao Song

Proceedings of the Fifth Workshop on Social Network Systems, 2012

Dissent in Numbers: Making Strong Anonymity Scale.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS.

[BibT_eX]

[DOI]

Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Enhancing the OS against Security Threats in System Administration.

[BibT_eX]

[DOI]

Nuno Santos

Rodrigo Rodrigues

Proceedings of the Middleware 2012, 2012

Non-Linear Compression: Gzip Me Not!

[BibT_eX]

[DOI]

Michael F. Nowlan

Ramakrishna Gummadi

Proceedings of the 4th USENIX Workshop on Hot Topics in Storage and File Systems, 2012

Icebergs in the Clouds: The Other Risks of Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 4th USENIX Workshop on Hot Topics in Cloud Computing, 2012

Plugging Side-Channel Leaks with Timing Information Flow Control.

[BibT_eX]

[DOI]

Proceedings of the 4th USENIX Workshop on Hot Topics in Cloud Computing, 2012

2011

Wire-Compatible Unordered Delivery in TCP and TLS

[BibT_eX]

[DOI]

CoRR, 2011

A Dynamic Recursive Unified Internet Design (DRUID).

[BibT_eX]

[DOI]

Christos Papadopoulos

Peter L. Reiher

George N. Rouskas

Comput. Networks, 2011

Eyo: Device-Transparent Personal Storage.

[BibT_eX]

[DOI]

Justin Mazzola Paluska

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

TCP behavior in sub packet regimes.

[BibT_eX]

[DOI]

Jay Chen

Lakshminarayanan Subramanian

Proceedings of the SIGMETRICS 2011, 2011

Deterministic OpenMP for Race-Free Parallelism.

[BibT_eX]

[DOI]

Amittai Aviram

Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

A virtual memory foundation for scalable deterministic parallelism.

[BibT_eX]

[DOI]

Yu Zhang

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

CertiKOS: a certified kernel for secure cloud computing.

[BibT_eX]

[DOI]

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010

Unintended Consequences of NAT Deployments with Overlapping Address Space.

[BibT_eX]

[DOI]

Pyda Srisuresh

RFC, February, 2010

Device transparency: a new model for mobile storage.

[BibT_eX]

[DOI]

Justin Mazzola Paluska

ACM SIGOPS Oper. Syst. Rev., 2010

Accountable Anonymous Group Messaging

[BibT_eX]

[DOI]

CoRR, 2010

Determinating Timing Channels in Statistically Multiplexed Clouds

[BibT_eX]

[DOI]

CoRR, 2010

Dissent: accountable anonymous group messaging.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Determinating timing channels in compute clouds.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010

2009

NAT Behavioral Requirements for ICMP.

[BibT_eX]

[DOI]

RFC, April, 2009

Deterministic Execution for Multicore and Cloud Computing

[BibT_eX]

[DOI]

Amittai Aviram

CoRR, 2009

Flow Splitting with Fate Sharing in a Next Generation Transport Services Architecture

[BibT_eX]

[DOI]

CoRR, 2009

Efficient Cross-Layer Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

2008

NAT Behavioral Requirements for TCP.

[BibT_eX]

[DOI]

RFC, October, 2008

State of Peer-to-Peer (P2P) Communication across Network Address Translators (NATs).

[BibT_eX]

[DOI]

Pyda Srisuresh

Dan Kegel

RFC, March, 2008

Global connectivity architecture of mobile personal devices.

[BibT_eX]

[DOI]

PhD thesis, 2008

Vx32: Lightweight User-level Sandboxing on the x86.

[BibT_eX]

[DOI]

Russ Cox

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

An offline foundation for online accountable pseudonyms.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Social Network Systems, 2008

Breaking Up the Transport Logjam.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

2007

Structured streams: a new transport abstraction.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2007 Conference on Applications, 2007

Alpaca: extensible authorization for distributed services.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Packrat Parsing: Simple, Powerful, Lazy, Linear Time

[BibT_eX]

[DOI]

CoRR, 2006

Persistent Personal Names for Globally Connected Mobile Devices.

[BibT_eX]

[DOI]

Sean C. Rhea

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

User-Relative Names for Globally Connected Personal Devices.

[BibT_eX]

[DOI]

Sean C. Rhea

Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006

2005

Peer-to-Peer Communication Across Network Address Translators.

[BibT_eX]

[DOI]

Pyda Srisuresh

Dan Kegel

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

UIA: a user information architecture for personal devices.

[BibT_eX]

[DOI]

Sean C. Rhea

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

VXA: A Virtual Architecture for Durable Compressed Archives.

[BibT_eX]

[DOI]

Proceedings of the FAST '05 Conference on File and Storage Technologies, 2005

2004

Unmanaged Internet Protocol: taming the edge network management crisis.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2004

Parsing expression grammars: a recognition-based syntactic foundation.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2002

Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

1999

Interface and Execution Models in the Fluke Kernel.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

1997

The Flux OSKit: A Substrate for Kernel and Language Research.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Flick: A Flexible, Optimizing IDL Compiler.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

The Flux OS Toolkit: Reusable Components for OS Implementation.

[BibT_eX]

[DOI]

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

1996

The persistent relevance of the local operating system to global applications.

[BibT_eX]

[DOI]

Jay Lepreau

Mike Hibler

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

CPU Inheritance Scheduling.

[BibT_eX]

[DOI]

Sai Susarla

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

Microkernels Meet Recursive Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

1995

Using Annotated Interface Definitions to Optimize RPC.

[BibT_eX]

[DOI]

Mike Hibler

Jay Lepreau

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994

Evolving Mach 3.0 to A Migrating Thread Model.

[BibT_eX]

[DOI]