Published Papers

2026

A. Yaish, N. Chemaya, L.W. Cong, and D. Malkhi. Inequality in the Age of Pseudonymity. AAAI, 2026 (to appear)

2025

J. Groth, H. Malvai, A. Miller, and Y-N. Zhang. Constraint-Friendly Map-to-Elliptic-Curve-Group Relations and Their Applications. ASIACRYPT, 2025.
A. Farahbakhsh, A. Haeberlen, Q. Lu, L. Alvisi, R. van Renesse, and S. Cohen. Modeling Metastability. HotNets, 2025.
F. Suri-Payer, N. Giridharan, L. Arzola, S. Cohen, L. Alvisi, and N. Crooks. Pesto: Cooking up High Performance BFT Queries. SOSP, 2025.
L-H. Merino, S. Colombo, R. Reyes, A. Azhir, H. Zhang, J. Allen, B. Tellenbach, V. Estrada-Galiñanes, and B. Ford. TRIP: Trust-Limited Coercion-Resistant In-Person Voter Registration. SOSP, 2025.
M. Zhang, S. Yang, and F. Zhang. RediSwap: MEV Redistribution Mechanism for CFMMs. ACM CCS-DeFi, 2025.
G. Tan, A. Gascón, S. Meiklejohn, M. Raykova, X. Wang, and N. Luo. Founding Zero-Knowledge Proofs of Training on Optimum Vicinity. ACM CCS, 2025.
Y. Bar-On, R. Bar-Zur, O. Ben-Porat, N. Cohen, I. Eyal, and M. Sitbon. Aegis: Tethering a Blockchain with Primary-Chain Stake. ACM CCS, 2025.
R. Bar-Zur and I. Eyal. Elastic Restaking Network. ACM CCS, 2025.
M. Kelkar, A. Ganesh, A. Partap, J. Bonneau, and S.M. Weinberg. Breaking Omertà: On Threshold Cryptography, Smart Collusion, and Whistleblowing. ACM CCS, 2025.
T-H. Hubert Chan, K. Wu, and E. Shi. Mechanism Design for Automated Market Makers. AFT, 2025.
B. Llacer Trotti, W. Tang, R. El-Azouzi, G. Fanti, and D. Sadoc Menasche. Strategic Analysis of Just-In-Time Liquidity Provision in Concentrated Liquidity Market Makers. AFT, 2025.
L.W. Cong, P. Ghosh, J. Li, and Q. Ruan. Inflation Expectation and Cryptocurrency Investment. AFT, 2025.
L.W. Cong, L. Fox, S. Li, and L. Zhou. A primer on oracle economics. Journal of Corporate Finance, 2025.
H. Chung, K. Wu, and E. Shi. Foundations of Platform-Assisted Auctions. CRYPTO, 2025.
A. Agarwal, R. Fernando, and B. Pinkas. Efficiently-Thresholdizable Batched Identity Based Encryption, with Applications. CRYPTO, 2025.
T. Gu, A. Tinoco, S.H.G. Rajan, and E. Shi. PicoGRAM: Practical Garbled RAM from Decisional Diffie-Hellman. CRYPTO, 2025.
A. Fabrega, A. Zhao, J. Yu, J. Austgen, S. Allen, K. Babel, M. Kelkar, and A. Juels. Voting-Bloc Entropy: A New Metric for DAO Decentralization. USENIX, 2025.
T. Gu, Y. Wang, A. Tinoco, B. Chen, K. Yi, and E. Shi. Flexway O-Sort: Enclave-Friendly and Optimal Oblivious Sorting. USENIX, 2025.
M. Shih, H. Kailad, M. Rosenberg, and I. Miers. zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks. USENIX, 2025.
Y. Wang and F. Zhang. Qelect: Lattice-based Single Secret Leader Election Made Practical. USENIX, 2025.
L. Heimbach, Y. Vonlanthen, J. Villacis, L. Kiffer, and R. Wattenhofer. Deanonymizing Ethereum Validators: The P2P Network Has a Privacy Issue. SBC, 2025.
K. Babel, A. Chursin, G. Danezis, A. Kichidi, L. Kokoris-Kogias, A. Koshy, A. Sonnino, and M. Tian. Mysticeti: Reaching the Latency Limits with Uncertified DAGs. SBC, 2025.
A. Fabrega, A. Zhao, J. Yu, J. Austgen, S. Allen, K. Babel, M. Kelkar, and A. Juels. Voting-Bloc Entropy: A New Metric for DAO Decentralization. SBC, 2025.
D. Maram, M. Kelkar, and I. Eyal. Interactive Multi-Credential Authentication. SBC, 2025.
J. Austgen, A. Fábrega, M. Kelkar, D. Vilardell, S. Allen, K. Babel, J. Yu, and A. Juels. Liquefaction: Privately Liquefying Blockchain Assets. SBC, 2025.
A. Goldberg, G. Fanti, N. Shah, and S. Wu. Benchmarking Fraud Detectors on Private Graph Data. KDD, 2025.
M. Rosenberg, M. Shih, Z. Zhao, R. Wang, I. Miers, and F. Zhang. ZIPNet: Low-bandwidth anonymous broadcast from (dis)Trusted Execution Environments. PoPETS, 2025.
A. Ganesh and Q. Zhang. Truthful, Credible, and Optimal Auctions for Matroids via Blockchains and Commitments. EC, 2025.
M. Zhang, Y. Li, X. Sun, E. Chen, and X. Chen. Computation of MEV in Decentralized Exchanges. EC, 2025.
I. Amores-Sesar, C. Cachin, J. Villacis, and L. Zanolini. DAG-based Consensus with Asymmetric Trust. PODC, 2025.
R. de Laage, P. Yuhala, F.X. Wicht, P. Felber, C. Cachin, and V. Schiavoni. Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments. DEBS, 2025.
W. Tang, R. El-Azouzi, C.H. Lee, E. Chan, and G. Fanti. Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers. SIGMETRICS, 2025. (Best Paper Award Runner-Up)
J. Austgen, M. Kelkar, A. Fábrega, D. Vilardell1, S. Allen, K. Babel, J. Yu, and Ari Juels. Liquefaction: Privately Liquefying Blockchain Assets. IEEE S&P, 2025.
C. Zhang, X. Yang, D. Oswald, M. Ryan, and P. Jovanovic. Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos. IEEE S&P, 2025.
J. Ernstberger, C. Zhang, L. Ciprian, P. Jovanovic, and S. Steinhorst. Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs. IEEE S&P, 2025.
B. Arun, Z. Li, F. Suri-Payer, S. Das, and A. Spiegelman. Bolt: High Throughput DAG BFT Can Be Fast and Robust!. NSDI, 2025.
M. Senn and C. Cachin. Asymmetric Failure Assumptions for Reliable Distributed Systems. PaPoC, 2025.
W. Wang, L. Zhou, A. Yaish, F. Zhang, B. Fisch, and B. Livshits. Prooφ: A ZKP Market Mechanism. FC, 2025.
H. Chung, E. Masserova, E. Shi, and S.A. Thyagarajan. Rapidash: Foundations of Side-Contract-Resilient Fair Exchange. FC, 2025.
Q. Kniep, L. Kokoris-Kogias, A. Sonnino, I. Zablotchi, and N. Zhang. Pilotfish: Distributed Execution for Scalable Blockchains. FC, 2025.
R. Neiheiser and E. Kokoris-Kogias. Anthemius: Efficient & Modular Block Assembly for Concurrent Execution. FC, 2025.
B. Riva, A. Sonnino, and L. Kokoris-Kogias. Seahorse: Efficiently Mixing Encrypted and Normal Transactions. FC, 2025.
T. Lu, Y. Chen, Z. Wang, X. Wang, W. Chen, and J. Zhang. BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs. ASPLOS, 2025.
F. Baldimtsi, K.K. Chalkias, Y. Ji, J. Lindstrom, D. Maram, B. Riva, A. Roy, M. Sedaghat, and J. Wang. zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials. RWC, 2025.
K. Babel, A. Chursin, G. Danezis, A. Kichidis, L. Kokoris-Kogias, A. Koshy, A. Sonnino, and M. Tian. Mysticeti: Reaching the Latency Limits with Uncertified DAGs. NDSS, 2025.
W. Tang, R. El-Azouzi, C.H. Lee, E. Chen, and G. Fanti. Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers. PoMACS, 2025.

2024

