Bibliographies

These are collections of papers by other researchers on topics I find interesting:

• Bitcoin
• SSL/TLS and HTTPS
• Coercion-Resistant Internet Voting

---

		Bitcoin Bibliography This bibliography concentrates on peer-reviewed papers published at academic conferences in the areas of security, cryptography and distributed systems. A few unpublished tech reports are included selectively.

2015

• Misbehavior in Bitcoin: A Study of Double-Spending and Accountability
  G. O. Karame, E. Androulaki, M. Roeschlin, A. Gervais, S. Capkun
  TISSEC, 18(1), 2015

• Bitcoin: Under the Hood
  A. Zohar
  CACM, 58(9), 2015

• Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges
  G. Dagher, B. Bünz, J. Bonneau, J. Clark, D. Boneh
  CCS 2015

• Liar, Liar, Coins on Fire! — Penalizing Equivocation By Loss of Bitcoins
  T. Ruffing, A. Kate, D. Schroeder
  CCS 2015

• How to Use Bitcoin to Play Decentralized Poker
  R. Kumaresan, T. Moran, I. Bentov
  CCS 2015

• Micropayments for Decentralized Currencies
  R. Pass, a. shelat
  CCS 2015

• Traitor Deterring Schemes: Using Bitcoin as Collateral for Digital Content
  A. Kiayias, Q. Tang
  CCS 2015

• Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions
  A. Miller, A. Kosba, E. Shi, J. Katz
  CCS 2015

• Tampering with the Delivery of Blocks and Transactions in Bitcoin
  A. Gervais, H. Ritzdorf, G. O. Karame, S. Capkun
  CCS 2015

• Making Bitcoin Exchanges Transparent
  C. Decker, J. Guthrie, J. Seidel and R. Wattenhofer
  ESORICS 2015

• PoW-Based Distributed Cryptography with no Trusted Setup
  M. Andrychowicz, S. Dziembowski
  CRYPTO 2015

• Measuring the Longitudinal Evolution of the Online Anonymous Marketplace Ecosystem
  K. Soska, N. Christin
  USENIX Security 2015

• Eclipse Attacks on Bitcoin's Peer-to-Peer Network
  E. Heilman, A. Kendler, A. Zohar, S. Goldberg
  USENIX Security 2015

• Shadow-Bitcoin: Scalable Simulation via Direct Execution of Multi-threaded Applications
  A. Miller, R. Jansen
  CSET 2015

• An empirical study of Namecoin and lessons for decentralized namespace design
  H. Kalodner, M. Carlsten, P. Ellenbogen, J. Bonneau, and A. Narayanan
  WEIS 2015

• Bitcoin and Second-generation Cryptocurrencies
  J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. Kroll, and E.W. Felten
  IEEE SP (Oakland) 2015

• Bitcoin over Tor isn't a Good Idea
  A. Biryukov and I. Pustogarov
  IEEE SP (Oakland) 2015

• The Miner's Dilemma
  I. Eyal
  IEEE SP (Oakland) 2015

• The Bitcoin Backbone Protocol: Analysis and Applications
  J. Garay, A. Kiayias and N. Leonardos
  EUROCRYPT 2015

• A First Look at the Usability of Bitcoin Key Management
  S. Eskandari, D, Barrera, E. Stobert, and J. Clark
  USEC 2015

• There's No Free Lunch, Even Using Bitcoin: Tracking the Popularity and Profits of Virtual Currency Scams
  M. Vasek and T. Moore
  Financial Cryptography 2015

• Hierarchical deterministic Bitcoin wallets that tolerate key leakage
  G. Gutoski and D. Stebila
  Financial Cryptography 2015

• Secure High-Rate Transaction Processing in Bitcoin
  Y. Sompolinsky and A. Zohar
  Financial Cryptography 2015

• Inclusive Block Chain Protocols
  Y. Lewenberg, Y. Sompolinsky and A. Zohar
  Financial Cryptography 2015

• BITCOIN 2015
  (Entire Program)
  

2014

• On the Privacy Provisions of Bloom Filters in Lightweight Bitcoin Clients
  A. Gervais, G.O. Karame, D. Gruber and S. Capkun
  ACSAC 2014

• Sybil-Resistant Mixing for Bitcoin
  G. Bissias, A.P. Ozisik, B.N. Levine, and M. Liberatore
  WPES 2014

