Denis Firsov

According to our database, Denis Firsov authored at least 24 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation.

Denis Firsov, Benjamin Livshits

IACR Cryptol. ePrint Arch., 2024

Towards a Formal Foundation for Blockchain Rollups.

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits

CoRR, 2024

Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.

Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits

CoRR, 2024

2023

Schnorr protocol in Jasmin.

Denis Firsov, Tiago Oliveira, Dominique Unruh

IACR Cryptol. ePrint Arch., 2023

Leakage-Free Probabilistic Jasmin Programs.

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

IACR Cryptol. ePrint Arch., 2023

2022

Zero-Knowledge in EasyCrypt.

Denis Firsov, Dominique Unruh

IACR Cryptol. ePrint Arch., 2022

Formal Analysis of Non-Malleability for Commitments in EasyCrypt.

Denis Firsov, Sven Laur, Ekaterina Zhuchko

IACR Cryptol. ePrint Arch., 2022

Unsatisfiability of Comparison-Based Non-malleability for Commitments.

Denis Firsov, Sven Laur, Ekaterina Zhuchko

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Reflection, Rewinding, and Coin-Toss in EasyCrypt.

Denis Firsov, Dominique Unruh

IACR Cryptol. ePrint Arch., 2021

Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.

Denis Firsov, Henri Lakk, Ahto Truu

IACR Cryptol. ePrint Arch., 2021

BLT+L: Efficient Signatures from Timestamping and Endorsements.

Denis Firsov, Henri Lakk, Sven Laur, Ahto Truu

Proceedings of the 18th International Conference on Security and Cryptography, 2021

2020

Verified Security of BLT Signature Scheme.

Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja

IACR Cryptol. ePrint Arch., 2020

2019

A New Approach to Constructing Digital Signature Schemes (Extended Paper).

Ahto Buldas, Denis Firsov, Risto Laanoja, Henri Lakk, Ahto Truu

IACR Cryptol. ePrint Arch., 2019

A New Approach to Constructing Digital Signature Schemes - (Short Paper).

Ahto Buldas, Denis Firsov, Risto Laanoja, Henri Lakk, Ahto Truu

Proceedings of the Advances in Information and Computer Security, 2019

2018

Generic zero-cost reuse for dependent types.

Larry Diehl, Denis Firsov, Aaron Stump

Proc. ACM Program. Lang., 2018

Course-of-Value Induction in Cedille.

Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump

CoRR, 2018

Efficient Mendler-Style Lambda-Encodings in Cedille.

Denis Firsov, Richard Blair, Aaron Stump

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Generic derivation of induction for impredicative encodings in Cedille.

Denis Firsov, Aaron Stump

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Variations on Noetherianness.

Denis Firsov, Tarmo Uustalu, Niccolò Veltri

Proceedings of the Proceedings 6th Workshop on Mathematically Structured Functional Programming, 2016

Purely Functional Incremental Computing.

Denis Firsov, Wolfgang Jeltsch

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

Dependently typed programming with finite sets.

Denis Firsov, Tarmo Uustalu

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

Certified Normalization of Context-Free Grammars.

Denis Firsov, Tarmo Uustalu

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

Certified CYK parsing of context-free languages.

Denis Firsov, Tarmo Uustalu

J. Log. Algebraic Methods Program., 2014

2013

Certified Parsing of Regular Languages.

Denis Firsov, Tarmo Uustalu

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013