ライブラリー
234 本の論文
December 2024, To appear in: TCC '24
Learning Structure-Aware Representations of Dependent Types
Konstantinos Kogkalidis,Orestis Melkonian,Jean-Philippe Bernardy
December 2024, To appear in: NeurIPS '24
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
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