Library
250 papers
SoK: Measuring Blockchain Decentralization
Christina Ovezik,Dimitris Karakostas,Mary Milad,Prof Aggelos Kiayias,Daniel W. Woods
June/2025, To appear in: ACNS '25
June/2025, To appear in: CSF '25
April/2025, Financial Cryptography 2025
Reward Schemes and Committee Sizes in Proof of Stake Governance
Georgios Birmpas,Philip Lazos,Evangelos Markakis,Paolo Penna
April/2025, Financial Cryptography 2025
Binomial distribution with delay in analysis and parametrization of Ouroboros Praos proof of stake blockchain protocol
Yuri Bespalov,Lyudmila Kovalchuk,Hanna Nelasa,Prof Roman Oliynykov
March/2025, Probability in the Engineering and Informational Sciences
December/2024, IACR Communications in Cryptology
The Uber-Knowledge Assumption: A Bridge to the AGM
Balthazar Bauer,Pooya Farshim,Patrick Harasser,Markulf Kohlweiss
October/2024, IACR Communications in Cryptology
October/2024, ISC '24
September/2024, CANS '24
September/2024, ESA '24
August/2024, WiFM Workshop
March/2024, Financial Cryptography 2024
December/2023, WINE 2023
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November/2023, Science of Computer Programming
November/2023, Blockchain: Research and Applications
May/2023, Financial Cryptography 2023
January/2023, IEEE Transactions on Information Forensics and Security
Privacy-Preserving Decision-Making Over Blockchain
Jiajie Zhang,Bingsheng Zhang,Andrii Nastenko,Hamed Balogun,Prof Roman Oliynykov
December/2022, IEEE Transactions on Dependable and Secure Computing
November/2022, ACM CCS '22
September/2022, Haskell '22
September/2022, IEEE Transactions on Information Forensics and Security
July/2022, BLOCKCHAIN '22
November/2021, TCC '21
November/2021, ACM CCS '21
October/2021, CBT '21
October/2021, ESORICS 2021
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna
October/2021, Journal of Functional Programming
August/2021, Crypto 2021
August/2021, Crypto 2021
Standardized crypto-loans on the Cardano blockchain
Dmytro Kondratiuk,Pablo Lamela,Alexander Nemish,Prof 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
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,Prof Roman Oliynykov
October/2020, Theoretical and Applied Cryptography 2020, Minsk, Belarus
October/2020, ISoLA 2020
September/2020, ESORICS '20
August/2020, Marble 2020
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Prof 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,Alexander Nemish,David Smith,Prof Simon Thompson
February/2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
February/2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)
May/2019, IEEE Symposium on Security and Privacy
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
Thomas Kerber,Markulf Kohlweiss,Prof 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,Prof Aggelos Kiayias
February/2019, Financial Cryptography 2019
December/2018, Asiacrypt 2018
Comparison of Block Expectation Time for Various Consensus Algorithms
Dmytro Kaidalov,Lyudmila Kovalchuk,Andrii Nastenko,Mariia Rodinko,Oleksiy Shevtsov,Prof Roman Oliynykov
November/2018, Radio Electronics, Computer Science, Control (Ukranian Journal)
March/2018, Financial Cryptography 2018
August/2017, CRYPTO 2017 (ePrint Archive)
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Prof Aggelos Kiayias,Prof Alexander Russell,Bernardo David,Prof 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