Library
90 papers
December 2020, To appear at: CANS '20
November 2020, To appear at: ACM CCS '20
November 2020, To appear at: TCC '20
November 2020, To appear at: TCC '20
October 2020, To appear at: ISoLA 2020
October 2020, To appear at: ACNS '20
October 2020, To appear at: ISoLA 2020
A Gas-Efficient Superlight Bitcoin Client in Solidity
Stelios Daveas,Kostis Karantias,Aggelos Kiayias,Dionysis Zindros
October 2020, To appear at: AFT 2020
September 2020, ESORICS '20
Reward Sharing Schemes for Stake Pools
Lars Brünjes,Aggelos Kiayias,Elias Koutsoupias,Aikaterini-Panagiota Stouka
September 2020, Euro S&P 2020
July 2020, ePrint Archive
July 2020, To appear at: ICDCS '20
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Philip Wadler
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
February 2020, ePrint Archive
February 2020, Financial Cryptography 2020
February 2020, Financial Cryptography 2020
Marlowe: implementing and analysing financial contracts on blockchain
Pablo Lamela Seijas,Alexander Nemish,David Smith,Simon Thompson
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
Consistency for Functional Encryption
Christian Badertscher,Aggelos Kiayias,Markulf Kohlweiss,Hendrik Waldner
February 2020, ePrint Archive
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
January 2020, ArXiv e-print
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna
January 2020, Journal of Functional Programming
November 2019, ACM Conference on Computer and Communications Security ACM CCS 2019.
October 2019, To appear at: CSF '21
May 2019, IEEE Symposium on Security and Privacy
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
Thomas Kerber,Markulf Kohlweiss,Aggelos Kiayias,Vassilis Zikas
May 2019, IEEE Symposium on Security and Privacy
February 2019, European Business Organization Law Review, (2019) 20: 81
February 2019, Financial Cryptography 2019
February 2019, Workshop on Trusted Smart Contracts 2019
A Formal Treatment of Hardware Wallets
Myrto Arapinis,Andriana Gkaniatsou,Dimitris Karakostas,Aggelos Kiayias
February 2019, Financial Cryptography 2019
December 2018, Asiacrypt 2018
November 2018, ISoLA 2018
Comparison of Block Expectation Time for Various Consensus Algorithms
Dmytro Kaidalov,Lyudmila Kovalchuk,Andrii Nastenko,Mariia Rodinko,Oleksiy Shevtsov,Roman Oliynykov
November 2018, Radio Electronics, Computer Science, Control (Ukranian Journal)
June 2018, Crypto Valley'18
March 2018, Financial Cryptography 2018
August 2017, CRYPTO 2017 (ePrint Archive)
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Aggelos Kiayias,Alexander Russell,Bernardo David,Roman Oliynykov
August 2017, CRYPTO 2017 (ePrint Archive)
Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies
Leonid Reyzin,Dmitry Meshkov,Alexander Chepurnoy,Sasha Ivanov
April 2017, Financial Cryptography 2017