• How to Use Bitcoin to Incentivize Correct Computations
  R. Kumaresan and I. Bentov
  CCS 2014

• Deanonymisation of clients in Bitcoin P2P network
  A. Biryukov, D. Khovratovich and I. Pustogarov
  CCS 2014

• VerSum: Verifiable Computations over Large Public Logs
  J. van del Hooff, M. F. Kaashoek and N. Zeldovich
  CCS 2014

• Modeling Bitcoin Contracts by Timed Automata
  M. Andrychowicz, S. Dziembowski, D. Malinowski and L. Mazurek
  FORMATS 2014

• CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin
  T. Ruffing, P. Moreno-Sanchez, and A. Kate
  ESORICS 2014

• Bitcoin Transaction Malleability and MtGox
  C. Decker, and R. Wattenhofer
  ESORICS 2014

• BlueWallet: The Secure Bitcoin Wallet
  T. Bamert, C. Decker, R. Wattenhofer and S. Welten
  STM 2014

• How to Use Bitcoin to Design Fair Protocols
  I. Bentov and R. Kumaresan
  CRYPTO 2014

• Better in Practice than in Theory: Lessons from the Rise of Bitcoin
  J. Bonneau and A. Narayanan
  HotSec 2014 (Speakers)

• From Onions to Shallots: Rewarding Tor Relays with TEARS
  R. Jansen, A. Miller, P. Syverson and B. Ford
  HotPETS 2014

• A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays
  M. Ghosh, M. Richardson, B. Ford and R. Jansen
  HotPETS 2014

• On Decentralizing Prediction Markets and Order Books
  J. Clark, J. Bonneau, E.W. Felten, J.A. Kroll, A. Miller, and A. Narayanan
  WEIS 2014

• Competition in the Crypto-Currency Market
  N. Gandal and H. Halaburda
  WEIS 2014

• Is Bitcoin a Decentralized Currency?
  A. Gervais, G.O. Karame, S. Capkun and V. Capkun
  IEEE S&P Magazine 12(3) 2014

• Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin
  A. Miller and J.J. LaViola
  Tech Report 2014

• Secure Multiparty Computations on Bitcoin
  M. Andrychowicz, S. Dziembowski, D. Malinowski, and L. Mazurek
  IEEE SSP (Oakland) 2014

• Zerocash: Decentralized Anonymous Payments from Bitcoin
  E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers, E. Tromer, and M. Virza
  IEEE SSP (Oakland) 2014

• PermaCoin: Repurposing Bitcoin Work for Data Preservation
  A. Miller, A. Juels, E. Shi, B. Parno, and J. Katz
  IEEE SSP (Oakland) 2014

• Botcoin: Monetizing Stolen Cycles
  D.Y. Huang, H. Dharmdasani, S. Meiklejohn, V. Dave, C. Grier, D. McCoy, S. Savage, N. Weaver, A.C. Snoeren and K. Levchenko
  NDSS 2014

• Decentralized Anonymous Credentials
  C. Garman, M. Green, and I. Miers
  NDSS 2014

• Majority is not Enough: Bitcoin Mining is Vulnerable
  I. Eyal and E.G. Sirer
  Financial Cryptography 2014

• BitIodine: Extracting Intelligence from the Bitcoin Network
  M. Spagnuolo, F. Maggi and S. Zanero
  Financial Cryptography 2014

• Mixcoin: Anonymity for Bitcoin with accountable mixes
  J. Bonneau, A. Narayanan, A. Miller, J. Clark, J.A. Kroll and E.W. Felten
  Financial Cryptography 2014

• An Analysis of Anonymity in Bitcoin Using P2P Network Traffic
  P. Koshy, D. Koshy and P. McDaniel
  Financial Cryptography 2014

• Elliptic Curve Cryptography in Practice
  J. Bos, J.A. Halderman, N. Heninger, J. Moore, M. Naehrig and E. Wustrow
  Financial Cryptography 2014

• Bitcoin and Cryptocurrency Research Conference
  Entire Program
  CITP, Princeton, 2014

• BITCOIN 2014
  (Entire Program)
  

2013

• A Fistful of Bitcoins: Characterizing Payments Among Men with No Names
  S. Meiklejohn, M. Pomarole, G. Jordan, K. Levchenko, D. McCoy, G.M. Voelker, and S. Savage
  IMC 2013

• Have a Snack, Pay with Bitcoins
  T. Bamert, C. Decker, L. Elsen, R. Wattenhofer and S. Welten
  P2P 2013

