Denis Firsov

Orcid: 0000-0003-1267-7898

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation.
IACR Cryptol. ePrint Arch., 2024

Towards a Formal Foundation for Blockchain Rollups.
CoRR, 2024

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

2023
Schnorr protocol in Jasmin.
IACR Cryptol. ePrint Arch., 2023

Leakage-Free Probabilistic Jasmin Programs.
IACR Cryptol. ePrint Arch., 2023

2022
Zero-Knowledge in EasyCrypt.
IACR Cryptol. ePrint Arch., 2022

Formal Analysis of Non-Malleability for Commitments in EasyCrypt.
IACR Cryptol. ePrint Arch., 2022

Unsatisfiability of Comparison-Based Non-malleability for Commitments.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021
Reflection, Rewinding, and Coin-Toss in EasyCrypt.
IACR Cryptol. ePrint Arch., 2021

Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.
IACR Cryptol. ePrint Arch., 2021

BLT+L: Efficient Signatures from Timestamping and Endorsements.
Proceedings of the 18th International Conference on Security and Cryptography, 2021

2020
Verified Security of BLT Signature Scheme.
IACR Cryptol. ePrint Arch., 2020

2019
A New Approach to Constructing Digital Signature Schemes (Extended Paper).
IACR Cryptol. ePrint Arch., 2019

A New Approach to Constructing Digital Signature Schemes - (Short Paper).
Proceedings of the Advances in Information and Computer Security, 2019

2018
Generic zero-cost reuse for dependent types.
Proc. ACM Program. Lang., 2018

Course-of-Value Induction in Cedille.
CoRR, 2018

Efficient Mendler-Style Lambda-Encodings in Cedille.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Generic derivation of induction for impredicative encodings in Cedille.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

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

Purely Functional Incremental Computing.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015
Dependently typed programming with finite sets.
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

Certified Normalization of Context-Free Grammars.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014
Certified CYK parsing of context-free languages.
J. Log. Algebraic Methods Program., 2014

2013
Certified Parsing of Regular Languages.
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013


  Loading...