Denis Firsov

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 26

Top Topics

Bilinear Pairings

Formal Analysis

Signature Scheme

Designated Verifier

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
Towards a Formal Foundation for Blockchain Rollups. CoRR (2024)
Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. CoRR (2024)
Denis Firsov, Benjamin Livshits
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation. IACR Cryptol. ePrint Arch. 2024 (2024)
Denis Firsov, Dominique Unruh
Zero-Knowledge in EasyCrypt. CSF (2023)
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
Leakage-Free Probabilistic Jasmin Programs. IACR Cryptol. ePrint Arch. 2023 (2023)
Denis Firsov, Tiago Oliveira, Dominique Unruh
Schnorr protocol in Jasmin. IACR Cryptol. ePrint Arch. 2023 (2023)
Denis Firsov, Sven Laur, Ekaterina Zhuchko
Formal Analysis of Non-Malleability for Commitments in EasyCrypt. IACR Cryptol. ePrint Arch. 2022 (2022)
Denis Firsov, Sven Laur, Ekaterina Zhuchko
Unsatisfiability of Comparison-Based Non-malleability for Commitments. ICTAC (2022)
Denis Firsov, Dominique Unruh
Zero-Knowledge in EasyCrypt. IACR Cryptol. ePrint Arch. 2022 (2022)
Denis Firsov, Dominique Unruh
Reflection, rewinding, and coin-toss in EasyCrypt. CPP (2022)
Denis Firsov, Henri Lakk, Ahto Truu
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. CSF (2021)
Denis Firsov, Henri Lakk, Ahto Truu
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. IACR Cryptol. ePrint Arch. 2021 (2021)
Denis Firsov, Henri Lakk, Sven Laur, Ahto Truu
BLT+L: Efficient Signatures from Timestamping and Endorsements. SECRYPT (2021)
Denis Firsov, Dominique Unruh
Reflection, Rewinding, and Coin-Toss in EasyCrypt. IACR Cryptol. ePrint Arch. 2021 (2021)
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja
Verified Security of BLT Signature Scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja
Verified security of BLT signature scheme. CPP (2020)
Ahto Buldas, Denis Firsov, Risto Laanoja, Henri Lakk, Ahto Truu
A New Approach to Constructing Digital Signature Schemes - (Short Paper). IWSEC (2019)
Ahto Buldas, Denis Firsov, Risto Laanoja, Henri Lakk, Ahto Truu
A New Approach to Constructing Digital Signature Schemes (Extended Paper). IACR Cryptol. ePrint Arch. 2019 (2019)
Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump
Course-of-Value Induction in Cedille. CoRR (2018)
Larry Diehl, Denis Firsov, Aaron Stump
Generic Zero-Cost Reuse for Dependent Types. CoRR (2018)
Denis Firsov, Richard Blair, Aaron Stump
Efficient Mendler-Style Lambda-Encodings in Cedille. CoRR (2018)
Larry Diehl, Denis Firsov, Aaron Stump
Generic zero-cost reuse for dependent types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Denis Firsov, Richard Blair, Aaron Stump
Efficient Mendler-Style Lambda-Encodings in Cedille. ITP (2018)
Denis Firsov, Aaron Stump
Generic derivation of induction for impredicative encodings in Cedille. CPP (2018)
Denis Firsov, Wolfgang Jeltsch
Purely Functional Incremental Computing. SBLP (2016)
Denis Firsov, Tarmo Uustalu, Niccolò Veltri
Variations on Noetherianness. MSFP (2016)
Denis Firsov, Tarmo Uustalu
Certified Normalization of Context-Free Grammars. CPP (2015)
Denis Firsov, Tarmo Uustalu
Dependently typed programming with finite sets. WGP@ICFP (2015)
Denis Firsov, Tarmo Uustalu
Certified CYK parsing of context-free languages. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Denis Firsov, Tarmo Uustalu
Certified Parsing of Regular Languages. CPP (2013)