• Information Propagation in the Bitcoin Network
  C. Decker and R. Wattenhofer
  P2P 2013

• The Economics of Bitcoin Mining, or Bitcoin in the Presence of Adversaries
  J. Kroll, I. Davey, and E. Felten
  WEIS 2013

• Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
  G. Danezis, C. Fournet, M. Kohlweiss, and B. Parno
  PETShop 2013

• Traveling the Silk Road: A measurement analysis of a large anonymous online marketplace
  N. Christin
  WWW 2013

• Zerocoin: Anonymous Distributed e-Cash from Bitcoin
  I. Miers, C. Garman, M. Green, and A. Rubin
  IEEE SSP (Oakland) 2013

• Beware the Middleman: Empirical Analysis of Bitcoin-Exchange Risk
  T. Moore and N. Christin
  Financial Cryptography 2013

• Evaluating User Privacy in Bitcoin
  E. Androulaki, G. Karame, M. Roeschlin, T. Scherer and S. Capkun
  Financial Cryptography 2013

• Quantitative Analysis of the Full Bitcoin Transaction Graph
  D. Ron and A. Shamir
  Financial Cryptography 2013

2012 and before

• Two Bitcoins at the Price of One? Double-Spending Attacks on Fast Payments in Bitcoin
  G. O. Karame, E. Androulaki, and S. Capkun
  CCS 2012

• Can We Afford Integrity by Proof-of-Work? Scenarios Inspired by the Bitcoin Currency
  J. Becker, D. Breuker, T. Heide, J. Holler, H. P. Rauer, and R. Bohme
  WEIS 2012

• Bitter to Better — How to Make Bitcoin a Better Currency
  S. Barber, X. Boyen, E. Shi, and E. Uzun
  Financial Cryptography 2012

• CommitCoin: Carbon Dating Commitments with Bitcoin
  J. Clark and A. Essex
  Financial Cryptography 2012

• On Bitcoin and Red Balloons
  M. Babaioff, S. Dobzinski, S. Oren, and A. Zohar
  SIGecon Exchanges, 10(3), 2011

• An Analysis of Anonymity in the Bitcoin System
  F. Reid and M. Harrigan
  PASSAT 2011

• Bitcoin: A Peer-to-Peer Electronic Cash System
  S. Nakamoto
  Tech Report, 2009

---

		SSL/TLS and HTTPS Bibliography (2013–) In 2013, we published a paper at Oakland that systemized 100+ research papers in the area of SSL/TLS, HTTPS, and its certificate trust model. The papers in this collection appeared after (or concurrent to) our study.

• No Attack Necessary: The Surprising Dynamics of SSL Trust Relationships
  B. Amann, R. Sommer, M. Vallentin, and S. Hall
  ACSAC 2013

• Analysis of the HTTPS Certificate Ecosystem
  Z. Durumeric, J. Kasten, M. Bailey, and J.A. Halderman
  IMC 2013

• Truncating TLS Connections to Violate Beliefs in Web Applications
  B. Smyth and A. Pironti
  WOOT 2013

• On the Security of the TLS Protocol: A Systematic Analysis
  H. Krawczyk, K. G. Paterson, and H. Wee
  CRYPTO 2013

• On the Security of RC4 in TLS
  N. AlFardan, D. J. Bernstein, K. G. Paterson, B. Poettering, and J.C.N. Schuldt
  USENIX Security 2013

• Security Economics and Value-Chain Governance of HTTPS Communications
  A. Arnbak, N. van Eijk, H. Asghari, and M. Van Eeten
  WEIS 2013

• Trust Darknet: Control and Compromise in the Internet's Certificate Authority Model
  S.B. Roosa and S. Schultze
  IEEE Internet Computing, 17(3), 2013

• S-links: Why distributed security policy requires secure introduction
  J. Bonneau
  W2SP 2013

• Implementing TLS with Verified Cryptographic Security
  K. Bhargavan, C. Fournet, M. Kohlweiss, A. Pironti, and P.Y. Strub
  IEEE SP (Oakland) 2013

• Lucky Thirteen: Breaking the TLS and DTLS record protocols
  N. AlFardan and K. G. Paterson.
  IEEE SP (Oakland) 2013

• SSL and HTTPS: Revisiting Past Challenges and Evaluating Certificate Trust Model Enhancements
  J. Clark and P.C. van Oorschot
  IEEE SP (Oakland) 2013