A. Kavousi, A. Abadi, and P. Jovanovic. Timed Secret Sharing. Asiacrypt, 2024.
N. Giridharan, F. Suri-Payer, I. Abraham, L. Alvisi, and N. Crooks. Autobahn: Seamless high speed BFT. SOSP, 2024.
E. Liu, G. Kappos, E. Mugnier, L. Invernizzi, S. Savage, D. Tao, K. Thomas, G.M. Voelker, and S. Meiklejohn. Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates. ACM IMC, 2024.
N Mohnblatt, A. Sonnino, K. Gurkan, and P. Jovanovic. Arke: Scalable and Byzantine Fault Tolerant Privacy-Preserving Contact Discovery. ACM CCS, 2024.
S. Blackshear, A. Chursin, G. Danezis, A. Kichidis, L. Kokoris-Kogias, X. Li, M. Logan, A. Menon, T. Nowacki, A. Sonnino, B. Williams, and L. Zhang. Sui Lutris: A Blockchain Combining Broadcast and Consensus. ACM CCS, 2024.
M. Mouallem and I. Eyal. Asynchronous Authentication. ACM CCS, 2024.
S. Wadhwa, L. Zanolini, F. D’Amato, A. Asgaonkar, C. Fang, F. Zhang, and K. Nayak. Data Independent Order Policy Enforcement: Limitations and Solutions. ACM CCS, 2024.
D. Maram, M. Kelkar, and I. Eyal. Interactive Authentication. ACM CCS, 2024.
E.N. Tas, I.A. Seres, Y. Zhang, M. Melczer, M. Kelkar, J. Bonneau, and V. Nikolaenko. Atomic and Fair Data Exchange via Blockchain. ACM CCS, 2024.
P. Soni, S.A.K. Thyagarajan, and N. Vanjani. Functional Adaptor Signatures: Beyond All-or-Nothing Blockchain-based Payments. ACM CCS, 2024.
M. Zhou, E. Shi, and G. Fanti. Conan: Distributed Proofs of Compliance for Anonymous Data Collection. ACM CCS, 2024.
M. Kelkar, K. Babel, P. Daian, J. Austgen, V. Buterin, and A. Juels. Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. ACM CCS, 2024.
M. Rosenberg, T. Mopuri, H. Hafezi, I. Miers, and P. Mishra. Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation. ACM CCS, 2024.
F. Baldimtsi, K.K. Chalkias, Y. Ji, J. Lindstrøm, D. Maram, B. Riva, A. Roy, M. Sedaghat, and J. Wang zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials. ACM CCS, 2024.
W. Tang, P. Sheng, R. Ni, P. Roy, X. Wang, G. Fanti, and P. Viswanath. CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols. AFT, 2024.
L. Zhou, Z. Liu, F. Zhang, and M.K. Reiter. CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs. AFT, 2024.
M.M. Alvarez, H. Arneson, B. Berger, L. Bousfield, C. Buckland, Y. Edelman, E. Felten, D Goldman, R. Jordan, M. Kelkar, A. Mamageishvili, H. Ng, A. Sanghi, V. Shoup, and T. Tsao BoLD: Fast and Cheap Dispute Resol.ution. AFT, 2024.
D. Coppola, G. Camurati, C. Anliker, X. Hofmeier, P. Shaller, D. Basin, and S. Capkun. PURE: Payments with UWB RElay-protection. USENIX, 2024.
B. Bailey and A. Miller. Formalizing Soundness Proofs of Linear PCP SNARKs. USENIX, 2024.
F. Baldimtsi, K.K. Chalkias, Y. Ji, J. Lindstrom, D. Maram, B. Riva, A. Roy, M. Sedaghat, and J. Wang. zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials. SBC, 2024.
M. Kelkar, K. Babel, P. Daian, J. Austgen, V. Buterin, and A. Juels. Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets. SBC, 2024.
E.N. Tas, I. András Seres, Y. Zhang, M. Melczer, M. Kelkar, J. Bonneau, and V. Nikolaenko. Atomic and Fair Data Exchange via Blockchain. SBC, 2024.
H. Chung, E. Masserova, E. Shi, and S.A. Thyagarajan. Rapidash: Foundations of Side-Contract-Resilient Fair Exchange. SBC, 2024.
K. Babel, et al. PROF: Protected Order Flow in a Profit-Seeking World. SBC, 2024.
G. Tsimos, A. Kichidis, A. Sonnino, and L. Kokoris-Kogias. HammerHead: Leader Reputation for Dynamic Scheduling. ICDCS, 2024.
G Munilla Garrido, V. Nair, and D. Song. SoK: Data Privacy in Virtual Reality. PoPETS, 2024.
N. Jean-Louis, Y. Li, Y. Ji, H. Malvai, T. Yurek, S. Bellemare, and A. Miller. SGXonerated:Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE. PoPETS, 2024.
P. Huang, T. Hoang, Y. Li, E. Shi, and G.E. Suh. Efficient Privacy-Preserving Machine Learning with Lightweight Trusted Hardware. PoPETS, 2024.
A. Agarwal, S. Peceny, M. Raykova, P. Schoppmann, and K. Seth. Communication-Efficient Secure Logistic Regression. EuroS&P, 2024.
A. Kavousi, Z. Wang, and P. Jovanovic. SoK: Public Randomness. EuroS&P, 2024.
H. Chung, T. Roughgarden, and E. Shi. Collusion-Resilience in Transaction Fee Mechanism Design. EC, 2024.
G. Giuliari, A. Sonnino, M.Frei, F. Streun, L. Kokoris-Kogias, and A. Perrig. An Empirical Study of Consensus Protocols’ DoS Resilience. ASIA CCS, 2024.
Y. Li, K. Soska, Z. Huang, S. Bellemare, M. Quintyne-Collins, L. Wang, X. Liu, D. Song, and A. Miller. Ratel: MPC-extensions for Smart Contracts. ASIA CCS, 2024.
Y. Potter, K. Pongmala, K. Qin, A. Klages-Mundt, P. Jovanovic, C. Parlour, A. Gervais, and Dawn Song. What Drives the (In)stability of a Stablecoin?. ICBC, 2024.
T. Sharma, Y. Potter, K. Pongmala, H. Wang, A. Miller, D. Song, and Y. Wang. Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice. ICBC, 2024.
V.H. Lakhani, A. Babaei, L. Jehl, G. Ishmaev, and V. Estrada-Galiñanes. Altruism, reciprocity, and tokens to reward forwarding data: Is that fair?. ICBC, 2024.
K. Sowon, E. Luhanga, L.F. Cranor, G. Fanti, C. Tucker, and A. Gueye. The Role of User-Agent Interactions on Mobile Money Practices in Kenya and Tanzania. IEEE S&P, 2024.
T. Liu, T. Xie, J. Zhang, D. Song, and Y. Zhang. Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs. IEEE S&P, 2024.
M. Zhou, A. Park, E. Shi, and W. Zheng. Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation. IEEE S&P, 2024.
Y. Hu, F. Wu, Q. Li, Y. Long, g. Garrido, C. Ge, B. Ding, D. Forsyth, B. Li, and D. Song. SoK: Privacy-Preserving Data Synthesis. IEEE S&P, 2024.
Z. Ye, U. Misra, J. Cheng, W. Zhou, and D. Song. Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution. IEEE S&P, 2024.
C. Freitag, O. Paneth, and R. Pass. Public-Coin, Complexity-Preserving, Succinct Arguments of Knowledge for NP from Collision-Resistance. Eurocrypt, 2024.
T. Sharma, V. C. Nair, H. Wang, Y. Wang, and D. Song. “I Can’t Believe It’s Not Custodial!”: Usable Trustless Decentralized Key Management. CHI, 2024.
K. Lee, A.F. Cooper, and J. Grimmelmann. Talkin’ ‘Bout AI Generation: Copyright and the Generative-AI Supply Chain. CSLAW, 2024.
M. Rosenberg, J. White, C. Garman, and I. Miers. zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure. RWC, 2024.
Y. Ji and J. Grimmelmann. Regulatory Implications of MEV Mitigations. FC, 2024 International Workshop.
F-X. Wicht, Z. Wang, D.V. Le, and C. Cachin. A Transaction-Level Model for Blockchain Privacy. FC, 2024.
F. Baldimtsi, K. Chalkias, P. Chatzigiannis, and M. Kelkar. Truncator: Time-space Tradeoff of Cryptographic Primitives. FC, 2024.
D. Maram, M. Kelkar, I. Bentov, and A. Juels. GoAT: File Geolocation via Anchor Timestamping. FC, 2024.
A. Adams, B.Y. Chan, S. Markovich, and X. Wan. The Costs of Swapping on Decentralized Exchanges. FC, 2024.
H. Zhang, M. Yeo, V. Estrada-Galiñanes, and B. Ford. ZeroAuction: Zero-Deposit Sealed-Bid Auction via Delayed Execution. FC, 2024.
I. Tsabary, A. Manuskin, R. Bar-Zur, and I. Eyal. LedgerHedger: Gas Reservation for Smart Contract Security. FC, 2024.

2023

