UCL Blockchain Research Papers

List of blockchain related search papers from members of UCL.

• Replay Attacks and Defenses against Cross-shard Consensus in Sharded Distributed Ledgers.
  Alberto Sonnino, Shehar Bano, Mustafa. Al-Bassam, George Danezis.
  Pre-print.


• Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.
  Alberto Sonnino, Mustafa Al-Bassam, Shehar Bano, Sarah Meiklejohn and George Danezis..
  The Network and Distributed System Security Symposium (NDSS), 2019.


• Why is a Ravencoin Like a TokenDesk? An Exploration of Code Diversity in the Cryptocurrency Landscape.
  Pierre Reibel, Haaroon Yousaf, and Sarah Meiklejohn.
  Financial Cryptography and Data Security 2019.

• Tracing Transaction Across Cryptocurrency Ledgers.
  Haaroon Yousaf, George Kappos and Sarah Meiklejohn.
  Pre-print.


• Blockmania: from Block DAGs to Consensus.
  George Danezis and David Hrycyszyn
  Pre-print.


• Betting on Blockchain Consensus with Fantômette.
  Sarah Azouvi, Patrick McCorry and Sarah Meiklejohn
  Pre-print.


• Airtnt: Fair Exchange Payment for Outsourced Secure Enclave Computations.
  Mustafa Al-Bassam, Alberto Sonnino, Michał Król, Ioannis Psaras
  Pre-print.


• Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities.
  Mustafa Al-Bassam, Alberto Sonnino and Vitalik Buterin.
  Pre-print.


• VAMS: Verifiable Auditing of Access to Confidential Data.
  Alexander Hicks, Vasilis Mavroudis, Mustafa Al-Bassam, Sarah Meiklejohn and Steven J. Murdoch..
  Pre-print.


• SoK: Consensus in the Age of Blockchains.
  Shehar Bano, Alberto Sonnino, Mustafa Al-Bassam, Sarah Azouvi, Patrick McCorry, Sarah Meiklejohn and George Danezis.
  Pre-print.


• Finding the Greedy, Prodigal, and Suicidal Contracts at Scale.
  Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor
  2018 Annual Computer Security Applications Conference (ACSAC 2018).


• ClaimChain: Improving the Security and Privacy of In-band Key Distribution for Messaging.
  Bogdan Kulynych, Wouter Lueks, Marios Isaakidis, George Danezis, and Carmela Troncoso.
  WPES 2018.


• Temporal Properties of Smart Contracts.
  Ilya Sergey, Amrit Kumar, and Aquinas Hobor.
  ISOLA 2018, the track on Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions.


• EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
  Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, and Ilya Sergey
  16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018).


• Updatable and Universal Common Reference Strings with Applications to zk-SNARKs
  Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn and Ian Miers
  CRYPTO 2018


• Top Ten Obstacles along Distributed Ledgers' Path to Adoption
  Sarah Meiklejohn
  IEEE Security & Privacy Magazine, July/August 2018


• Mobius: Trustless Tumbling for Transaction Privacy
  Sarah Meiklejohn and Rebekah Mercer
  Proceedings on Privacy Enhancing Technologies 2018


• Incentives in Security Protocols
  Sarah Azouvi, Alexander Hicks, Steven J. Murdoch
  Twenty-sixth International Workshop on Security Protocols


• Why Preventing a Cryptocurrency Heist Isn't Good Enough
  Patrick McCorry, Malte Moeser and Taha Ali
  Twenty-sixth International Workshop on Security Protocols


• Contour: A Practical System for Binary Transparency
  Mustafa Al-Bassam and Sarah Meiklejohn
  International Workshop on Cryptocurrencies and Blockchain Technology (CBT), 2018.


• Pisa: Arbitration Outsourcing for State Channels
  Patrick McCorry, Surya Bakshi, Iddo Bentov, Andrew Miller and Sarah Meiklejohn
  Pre-print.


• Toychain: A minimalistic blockchain consensus implemented and verified in Coq
  George Pirlea, Ilya Sergey
  


• Chainspace: A Sharded Smart Contracts Platform.
  Mustafa Al-Bassam, Alberto Sonnino, Shehar Bano, Dave Hrycyszyn and George Danezis.
  NDSS 2018


• Egalitarian Society or Benevolent Dictatorship? The State of Cryptocurrency Governance
  Sarah Azouvi, Mary Maller, and Sarah Meiklejohn
  In 22nd International Conference on Financial Cryptography and Data Security


• Smart Contracts for Bribing Miners
  Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn
  In 22nd International Conference on Financial Cryptography and Data Security


• The Nuts and Bolts of Micropayments: a Survey
  Syed Taha Ali, Dylan Clarke and Patrick McCorry
  Pre-print
• Scilla: a Smart Contract Intermediate-Level LAnguage
  Ilya Sergey, Amrit Kumar, and Aquinas Hobor
  Technical report. January 2018.

• Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing.
  Changyu Dong, Yilei Wang, Amjad Aldweesh, Patrick McCorry and Aad van Moorsel .
  CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security


• The Road to Scalable Blockchain Designs.
  Shehar Bano, Mustafa Al-Bassam, and George Danezis.
  USENIX login mag. 2017


• Atomically Trading with Roger: Gambling on the success of a hard fork.
  Patrick McCorry, Ethan Heilman and Andrew Miller.
  1st International Workshop on Cryptocurrencies and Blockchain Technology


• Who Am I? Secure Identity Registration on Distributed Ledgers
  Sarah Azouvi, Mustafa Al-Bassam, and Sarah Meiklejohn
  Data Privacy Management, Cryptocurrencies and Blockchain Technology


• SCPKI: A Smart Contract-based PKI and Identity System
  Mustafa Al-Bassam.
  ACM Workshop on Blockchain, Cryptocurrencies and Contracts (BCC), 2017.

• Centrally Banked Cryptocurrencies
  George Danezis and Sarah Meiklejohn
  Network and Distributed System Security Symposium

If your paper is missing email blockchains [AT SYMBOL] cs [DOT SYMBOL] ucl [ANOTHER DOT] ac [ANOTHER DOT uk