• Here's My Cert, So Trust Me, Maybe? Understanding TLS Errors on the Web
  D. Akhawe, B. Amann, M. Vallentin, and R. Sommer
  WWW 2013

• Transparent Key Infrastructure (TKI): A Proposal for a Public-Key Validation
  T. Hyun-Jin Kim, L.S. Huang, A. Perrig, C. Jackson, and V. Gligor
  WWW 2013

• CAge: Taming Certificate Authorities by Inferring Restricted Scopes
  J. Kasten, E. Wustrow and J. A. Halderman
  Financial Cryptography 2013

---

		Coercion-Resistant Internet Voting Bibliography

• A Practical Coercion Resistant Voting Scheme Revisited
  R. Araujo and J. Traore
  VoteID 2013

• Caveat Coercitor: Coercion-Evidence in Electronic Voting
  G.S. Grewal, M.D. Ryan, S. Bursuc, and P.Y.A. Ryan
  IEEE SSP (Oakland) 2013

• Cobra: Toward Concurrent Ballot Authorization for Internet Voting
  A. Essex, J. Clark, and U. Hengartner
  EVT/WOTE 2012

• Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting
  O. Spycher, R. Koenig, R. Haenni, and M. Schlapfer
  EVOTE 2012

• Practical Remote End-to-End Voting Scheme
  X. Yi and E. Okamoto
  EGOVIS 2011

• Efficient Vote Authorization in Coercion-Resistant Internet Voting
  M. Schlapfer, R. Haenni, R. Koenig, and O. Spycher
  Vote-ID 2011

• Verifiable Remote Voting with Large Scale Coercion Resistance
  M. Raykova and D. Wagner
  Tech Report, 2011

• Study, Analysis, and Implementation of a Remote Electronic Voting System
  M. Stennier
  Thesis, 2011

• Mental Voting Booths
  J. Dossogne and F. Lafitte
  NordSec 2011

• Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance
  J. Clark and U. Hengartner
  Financial Cryptography 2011

• A New Approach Towards Coercion-Resistant Remote E-Voting in Linear Time
  O. Spycher, R. Koenig, R. Haenni, and M. Schlapfer
  Financial Cryptography 2011

• Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes
  R. Koenig, R. Haenni, and S. Fischli
  Information Security Conference (Sec) 2011

• Towards Practical and Secure Coercion-Resistant Electronic Elections
  R. Araujo, N. B. Rajeb, R. Robbana, J. Traore, and S. Youssfi
  CANS 2010

• Coercion-Resistant Hybrid Voting Systems
  O. Spycher, R. Haenni, and E. Dubuis
  EVOTE 2010

• Remote Electronic Voting with Revocable Anonymity
  M. Smart and E. Ritter
  Information Systems Security (ICISS) 2009

• Masked Ballot Voting for Receipt-Free Online Elections
  R. Wen and R. Buckland
  Vote-ID 2009

• Civitas: Toward a Secure Voting System
  M. R. Clarkson, S. Chong, and A. C. Myers
  IEEE Symposium on Security & Privacy 2008

• A Coercion-Resistant Internet Voting Protocol
  B. Meng
  Systems and Networks Communications (ICSNC) 2007

• Robust Coercion-Resistant Registration for Remote E-voting
  T. Krivoruchko
  WOTE 2007

• A Practical and Secure Coercion-Resistant Scheme for Internet Voting
  R. Araujo, S. Foulle, and J. Traore
  Frontiers of Electronic Voting 2007

• On Coercion-Resistant Electronic Elections with Linear Work
  S. G. Weber, R. Araujo, and J. Buchmann
  ARES 2007

• Coercion-Resistant Electronic Elections with Observer
  J. Schweisgut
  EVOTE 2006

• A method for electronic voting with Coercion-free receipt
  D. J. Reynolds
  Frontiers in Electronic Elections (FEE) 2005

• New cryptographic election protocol with best-known theoretical properties
  W. D. Smith
  Frontiers in Electronic Elections 2005

• Coercion-Resistant Electronic Elections
  A. Juels, D. Catalano, and M. Jakobsson
  WPES 2005

• Receipt-Free Homomorphic Elections and Write-in Voter Verified Ballots
  A. Acquisti
  Tech Report, 2004

• How to prevent buying of votes in computer elections
  V. Niemi and A. Renvall
  ASIACRYPT 1994