L.W. Cong, X. Hui, C. Tucker, and L. Zhou. Scaling Smart Contracts via Layer-2 Technologies: Some Empirical Evidence. Managemnet Science, 2023.
O. Alpos, M. Barbaraci, C. Cachin, N. Schmid, and M. Senn. Thetacrypt: A Distributed Service for Threshold Cryptography On-Demand: Demo Abstract. Middleware, 2023.
K. Babel, M. Javaheripi, M. Kelkar, Y. Ji, F. Koushanfar, and A. Juels. Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. ACM CCS, 2023.
M. Kelkar, S. Deb, S. Long, A. Juels, and S. Kannan. Themis: Fast, Strong Order-Fairness in Byzantine Consensus. ACM CCS, 2023.
D. Zagieboylo, C. Sherk, A. Myers, and G.E. Suh. SpecVerilog: Adapting Information Flow Control for Secure Speculation. ACM CCS, 2023. (Distinguished Award Paper)
N. Tyagi, A. Arun, C. Freitag, R. Wahby, J. Bonneau, and D. Mazières. Riggs: Decentralized Sealed-Bid Auctions. ACM CCS, 2023.
W. Wang, Y. Lu, C. Papamanthou, and F. Zhang. The Locality of Memory Checking. ACM CCS, 2023.
R. Mukta, S. Pal, S. Mishra, H.Y. Paik, S.S. Kanhere, and M. Hitchens. A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information. PRDC, 2023.
V. Nair, D. Song, and G. Munilla-Garrido. Going Incognito in the Metaverse: Achieving Theoretically Optimal Privacy-Usability Tradeoffs in VR. UIST, 2023 (Best Paper Award).
P. Tennage, C. Basescu, L. Kokoris-Kogias, E. Syta, P. Jovanovic, V. Estrada-Galiñanes, and B. Ford. QuePaxa: Escaping the tyranny of timeouts in consensus. SOSP, 2023.
H. Zhang, L-H. Merino, V. Estrada-Galinanes, and B. Ford. F3B: A Low-Overhead Blockchain Architecture with Per-Transaction Front-Running Protection. AFT, 2023.
D. Beaver, K. Chalkias, M. Kelkar, L. Kokoris-Kogias, K. Lewi, L. de Naurois, V. Nicolaenko, A. Roy, and A. Sonnino. STROBE: Streaming Threshold Random Beacons. AFT, 2023.
J. Hsin-yu Chiang, B. David, I. Eyal, and T. Gong. FairPoS: Input Fairness in Permissionless Consensus. AFT, 2023.
A. Mamageishvili, M. Kelkar, J. C. Schlegel, and E. W. Felten. Buying Time: Latency Racing vs. Bidding for Transaction Ordering. AFT, 2023.
Y. Pu, A. Farahbakhsh, L. Alvisi, and I. Eyal. Gorilla: Safe Permissionless Byzantine Consensus. DISC, 2023.
I. Abraham, D. Dolev, I. Eyal, and J. Halpern. Colordag: An Incentive-Compatible Blockchain. DISC, 2023.
C. Cachin, D. Lehnherr, and T. Studer. Synergistic Knowledge. SSS, 2023.
O. Alpos and C. Cachin. Do Not Trust in Numbers: Practical Distributed Cryptography with General Trust. SSS, 2023 (Best Student Award).
E. Prasad. A Simple Model of a Central Bank Digital Currency. Journal of Financial Stability, 2023.
K. Qin, S. Chaliasos, L. Zhou, B. Livshits, D. Song, and A. Gervais. The Blockchain Imitation Game. SBC, 2023.
M. Mirkin, L. Zhou, I. Eyal, and F. Zhang Sprints: Intermittent Blockchain Mining. SBC, 2023.
N. Jean-Louis, Y. Li, Y. Ji, H. Malvai, T. Yurek, S. Bellemare, and A. Miller. SGXonerated: Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE. SBC, 2023.
K. Babel, M. Javaheripi, M. Kelkar, Y. Ji, F. Koushanfar, and A. Juels. Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. SBC, 2023.
I. Tsabary, A. Manuskin, and I. Eyal. LedgerHedger: Gas Reservation for Smart-Contract Security. SBC, 2023.
I. Abraham, P. Jovanovic, M. Maller, S. Meiklejohn, and G. Stern. Bingo: Adaptivity and Asynchrony in Verifiable Secret Sharing and Distributed Key Generation. CRYPTO, 2023.
A.R. Choudhuri, S. Garg, A. Jain, Z. Jin, and J. Zhang. Correlation Intractability and SNARGs from Sub-exponential DDH. CRYPTO, 2023.
T. Yurek, Z. Xiang, Y. Xia, and A. Miller. Long Live The Honey Badger: Robust Asynchronous DPSS and its Applications. USENIX, 2023.
S. Colombo, K. Nikitin, H. Corrigan-Gibbs, D.J. Wu, and B. Ford. Authenticated private information retrieval. USENIX, 2023.
S. Das, Z. Xiang, L. Kokoris-Kogias, and L. Ren. Practical Asynchronous High-threshold Distributed Key Generation and Distributed Polynomial Sampling. USENIX, 2023.
V. Nair and D. Song. Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key Management. USENIX, 2023.
K. Qin, S. Chaliasos, L. Zhou, B. Livshits, D. Song, and A. Gervais. The Blockchain Imitation Game. USENIX, 2023.
I. Sheff, X. Wang, K. Babel, H. Ni, R. van Renesse, and A. Myers. Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. TOCS, 2023.
J. Ernstberger, J. Lauinger, F. Elsheimy, L. Zhou, S. Steinhorst, R. Canetti, A. Miller, A. Gervais, and D. Song. SoK: Data Sovereignty. Euro S&P, 2023.
V. Nair and D. Song. Multi-Factor Credential Hashing for Asymmetric Brute-Force Attack Resistance. Euro S&P, 2023.
Z. Li, A. Sonnino, and P. Jovanovic. Performance of EdDSA and BLS Signatures in Committee-Based Consensus. ApPLIED, 2023.
X. Wang and R. van Renesse. Disaggregating Applications Using Uniservices. ApPLIED, 2023.
N. Giridharan, F. Suri-Payer, M. Ding, H. Howard, I. Abraham, and N. Crooks. BeeGees: Stayin’ Alive in Chained BFT. PODC, 2023.
J. Wan, A. Momose, L. Ren, E. Shi, and Z. Xiang. On the Amortized Communication Complexity of Byzantine Broadcast. PODC, 2023.
W. Tang, L. Kiffer, G. Fanti, and A. Juels. Strategic Latency Reduction in Blockchain Peer-to-Peer Networks. SIGMETRICS, 2023.
A. Goldberg, G. Fanti, and N.B. Shah. Batching of Tasks by Users of Pseudonymous Forums: Anonymity Compromise and Protection. SIGMETRICS, 2023.
J. Grimmelmann. The Structure and Legal Interpretation of Computer Programs. 1 Journal of Cross-Disciplinary Research in Computational Law no. 3, art. 19, 2023.
K. Babel, P. Daian, M. Kelkar, and A. Juels. Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. IEEE S&P, 2023.
R. Bar-Zur, A. Abu-Hanna, I. Eyal, and A. Tamar. WeRLman: To Tackle Whale (Transactions), Go Deep (RL). IEEE S&P, 2023.
M. Rosenberg, J. White, C. Garman, and I. Miers. zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure. IEEE S&P, 2023.
L. Zhou, X. Xiong, J. Ernstberger, S. Chaliasos, Z. Wang, Y. Wang, K. Qin, R. Wattenhofer, D. Song, and A. Gervais. SoK: Decentralized Finance (DeFi) Attacks. IEEE S&P, 2023.
M. Zhou, L. Zeng, Y. Han, P. Li, F. Long, D. Zhou, I. Beschastnikh, and M. Wu. Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems. IEEE INFOCOM, 2023.
C. Parlour. An Introduction to Web3 with Implications for Financial Services. Federal Reserve Bank of Atlanta’s Policy Hub, 2023.
N. Neamtu, H. Ni, and L. Alvisi. Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. PaPoC, 2023.
H. Zhang, M. BAstankhah, L-H. Merino, V. Estrada-Galiñanes, and B. Ford. Breaking Blockchain Rationality with Out-of-Band Collusion. FC-International Workshops, 2023.
T. Kell, H. Yousaf, S. Allen, S. Meiklejohn, and A. Juels. Forsage: Anatomy of a Smart-Contract Pyramid Scheme. FC, 2023.
S. Cohen, G. Goren, L. Kokoris-Kogias, A. Sonnino, and A. Spiegelman. Proof of Availability & Retrieval in a Modular Blockchain Architecture. FC, 2023.
K. Qin, J. Ernstberger, L. Zhou, P. Jovanovic, and A. Gervais. Mitigating Decentralized Finance Liquidations with Reversible Call Options. FC, 2023.
C. Stefo, Z. Xiang, and L. Kokoris-Kogias. Executing and Proving over Dirty Ledgers. FC, 2023.
M. Zhou, E. Shi, T-H. H. Chan, and S. Maimon. A Theory of Composition for Differential Obliviousness. Eurocrypt, 2023.
C. Freitag, A. Ghoshal, and I. Komargodski. Optimal Security for Keyed Hash Functions: Avoiding Time-Space Tradeoffs for Finding Collisions. Eurocrypt, 2023.
K.E. Nejad, W. Lueks, J.P. Martin, S. Ledésert, A. L’Hôte, B. Thomas, L. Girod, and C. Troncoso. DatashareNetwork: A Decentralized Privacy-Preserving Search Engine for Investigative Journalists. RWC, 2023.
N. Gailly, K. Melissaris, and Y. Romailler. tlock: Practical Timelock Encryption from Threshold BLS. RWC, 2023.
H. Malvai, L. Kokoris-Kogias, A. Sonnino, E. Ghoshk, E. Ozturk, K. Lewi, and S. Lawlor. Parakeet: Practical Key Transparency for End-to-End Encrypted Messaging. NDSS, 2023.
S. Wadhwa, J. Stoeter, F. Zhang, and K. Nayak. He-HTLC: Revisiting Incentives in HTLC. NDSS, 2023.
H. Chung and E. Shi. Foundations of Transaction Fee Mechanism Design. SODA, 2023.
E. Prasad. The Future of Money and Its Implications for Society, Central Banks, and the International Monetary System. Federal Reserve Bank of St. Louis Review, 2023.

2022

