Library
128 papers
November 2021, TCC '21
November 2021, ACM CCS '21
October 2021, CBT '21
October 2021, ESORICS 2021
September 2021, ePrint Archive
August 2021, Crypto 2021
August 2021, Crypto 2021
June 2021, ePrint Archive
Standardized crypto-loans on the Cardano blockchain
Dmytro Kondratiuk,Pablo Lamela Seijas,Alexander Nemish,Simon Thompson
March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021)
SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies
Aljosha Judmayer,Nicholas Stifter,Alexei Zamyatin,Itay Tsabary,Ittay Eyal,Peter Gaži,Sarah Meiklejohn,Edgar Weippl
March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021)
March 2021, Financial Cryptography 2021
Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies
Aljosha Judmayer,Nicholas Stifter,Alexei Zamyatin,Itay Tsabary,Peter Gaži,Sarah Meiklejohn,Edgar Weippl
March 2021, Workshop on Trusted Smart Contracts (Financial Cryptography 2021)
March 2021, Financial Cryptography 2021
Hydra: Fast Isomorphic State Channels
Manuel Chakravarty,Sandro Coretti,Matthias Fitzi,Peter Gaži,Philipp Kant,Aggelos Kiayias,Alexander Russell
March 2021, Financial Cryptography 2021
BRICK: Asynchronous Payment Channels
Zeta Avarikioti,Eleftherios Kokoris-Kogias,Roger Wattenhofer,Dionysis Zindros
March 2021, Financial Cryptography 2021
March 2021, Financial Cryptography 2021
December 2020, CANS '20
November 2020, ACM CCS '20
Models of distributed proof generation for ZK-SNARK-based blockchains
Yuri Bespalov,Alberto Garoffolo,Lyudmila Kovalchuk,Hanna Nelasa,Roman Oliynykov
October 2020, Theoretical and Applied Cryptography 2020, Minsk, Belarus
October 2020, ISoLA 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
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, 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)
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
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.
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