K. Wüst, K. Kostiainen, N. Delius, and S. Capkun. Platypus: A Central Bank Digital Currency with Unlinkable Transactions and Privacy-Preserving Regulation. SIGSAG, 2022.
C. Freitag, R. Pass, and N. Sirkin. Parallelizable Delegation from LWE. TCC, 2022.
Y. Pu, L. Alvisi, and I. Eyal. Safe Permissionless Consensus. DISC, 2022.
I. Abraham, N. Crooks, N. Giridharan, H. Howard, and F. Suri-Payer. It’s not easy to relax: liveness in chained BFT protocols. DISC, 2022.
O. Naor and I. Keidar. On Payment Channels in Asynchronous Money Transfer Systems. DISC, 2022.
M. Kelkar, S. Deb, S. Long, A. Juels, and S. Kannan. Themis: Fast, Strong Order-Fairness in Byzantine Consensus. SBC, 2022.
S. Werner, D. Perez, L. Gudgeon, A. Klages-Mundt, D. Harz, and W. Knottenbelt. SoK: Decentralized Finance (DeFi). SBC, 2022.
A. Klages-Mundt and S. Schuldenzucker. Gyroscope P-AMM: Designing an Autonomous Primary Market for Stabilizing Non-custodial Stablecoins. SBC, 2022.
H. Chung and E. Shi. Foundations of Transaction Fee Mechanism Design. SBC, 2022.
K. Babel, M. Kelkar, P. Daian, and A. Juels. Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. SBC, 2022.
I. Tsabary, M. Yechieli, A. Manuskin, and I. Eyal. MAD-HTLC: Because HTLC is Crazy-Cheap to Attack. SBC, 2022.
L. Zhou, X. Xiong, J. Ernstberger, S. Chaliasos, Z. Wang, Y. Wang, K. Qin, R. Wattenhofer, D. Song, and A. Gervais. SoK: Decentralized Finance (DeFi) Attacks. SBC, 2022.
K. Qin, L. Zhou, P. Gamito, P. Jovanovic, and A. Gervais. An Empirical Study of DeFi Liquidations: Incentives, Risks, and Instabilities. SBC, 2022.
B. Bailey and A. Miller. Formalizing Soundness Proofs of SNARKs. SBC, 2022.
P. McCorry, C. Buckland, B. Yee, and D. Song. SoK: Validating Bridges as a Scaling Solution for Blockchains. SBC, 2022.
S. Das, T. Yurek, Z. Xiang, A. Miller, L. Kokoris-Kogias, and L. Ren. Practical Asynchronous Distributed Key Generation. SBC, 2022.
I. Eyal. On Cryptocurrency Wallet Design. SBC, 2022.
A. Lotem, Z. Azouvi, P. McCorry, and A. Zohar. Sliding Window Challenge Process for Congestion Detection. SBC, 2022.
S.M. Werner, D. Perez, L. Gudgeon, A. Klages-Mundt, D. Harz, and W.J. Knottenbelt. SoK: Decentralized Finance (DeFi). AFT, 2022.
L. Huo, A. Klages-Mundt, A. Minca, F.C. Münter, and M. Rude Wind. Decentralized Governance of Stablecoins with Closed Form Valuation. MARBLE, 2022
A. Klages-Mundt and A. Minca. While stability lasts: A stochastic model of noncustodial stablecoins. Mathematical Finance Journal, 2022.
E. Prasad. After the Fall: Bitcoin’s true legacy may be blockchain technology. Bulletin of the Atomic Scientists, 2022.
A. Lehar and C.A. Parlour. Systemic fragility in decentralized markets. BIS, 2022.
G. Fanti, K. Kostiainen, W. Howlett, J. Lipsky, O. Moehr, J.P. Schnapper-Casteras, and J. Wolff. MISSING KEY: The Challenge of Cybersecurity and Central Bank Digital Currency. Atlantic Council, 2022.
H. Chung and E. Shi. Foundations of Transaction Fee Mechanism Design. EC, 2022.
J. H-Y. Chiang, B. David, I. Eyal, and T. Gong. FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security. SYSTOR, 2022.
T. Xie, Y. Zhang, and D. Song. Orion: Zero Knowledge Proof with Linear Prover Time. CRYPTO, 2022.
I. Komargodski, S. Matsuo, E. Shi, and K. Wu. log*-Round Game-Theoretically-Fair Leader Election. CRYPTO, 2022.
I. Abraham, M. Ben-David, and S. Yandamuri. Efficient and Adaptively Secure Asynchornous Binary Agreement via Binding Crusader Agreement. PODC, 2022.
I. Abraham and G. Asharov. Gradecast in Synchrony and Reliable Broadcast in Asynchrony with Optimal Resilience, Efficiency, and Unconditional Security. PODC, 2022.
I. Abraham, T-H. Hubert Chan, D. Dolev, K. Nayak, R. Pass, L. Ren, and E. Shi. Communication complexity of Byzantine Agreement, revisited. PODC, 2022.
N. Ben-David, B.Y. Chan, and E. Shi. Revisiting the Power of Non-Equivocation in Distributed Protocols. PODC, 2022.
S. Badrinarayanan, P. Miao, and T. Xie. Updatable Private Set Intersection. PoPETS, 2022.
M. Vuppalapati, K. Babel, A. Khandelwal, and R. Agarwal. SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access. OSDI, 2022.
G. Kappos, H. Yousaf, R. Stutz, S. Rollet, B. Haslhofer, and S. Meiklejohn. How to Peel a Million: Validating and Expanding Bitcoin Clusters. USENIX, 2022.
M. Kelkar, Phi Hung Le, Mariana Raykova, and Karn Seth. Secure Poisson Regression. USENIX, 2022.
J. Zhang, T. Xie, T. Hoang, E. Shi, and Y. Zhang. Polynomial Commitment with a One-to-Many Prover and Applications. USENIX, 2022.
A. Shamis, P. Pietzuch, B. Canakci, M. Castro, C. Fournet, E. Ashton, A. Chamayou, S. Clebsch, A. Delignat-Lavaud, M. Kerner, J. Maffre, O. Vrousgou, C. M. Wintersteiger, M. Costa, and M. Russinovich.IA-CCF: Individual Accountability for Permissioned Ledgers. NDSI, 2022.
A. de la Rocha, E. Kokoris-Kogias, J. Soares, and M. Vukolic. Hierarchical consensus: A horizontal scaling framework for blockchains. DINPS, 2022.
H. Zhang, L-H. Merino, V. Estrada-Galinanes, and B. Ford. Flash freezing Flash Boys: Countering Blockchain Front-Running. DINPS, 2022.
M. Kelkar, S. Deb, and S. Kannan. Order-Fair Consensus in the Permissionless Setting. APKC, 2022.
G. Danezis, E. Kokoris-Kogias, A. Sonino, and A. Spiegelman. Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus. EuroSys, 2022 (Best Paper Award).
K. Chalkias, P. Chatzigiannis, and Y. Ji. Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges. CoDecFin – FC, 2022.
A. Lotem, S. Azouvi, P. McCorry, and A. Zohar. Sliding Window Challenge Process for Congestion Detection. FC, 2022.
A. Nitulescu, N. Gailly, and M. Maller. SnarkPack: Practical SNARK Aggregation. FC, 2022.
S. Cohen, R. Gelashvili, E. Kokoris-Kogias, Z. Li, D. Malkhi, A. Sonnino, and A. Spiegelman. Be Aware of Your Leaders. FC, 2022.
R. Gelashvili, E. Kokoris-Kogias, A. Sonino, A. Spiegelman, and Z. Xiang. Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback. FC, 2022.
S. Azouvi, and A. Hicks. Decentralization Conscious Players and System Reliability. FC, 2022.
D.T. Nguyen and N. Trieu. MPCCache: Privacy-Preserving Multi-Party Cooperative Cache Sharing at the Edge. FC, 2022.
P. Vesely, K. Gurkan, M. Straka, A. Gabizon, P. Jovanovic, G. Konstantopoulos, A. Oines, M. Olszewski, and E. Tromer. Plumo: An Ultralight Blockchain Client. FC, 2022.
I. Khaburzaniya, K. Chalkias, K. Lewi, and H. Malvai. Aggregating and thresholdizing hash-based signatures using STARKs. ASIA CCS, 2022.
K. Wu, G. Asharov, E. Shi. A Complete Characterization of Game-Theoretically Fair, Multi-Party Coin Toss. Eurocrypt, 2022.
T. Yurek, L. Luo, J. Fairoze, A. Kate, and A. Miller. hbACSS: How to Robustly Share Many Secrets. NDSS, 2022.
V. Nair and B. Bailey. Fast Anonymous Consensus and Private Authentication in Large Distributed Systems. NDSS, 2022.
I. Khaburzaniya, K. Chalkias, K. Lewi, and H. Malvai. Aggregating and thresholdizing hash-based signatures using STARKs. ACM CCS, 2022.
N. Giridharan, L. Kokoris-Kogias, A. Sonnino, and A. Spiegelman. Bullshark: DAG BFT Protocols Made Practical. ACM CCS, 2022.
K. Babel and L. Baker. Strategic Peer Selection Using Transaction Value and Latency. ACM CCS DeFi, 2022.
G. Asharov, I. Komargodski, W-K. Lin, E. Peserico, and E. Shi. Optimal Oblivious Parallel RAM. SODA, 2022.
I. Eyal. On cryptocurrency wallet design. ICBE S&P, 2022.
N. Gailly, M. Maller, and A. Nitulescu. SnarkPack: Practical SNARK Aggregation. RWC, 2022.
G. Asharov, T-H. H. Chan, K. Nayak, R. Pass, L. Ren, and E. Shi. Locality-Preserving Oblivious RAM. Journal of Cryptology, 2022.
M. Rosenberg, M. Maller, and I. Miers. SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs. IEEE S&P, 2022.
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris-Kogias, and L. Ren. Practical Asynchronous Distributed Key Generation. IEEE S&P, 2022.
M. Zhou, T. Wang, T-H. Hubert Chan, G. Fanti, and E. Shi. Locally Differentially Private Sparse Vector Aggregation. IEEE S&P, 2022.

2021

A. Klages-Mundt and A. Minca. (In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks. CES, 2021.
C. Acay, R. Recto, J. Gancher, A. C. Myers, and E. Shi. Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. PLDI, 2021.
M. Krol, A. Sonnino, M. Al-Bassam, A.G. Tasiopoulos, E. Riviere, and I. Psaras. Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks. TIT, 2021.
S. Azouvi and D. Cappelletti. Private Attacks in Longest Chain Proof-of-Stake Protocolswith Single Secret Leader Elections. AFT, 2021.
M. Krol, O. Ascigil, S. Rene, A. Sonnino, M. Al-Bassam, and E. Riviere. Shard Scheduler: object placement and migration in sharded account-based blockchains. AFT, 2021.
A. Agarwal, J. Bartusek, V. Goyal, D. Khurana, and G. Malavolta. Two-Round Maliciously Secure Computation with Super-Polynomial Simulation. TCC, 2021.
K. Gurkan, P. Jovanovic, M. Maller, S. Meiklejohn, G. Stern, and A. Tomescu. Aggregatable Distributed Key Generation. Eurocrypt, 2021.
A. Agarwal, J. Bartusek, V. Goyal, D. Khurana, and G. Malavolta. Post-Quantum Multi-Party Computation in Constant Rounds. Eurocrypt, 2021.
G. Asharov, I. Komargodski, W-K. Lin, and E. Shi. Oblivious RAM with Worst-Case Logarithmic Overhead. CRYPTO, 2021.
I. Dinur, S. Goldfeder, T. Halevi, Y. Ishai, M. Kelkar, V. Sharma, and G. Zaverucha. MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications. CRYPTO, 2021.
K-M. Chung, T-H. H. Chan, T. Wen, and E. Shi. Game-Theoretic Fairness Meets Multi-Party Protocols: The Case of Leader Election. CRYPTO, 2021.
Y. Liu and R. Pass. On the Possibility of Basing Cryptography on EXP not equal BPP. CRYPTO, 2021 (Best Paper Award).
C. Hou, M. Zhou, Y. Ji, P. Daian, F. Tramer, G. Fanti, and A. Juels. SquirRL: Automating Attack Discovery on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. NDSS, 2021.
E. Shi. Streamlet: An Absurdly Simple, Textbook Blockchain Protocol. ASIA CCS, 2021.
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris-Kogias, P. Moreno-Sanchez, A. Kiayias, and W.J. Knottenbelt. SoK: Communication Across Distributed Ledgers. FC, 2021.
F. Suri-Payer, M. Burke, Z. Wang, Y. Zhang, L. Alvisi, and N. Crooks. Basil: Breaking Up BFT with ACID (transactions). SOSP, 2021.
M. Burke, S. Dharanipragada, S. Joyner, A. Szekeres, J. Nelson, I. Zhang, and D.R.K. Ports. PRISM: Rethinking the RDMA Interface for Distributed Systems. SOSP, 2021.
J. Helt, M. Burke, A. Levy, and W. Lloyd. Regular Sequential Serializability and Regular Sequential Consistency. SOSP, 2021.
D. Maram, H. Malvai, F. Zhang, N. Jean-Louis, A. Frolov, T. Kell, T. Lobban, C. Moy, A. Juels, and A. Miller. CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability. IEEE S&P, 2021.
K. Thomas, D. Akhawe, M. Bailey, D. Boneh, E. Bursztein, S. Consolvo, N. Dell, Z. Durumeric, P. G. Kelley, D. Kumar, D. McCoy, S. Meiklejohn, T. Ristenpart, and G. Stringhini. SoK: Hate, Harassment, and the Changing Landscape of Online Abuse. IEEE S&P, 2021.
J. Liu, P. Li, R. Cheng, N. Asokan, and D. Song. Parallel and Asynchronous Smart Contract Execution. IEEE S&P, 2021.
E. Cecchetti, S. Yao, H. Ni, and A. C. Myers. Compositional Security for Reentrant Applications. IEEE S&P, 2021 (Best Paper Award).
I. Tsabary, M. Yechieli, and I. Eyal. MAD-HTLC: Because HTLC is Crazy-Cheap to Attack. IEEE S&P, 2021.
E. Prasad. Digital Currencies: Risk or Promise? The Case for Central Bank Digital Currencies. Cato Journal, 2021.
S. Kanjalkar, Y. Zhang, S. Gandlur, and A. Miller. Publicly Auditable MPC-as-a-Service with succinct verification and universal setup. IEEE S&P, 2021.
A. Judmayer, N. Stifter, A. Zamyatin, I. Tsabary, I. Eyal, P. Gazi, S. Meiklejohn, and E. Weippl. Pay to Win: Cheap, Cross-Chain Bribing Attacks on PoW Cryptocurrencies. FC, 2021.
G. Kappos, H. Yousaf, A. M. Piotrowska, S. Kanjalkar, S. Delgado-Segura, A. Miller, and S. Meiklejohn. An Empirical Analysis of Privacy in the Lightning Network. FC, 2021.
B. Bailey and S. Sankagiri. Merkle trees optimized for stateless clients in bitcoin. FC, 2021.
A. Judmayer, N. Stifter, A. Zamyatin, I. Tsabary, I. Eyal, P. Gazi, S. Meiklejohn, and E. Weippl. SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies. FC, 2021.
M. Al-Bassam, A. Sonnino, V. Buterin, and I. Khoffi. Fraud and Data Availability Proofs: Detecting Invalid Blocks in Light Clients. FC, 2021.
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, and D. Zindros. Brick: Asynchronous Payment Channels. FC, 2021.
Y. Shibuya, G. Yamamoto, F. Kojima, E. Shi, S. Matsuo, and A. Laszka. Selfish Mining Attacks Exacerbated by Elastic Hash Supply. FC, 2021.
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris-Kogias, J. Lind, D. Wong, and T. Zakian. Reactive Key-Loss Protection in Blockchains. FC, 2021.
K. Wüst, L. Diana, K. Kostiainen, G. Karame, S. Matetic, and S. Capkun. Bitcontracts: Supporting Smart Contracts in Legacy Blockchains. NDSS, 2021.
B. Ford. Technologizing Democracy or Democratizing Technology? A Layered-Architecture Perspective on Potentials and Challenges. Digital Technology and Democratic Theory. Univ. of Chicago Press, 2021.
B. Canakci, and R. van Renesse. Scaling Membership of Byzantine Consensus. CCS, 2021.
T-H. H. Chan, W-K. Lin, K. Nayak, and E. Shi. Perfectly Secure Oblivious Parallel RAM with O(log3N/loglogN) Overhead. ITC, 2021.
I. Abraham, P. Jovanovic, M. Maller, S. Meiklejohn, G. Stern, and A. Tomescu. Reaching Consensus for Asynchronous Distributed Key Generation. PODC, 2021.
I. Keidar, E. Kokoris-Kogias, O. Naor, and A. Spiegelman. All You Need is DAG. PODC, 2021.
E. Kokoris-Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford. CALYPSO: Private Data Management for Decentralized Ledgers. VLDB, 2021.

2020

E.C. Crities, M. Maller, S. Meiklejohn, and R. Mercer. Reputable List Curation from Decentralized Voting. PETS, 2020.
A. Morgan, R. Pass, and A. Polychroniadou. Succinct Non-Interactive Secure Computation. EUROCRYPT, 2020.
N. Ephraim, C. Freitag, I. Komargodski, and R. Pass. SPARKs: Succinct Parallelizable Arguments of Knowledge. EUROCRYPT, 2020.
E. Cecchetti, S. Yao, H. Ni, and A. C. Myers. Securing Smart Contracts with Information Flow. FAB, 2020.
G. Asharov, T-H. Hubert Chan, K. Nayak, R. Pass, L. Ren, and E. Shi. Bucket oblivious sort: An extremely simple oblivious sort. SIAM, 2020.
F. Rezaei, S. Naseri, I. Eyal, and A. Houmansadr. The Bitcoin Hunter: Detecting Bitcoin Traffic over Encrypted Channels. ICCS S&P, 2020.
R. Bar-Zur, I. Eyal, and A. Tamar. Efficient MDP Analysis for Self-Mining in Blockchains. ACM AFT, 2020.
A. Klages-Mundt, D. Harz, L. Gudgeon, J-Y. Liu, and A. Minca. Stablecoins 2.0: Economic Foundations and Risk-based Models. ACM AFT, 2020.
Y. Zhang, S. Setty, Q. Chen, L. Zhou, and L. Alvisi. Byzantine Ordered Consensus without Byzantine Oligarchy. USENIX OSDI, 2020 (Best Paper Award).
C. Ding, D. Chu, E. Zhao, X. Li, L. Alvisi, and R. van Renesse. Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log. USENIX NSDI, 2020.
V. Sivaraman, S. Bojja Venkatakrishnan, K. Ruan, P. Negi, L. Yang, R. Mittal, G. Fanti, and M. Alizadeh. Routing cryptocurrency with the spider network. NSDI, 2020. HotNets, 2018.
W. Tang, W. Wang, G. Fanti, and S. Oh. Privacy-Utility Tradeoffs in Routing Cryptocurrency over Payment Channel Networks. Sigmetrics, 2020.
T-H. Hubert Chan, K-M. Chung, W-K. Lin, and E. Shi. MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture. ITCS, 2020.
Y. Peng, M. Du, F. Li, R. Cheng, and D. Song. FalconDB: Blockchain-based Collaborative Database. ACM SIGMOD, 2020.
A. Kosba, D. Papadopoulos, C. Papamanthou, and D. Song. MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs. USENIX, 2020.
B. Y. Chan and E. Shi. STREAMLET: Textbook Streamlined Blockchains. ACM AFT, 2020.
M. Kelkar, F. Zhang, S. Goldfeder, and A. Juels. Order-Fairness for Byzantine Consensus. CRYPTO, 2020.
S. Allen, S. Capkun, I. Eyal, G. Fanti, B. Ford, J. Grimmelmann, A. Juels, K. Kostiainen, S. Meiklejohn, A. Miller, E. Prasad, K. Wüst, and F. Zhang. Design choices for central bank digital currency: Policy and technical considerations. Brookings Institute Working Paper, 2020.
Y. Liu and R. Pass. On One-way Functions and Kolmogorov Complexity. IEEE FOCS, 2020.
P-C. Kuo, H. Chung, T-W. Chao, and C-M. Cheng. Fair Byzantine Agreements for Blockchains. IEEE TEM, 2020
K. Wüst, S. Matetic, S. Egli, K. Kostiainen, and S. Capkun. ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts. ACM CCS, 2020.
A. Manuskin, M. Mirkin, and I. Eyal. Ostraka: Secure Blockchain Scaling by Node Sharding. IEEE S&B, 2020.
F. Zhang, S. K. D. Maram, H. Malvai, S. Goldfeder, and A. Juels. DECO: Liberating Web Data Using Decentralized Oracles for TLS. ACM CCS, 2020.
M. Mirkin, Y. Ji, J. Pang, A. Klages-Mundt, I. Eyal, and A. Juels. BDoS: Blockchain Denial of Service. ACM CCS, 2020.
R. Gennaro and S. Goldfeder. One Round Threshold ECDSA with Identifiable Abort. ACM CCS, 2020.
L. Gudgeon, P. Moreno-Sanchez, S. Roos, P. McCorry, and A. Gervais. SoK: Layer-Two Blockchain Protocols. FC, 2020.
A. Kiayias, A. Miller, and D. Zindros. Non-Interactive Proofs of Proof-of-Work. FC, 2020.
A. Moin, K. Sekniqi, and E.G. Sirer. SoK: A Classification Framework for Stablecoin Designs. FC, 2020.
S. Bano, A. Sonnino, M. Al-Bassam, S. Azouvi, P. McCorry, S. Meiklejohn, and G. Danezis. SoK: Consensus in the Age of Blockchains. ACM AFT, 2020.
S. Azouvi, G. Danezis, and V. Nikolaenko. Winkle: Foiling Long-Range Attacks in Proof-of-Stake Systems. ACM AFT, 2020.
K. A. Negy, P. Rizun, and E.G. Sirer. Selfish Mining Re-Examined. FC, 2020.
P. Daian, S. Goldfeder, T. Kell, Y. Li, X. Zhao, I. Bentov, L. Breidenbach, and A. Juels. Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges. IEEE S&P, 2020. Bloomberg article here.
G. Asharov, I. Komargodski, W-K. Lin, K. Nayak, E. Peserico, and E. Shi. OptORAMa: Optimal Oblivious RAM. EUROCRYPTO, 2020.
E. Shi Path Oblivious Heap:Optimal and Practical Oblivious Priority Queue. IEEE S&P, 2020.
J. Lee, K. Nikitin, and S. Setty. Replicated state machines without replicated execution. IEEE S&P, 2020.
I. Abraham, D. Malkhi, K. Nayak, L. Ren, and M. Yin. Sync HotStuff: Simple and Practical Synchronous State Machine Replication. IEEE S&P, 2020.
S. Bowe, A. Chiesa, M. Green, I. Miers, P. Mishra, and H. Wu. ZEXE: Enabling Decentralized Private Computation. IEEE S&P, 2020.
A. Sonnino, S. Bano, M. Al-Bassam, and G. Danezis. Replay Attacks and Defenses Against Cross-shard Consensus in Sharded Distributed Ledgers. IEEE S&P, 2020.
E. Stefanov, M. van Dijk, E. Shi, C. Fletcher, L. Ren, X. Yu, and S. Devadas. A Retrospective on Path RAM. IEEE S&P, 2020.
V. Mavroudis, K. Wüst, A. Dhar, K. Kostiainen, and S. Capkun. Snappy: Fast On-chain Payments with Practical Collaterals. NDSS, 2020.
I. Sheff, X. Wang, R. van Renesse, and A. Myers. Heterogeneous Paxos. OPODIS, 2020.
E. Kokoris-Kogias, D. Malkhi, and A. Spiegelman. Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures. ACM SIGSAC, 2020. ACM CCS, 2020.
T-H. H. Chan, R. Pass, and E. Shi. Sublinear-Round Byzantine Agreement under Corrupt Majority. IACR PKC, 2020.
A. Miller, Y. Zhang, and S. Kanjalkar. Baby SNARK (do do dodo dodo).
R. Paccagnella, P. Datta, W. Ul Hassan, A. Bates, C. Fletcher, A. Miller, and D. Tian. CUSTOS: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution. NDSS, 2020.
J. Wan, H. Xiao, E. Shi, and S. Devadas. Expected Constant Round Byzantine Broadcast under Dishonest Majority. TCC, 2020.
J. Wan, H. Xiao, S. Devadas, and E. Shi. Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions. TCC, 2020.
B. Chan and E. Shi. Streamlet: Textbook Streamlined Blockchain Protocols. SBC, 2020.
F. Zhang, S.K.D. Maram, H. Malvai, S. Goldfeder, and A. Juels. DECO: Liberating Web Data Using Decentralized Oracles for TLS. SBC, 2020.
A. Juels, L. Breidenbach, A. Coventry, S. Nazarov, S. Ellis, and B. Magauran. Mixicles: Simple Private Decentralized Finance. SBC, 2020.
S. Capkun and many others. DP3T – Decentralized Privacy-Preserving Proximity Tracing.

2019

D. Easley, M. O’Hara, and S. Basu. From mining to markets: The evolution of bitcoin transaction fees. Journal of Financial Economics (Volume 134, Issue 1), 2019.
S.K.D. Maram, F. Zhang, L. Wang, A. Low, Y. Zhang, A. Juels, and D. Song. CHURP: Dynamic-Committee Proactive Secret Sharing. ACM CCS, 2019.
E. Cecchetti, B. Fisch, I. Miers, and A. Juels. PIEs: Public Incompressible Encodings for Decentralized Storage. ACM CCS, 2019.
P. Ananth, X. Fan, and E. Shi. Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More. ASIACRYPT, 2019.
E. Shi. Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey). ASIACRYPT, 2019.
P. Fauzi, S. Meiklejohn, R. Mercer, C. Orlandi. Quisquis: A New Design for Anonymous Cryptocurrencies. ASIACRYPT, 2019.
I. Bentov, Y. Ji, F. Zhang, Y. Li, X. Zhao, L. Breidenbach, P. Daian and A. Juels. Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware. ACM CCS, 2019.
G. Fanti, J. Jiao, A. Makkuva, S. Oh, R. Rana, and P. Viswanath. Barracuda: The Power of l-Polling in Proof-of-Stake Blockchains. ACM MobiHoc, 2019 (Best Paper Award).
A. Juels, L. Breidenbach, A. Coventry, S. Nazarov, S. Ellis, and B. Magauran. Mixicles: Simple Private Decentralized Finance. JBCN, 2019
M. Yin, D. Malkhi, M.K. Reiter, G.G. Gueta, and I. Abraham. HotStuff: BFT Consensus with Linearity and Responsiveness. PODC, 2019.
M. Schneider, S. Matetic, A. Juels, A. Miller, and S. Capkun. Secure Brokered Delegation Through DelegaTEE. IEEE S&P, 2019.
H. Kang, T. Dai, N. Jean-Louis, S. Tao, and X. Gu. FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric. IEEE DSN, 2019.
P. McCorry, S. Bakshi, I. Bentov, S. Meiklejohn and A. Miller. Pisa: Arbitration Outsourcing for State Channels. ACM AFT, 2019.
E.C. Alp, L. Kokoris-Kogias, G. Fragkouli, and B. Ford. Rethinking General-Purpose Decentralized Computing. ACM HotOS, 2019.
S. Matetic, K. Wüst, M. Schneider, K. Kostiainen, G. Karame, and S. Capkun. BITE: Bitcoin Lightweight Client Privacy using Trusted Execution. USENIX, 2019.
K. Wüst, K. Kostiainen, V. Capkun, and S. Capkun. PRCash: Fast, Private and Regulated Transactions for Digital Currencies. FC, 2019.
Y. Kwon, J. Liu, M. Kim, D. Song, Y. Kim. Impossibility of Full Decentralization in Permissionless Blockchains. ACM AFT, 2019.
K. Mast, L. Chen, and E.G. Sirer. A Vision for Autonomous Blockchains backed by Secure Hardware. SysTEX, 2019.
K. Wüst, S. Matetic, M. Schneider, I. Miers, K. Kostiainen, and S. Capkun. ZLite: Lightweight Clients for Shielded Zcash Transactions using Trusted Execution. FC, 2019.
D. Dachman-Soled, C. Liu, C. Papamanthou, E. Shi, and U. Vishkin. Oblivious Network RAM and Leveraging Parallelism to Achieve Obliviousness. Journal of Cryptology, 2019.
M. Maller, S. Bowe, M. Kohlweiss, and S. Meiklejohn. Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings. ACM CCS, 2019.
D. Lu, T. Yurek, S. Kulshreshtha, R. Govind, R. Mahadev, A. Kate, and A. Miller. HoneyBadgerMPC and AsynchroMix: Practical AsynchronousMPC and its Application to Anonymous Communication. ACM CCS, 2019.
S. Bano, A. Sonnino, M. Al-Bassam, S. Azouvi, P. McCorry, S. Meiklejohn, and G. Danezis. SoK: Consensus in the Age of Blockchains. ACM AFT, 2019.
A. Kharraz, Z. Ma, P. Murley, C. Lever, J. Mason, A. Miller, N. Borisov, M. Antonakakis, and M. Bailey. Outguard: Detecting In-Browser Covert Cryptocurrency Mining in the Wild. ACM WWW, 2019.
H. Yousaf, G. Kappos, and S. Meiklejohn. Tracing Transactions Across Cryptocurrency Ledgers. USENIX, 2019.
P. Reibel, H. Yousaf, and S. Meiklejohn. Why is a Ravencoin Like a TokenDesk? An Exploration of Code Diversity in the Cryptocurrency Landscape. FC, 2019.
P. McCorry, C. Buckland, S. Bakshi, K. Wüst, and A. Miller. You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies. FC, 2019.
A. Sonnino, M. Al-Bassam, S. Bano, S. Meiklejohn, and G. Danezis. Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers. NDSS, 2019.
J. Grimmelmann. Continuity and Change in Internet Law. Communications of the ACM, 2019.
J. Grimmelmann. Bone Crusher 2.0: The Fourth Annual Greg Lastowka Memorial Lecture. 71 Rutgers University Law Review 843, 2019.
P. Daian, R. Pass and E. Shi. Snow White: Provably Secure Proofs of Stake. FC, 2019.
G. Fanti, L. Kogan, S. Oh, K. Ruan, P. Viswanath, and G. Wang. Compounding of Wealth in Proof-of-Stake Cryptocurrencies. FC, 2019.
G. Asharov, T.-H. H. Chan, K. Nayak, R. Pass, L. Ren, and E. Shi. Locality-Preserving Oblivious RAM. Journal of Cryptology, 2022. EUROCRYPT(2), 2019.
T.-H. H. Chan, R. Pass, and E. Shi. Consensus Through Herding. EUROCRYPT (1), 2019.
W.-K. Lin, E. Shi, and T. Xie. Can We Overcome the n log n Barrier for Oblivious Sorting?. SODA, 2019.
T.-H. H. Chan, K.-M. Chung, B.M. Maggs, E. Shi. Foundations of Differentially Oblivious Algorithms. SODA, 2019.
V. Bagaria, s. Kannan, D. Tse, G. Fanti, and P. Viswanath. Prism: Deconstructing the Blockchain to Approach Physical Limits. ACM CCS, 2019.
A. Farhadi, M.T. Hajiaghayi, K.G. Larsen, and E. Shi. Lower bounds for external memory integer sorting via network coding. STOC, 2019.
C. Perez-Sola, S. Delgado-Segura, G. Navarro-Arribas, and J. Herrera-Joancomarti. Another coin bites the dust: An analysis of dust in UTXO based cryptocurrencies. Royal Society Publishing, 2019.
S. Kanjalkar, J. Kuo, Y. Li, and A. Miller. Short Paper: I Can’t Believe It’s Not Stake! Resource Exhaustion Attacks on PoS. FC, 2019.
A. Miller, I. Bentov, S. Bakshi, R. Kumaresan, and P. McCorry. Sprites and State Channels: Payment Networks that Go Faster than Lightning. FC, 2019.
S. Delgado-Segura, S. Bakshi, C. Perez-Sola, J. Litton, A. Pachulski, A. Miller, and B. Bhattacharjee. TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions. FC, 2019.
R. Cheng, F. Zhang, J. Kos, W. He, N. Hynes, N. Johnson, A. Juels, A. Miller and D. Song. Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution. Euro S&P, 2019.
J. Grimmelmann. All Smart Contracts Are Ambiguous. Journal of Law & Innovation, 2019.
Y. Guo, R. Pass, and E. Shi. Synchronous, with a Chance of Partition Tolerance. CRYPTO, 2019.
E. Shi. Analysis of deterministic longest-chain protocols. IEEE CSF, 2019.
P. Fauzi, A. Meiklejohn, R. Mercer, and C. Orlandi. Quisquis: A New Design for Anonymous Cryptocurrencies. SBC, 2019.
S. Basu. bloXroute: A Network for Tomorrow’s Blockchain. SBC, 2019.
T-H. Hubert Chan, Y. Guo, R. Pass, and E. Shi. New and Simple Consensus Algorithms for ThunderCore’s Main-Net. SBC, 2019.
P. McCorry, S. Bakshi, A. Miller, S. Meiklejohn, I. Bentov, C. Buckland, and K. Wüst. State Channels as a Scaling Solution for Cryptocurrencies. SBC, 2019.
S. Azouvi, P. McCorry, and S. Meiklejohn. Betting on Blockchain Consensus with Fantômette. SBC, 2019.
S. Bowe, A. Chiesa, M. Green, I. Miers, P. Mishra, and H. Wu. Zexe: Enabling Decentralized Private Computation. SBC, 2019.
N. Gailly, N. Liochon, O. Bégassat, and B. Kolad. Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees. SBC, 2019.

2018

E. Hildenbrandt, M. Saxena, X. Zhu, N. Rodrigues, P. Daian, D. Guth, and G. Rosu. KEVM: A Complete Semantics of the Ethereum Virtual Machine. CSF, 2018
I. Tsabary and I. Eyal. The Gap Game. ACM CCS, 2018.
C. Perez-Sola, S. Delgado-Segura, S. Navarro-Arribas, and J. Herrera-Joancomarti. Double-spending prevention for Bitcoin sero-confirmation transactions. International Journal of Information Security, 2018.
G. Kappos, H. Yousaf, M. Maller, and S. Meiklejohn. An Empirical Analysis of Anonymity in Zcash. USENIX, 2018.
S. Matetic, M. Schneider, A. Miller, A. Juels, and S. Capkun. DelegaTEE: Brokered Delegation Using Trusted Execution Environments. USENIX, 2018.
I. Eyal and E.G. Sirer. Majority is not enough: bitcoin mining is vulnerable. ACM CCS, 2018.
Y. Zhou, D. Kumar, S. Bakshi, J. Mason, A. Miller, and M. Bailey. Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts. USENIX, 2018.
G. Fanti, S. Bakshi, S. Venkatakrishnan, A. Miller, B. Denby, S. Bhargava, and P. Viswanath. Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees. ACM SIGMETRICS, 2018.
K. Lee and A. Miller. Authenticated Data Structures for Privacy-Preserving Monero Light Clients. IEEE S&P, 2018.
A.E. Gencer, S. Basu, I. Eyal, R.V. Renesse, and E.G. Sirer. Decentralization in Bitcoin and Ethereum Networks. Financial Cryptography and Data Security (FC), 2018.
M. Möser, K. Soska, E. Heilman, K. Lee, H. Heffan, S. Srivastava, K. Hogan, J. Hennessey, A. Miller, A. Narayanan, and N. Christin. An Empirical Analysis of Traceability in the Monero Blockchain. PETS, 2018.
S.K. Kim, Z. Ma, S. Murali, J. Mason, A. Miller, and M. Bailey. Measuring Ethereum Network Peers. ACM IMC, 2018.
K. Karlsson, D. Adams, G. Rubambiza, Z. Xian, R. van Renesse, H. Weatherspoon, and S. Wicker. Untethered: Deployable Blockchains for IoT Environments. ACM SoCC, 2018.
G. Karame and S. Capkun. Blockchain Security and Privacy. IEEE S&P, 2018.
B. Fisch, R. Pass, and A. Shelat. Socially Optimal Mining Pools. EC, 2018.
K. Wüst and A. Gervais. Do you need a Blockchain?. CVCBT, 2018.
H. Ritzdorf, K. Wüst, A. Gervais, G. Felley, and S. Capkun. TLS-N: Non-repudiation over TLS Enabling Ubiquitous Content Signing. NDSS, 2018.
S. Meiklejohn and R. Mercer. Mobius: Trustless Tumbling for Transaction Privacy. PETS, 2018.
J. Groth, M. Kohlweiss, M. Maller, S. Meiklejohn, and I. Miers. Updatable and Universal Common Reference Strings with Applications to zk-SNARKs. CRYPTO, 2018.
X. Yan, X.C. Lin, L. Yang, B. Wong, T. Brecht, H. Zhang, and K. Salem. Carousel: Low-Latency Transaction Processing for Globally-Distributed Data. SIGMOD, 2018.
E. Prasad. Central Banking in a Digital Age: Stock-Taking and Preliminary Thoughts. Hutchins Center on Fiscal & Monetary Policy at Brookings, 2018.
L. Breidenbach, P. Daian, F. Tramèr, and A. Juels. Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. USENIX Security, 2018.
P. McCorry, A. Hicks, and S. Meiklejohn. Smart Contracts for Bribing Miners. Financial Cryptography and Data Security (FC), BITCOIN, 2018.
E. Stefanov, M. van Dijk, E. Shi, T.-H. H. Chan, C. Fletcher, L. Ren, X. Yu, and S. Devadas. Path ORAM: An Extremely Simple Oblivious RAM Protocol. ACM CCS, 2018.
R. Pass and E. Shi. Thunderella: Blockchains with Optimistic Instant Confirmation. EUROCRYPT, 2018.
F. Zhang, P. Daian, I. Bentov, and A. Juels. Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More. ACM AFT, 2019. BITCOIN, 2018.
S. Azouvi, M. Maller, and S. Meiklejohn. Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance. FC, 2018. BITCOIN, 2018.
E. Kokoris-Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, and B. Ford. OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding. IEEE S&P, 2018.
A. Kosba, C. Papamanthou, and E. Shi. xJsnark: A Framework for Efficient Verifiable Computation. IEEE S&P, 2018.
S. Delgado-Segura, C. Perez-Sola, G. Navarro-Arribas, and J. Herrera-Joancomarti. Cryptocurrency networks: a new P2P paradigm. Mobile Information Systems, 2018.
S. Delgado-Segura, C. Perez-Sola, G. Navarro-Arribas, and J. Herrera-Joancomarti. Analysis of the Bitcoin UTXO set. BITCOIN, 2018.
T.-H. H. Chan, K. Nayak, and E. Shi. Perfectly Secure Oblivious Parallel RAM. TCC, 2018.
S. Meiklejohn. Top Ten Obstacles along Distributed Ledgers’ Path to Adoption. IEEE S&P, 2018.
N. Crooks, M. Burke, E. Cecchetti, S. Harel, R. Agarwal, and L. Alvisi. Obladi: Oblivious Serializable Transactions in the Cloud. USENIX, 2018.
S. Delgado-Segura, C. Perez-Sola, J. Herrera-Joancomarti, and G. Navarro-Arribas.Bitcoin private key locked transactions. Information Processing Letters, 2018.
K. Karlosson, W. Jiang, S. Wicker, D. Adams, E. Ma, R. van Renesse, and H. Weatherspoon. Vegvisir: A Partition-Tolerant Blockchain for the Internet-of-Things. IEEE DCS, 2018.
T-H. H. Chan, J. Katz, K. Nayak, A. Polychroniadou, and E. Shi. More is Less: Perfectly Secure Oblivious Algorithms in the Multi-server Setting. ASIACRYPT, 2018.
E. Androulaki, C. Cachin, A. De Caro, and E. Kokoris-Kogias. Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains. ESORICS, 2018.

2017

R. Pass and E. Shi. FruitChains: A Fair Blockchain. PODC, 2017.
R. Pass and E. Shi. Hybrid Consensus: Efficient Consensus in the Permissionless Model. DISC, 2017.
R. Pass and E. Shi. The Sleepy Model of Consensus. ASIACRYPT, 2017.
E. Cecchetti, F. Zhang, Y. Ji, A. Kosba, A. Juels and E. Shi. Solidus: Confidential Distributed Ledger Transactions via PVORM. ACM CCS, 2017.
S. Matetic, M. Ahmed, K. Kostiainen, A. Dhar, D. Sommer, A. Gervais, A. Juels, and S. Capkun. ROTE: Rollback Protection for Trusted Execution. USENIX, 2017.
F. Zhang, I. Eyal, R. Escriva, A. Juels, and R. V. Renesse. REM: Resource-Efficient Mining for Blockchains. USENIX, 2017.
P. Daian, I. Eyal, A. Juels, and E.G. Sirer. PieceWork: Generalized Outsourcing Control for Proofs of Work. BITCOIN, 2017.
F. Tramèr, F. Zhang, H. Lin, J.P. Hubaux, A. Juels, and E. Shi. Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge. IEEE S&P, 2017.
A. E. Gencer, R. V. Renesse, and E. G. Sirer. Service-Oriented Sharding with Aspen. CoRR, 2016.
M. Borge, E. Kokoris-Kogias, P. Jovanovic, L. Gasser, N. Gailly, and B. Ford. Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies. IEEE S&P, 2017.
E. Syta, P. Jovanovic, E. Kokoris-Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer and B. Ford. Scalable Bias-Resistant Distributed Randomness. IEEE S&P, 2017.
I. Eyal. Blockchain Technology: Transforming Libertarian Cryptocurrency Dreams to Finance and Banking Realities. IEEE S&P, 2017.
K. Nikitin, E. Kokoris-Kogias, P. Jovanovic, N. Gailly, L. Gasser, I. Khoffi, J. Cappos, and B. Ford. CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds. USENIX, 2017.

2016

M. Milutinovic, W. He, H. Wu, and M. Kanwal. 2016. Proof of Luck: an Efficient Blockchain Consensus Protocol. In Proceedings of the 1st Workshop on System Software for Trusted Execution (SysTEX ’16).
K. Nayak, S. Kumar, A. Miller, and E. Shi. Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack. IEEE Euro S&P, 2016.
F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi. Town Crier: An Authenticated Data Feed for Smart Contracts. ACM CCS, 2016.
A. Miller, Y. Xia, K. Croman, E. Shi, and D. Song. The Honey Badger of BFT Protocols. ACM CCS, 2016.
A. Juels, A. Kosba, and E. Shi. The Ring of Gyges: Investigating the Future of Criminal Smart Contracts. ACM CCS, 2016.
I. Eyal, A. E. Gencer, E. G. Sirer, and R. V. Renesse. Bitcoin-NG: A Scalable Blockchain Protocol. NSDI, 2016.
B. Marino and A. Juels. Setting Standards for Altering and Undoing Smart Contracts. Rule ML, 2016.
K. Croman, C. Decker, I. Eyal, A.E. Gencer, A. Juels, A. Kosba, A. Miller, P. Saxena, E. Shi, E. G. Sirer, D. Song, and R. Wattenhofer. On Scaling Decentralized Blockchains (A Position Paper). BITCOIN, 2016. (Full version here)
E. Zhai, D.I. Wolinsky, R. Chen, E. Syta, C. Teng, and B. Ford. AnonRep: Towards Tracking-Resistant Anonymous Reputation. In USENIX NSDI, 2016.
E. Syta, I. Tamas, D. Visher, D.I. Wolinsky, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, and B. Ford. Keeping Authorities “Honest or Bust” with Decentralized Witness Cosigning. IEEE S&P, 2016.
E. Kokoris-Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, and B. Ford. Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. USENIX, 2016.
A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. IEEE S&P, 2016.

2015 and Older

A. Miller, A. Kosba, J. Katz, and E. Shi. Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. ACM CCS, 2015.
A. Kiayias, Q.Tang. Traitor-deterring Schemes: Using Bitcoin as Collateral for Digital Contents. ACM CCS, 2015.
R. Pass and A. Shelat. Micropayments for Decentralized Currencies. ACM CCS, 2015.
A. Miller, J. Litton, A. Pachulski, N. Gupta, D. Levin, N. Spring, and B. Bhattacharjee. Discovering bitcoin’s public topology and influential nodes. Whitepaper, 2015.
I. Eyal. The Miner’s Dilemma. IEEE S&P, 2015.
J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, and E. W. Felten. SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. IEEE S&P, 2015.
A. Everspaugh, R. Chatterjee, S. Scott, A. Juels, and T. Ristenpart. The Pythia PRF Service. USENIX, 2015. (Proposes a password-hardening system; securing Bitcoin brainwallets is one application.)
A. Miller and R. Jansen. Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications USENIX CSET Workshop, 2015.
I. Eyal and E. G. Sirer. Majority Is Not Enough: Bitcoin Mining Is Vulnerable.. FC, pp. 436-454, 2014.
A. Miller, A. Juels, E. Shi, B. Parno, and J. Katz. Permacoin: Repurposing Bitcoin Work for Long-Term Data Preservation. IEEE S&P, 2014. (Note: Permacoin is an altcoin that “recycles” the resource costs of mining by creating a distributed storage system as a side-effect.)
J. Bonneau, A. Narayanan, A. Miller, J. Clark, J. A. Kroll, and E.W. Felten. Mixcoin: Anonymity for Bitcoin with accountable mixes. FC, 2014.
A. Miller and J.J. LaViola, Jr. Anonymous Byzantine Consensus from Moderately-hard puzzles: A Model for Bitcoin. Tech Report, 2014.
M. Ghosh, M. Richardson, B. Ford, and R.Jansen. A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays. Workshop of Hot Topics in Privacy Enhancing Technologies 2014.
S. Barber, X. Boyen, E. Shi, and E. Uzun. Bitter to Better: How to Make Bitcoin a Better Digital Currency. FC, 2012.
B. Ford, J. Strauss, C. Lesniewski-Laas, S. Rhea, F. Kaashoek, and R. Morris. Persistent Personal Names for Globally Connected Mobile Devices. USENIX OSDI, 2006.
M. Jakobsson and A. Juels. Proofs of Work and Bread Pudding Protocols.. ACM CMS, pp. 258-272, 1999.
A. Juels. Trustee Tokens: Simple and Practical Tracing of Anonymous Digital Cash.. FC, pp. 29-45, 1999.
M. Jakobsson and A. Juels. X-Cash: Executable Digital Cash.. FC, pp. 16-27, 1998.