default search action
Denis Firsov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i14]Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits:
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. CoRR abs/2405.12115 (2024) - [i13]Stefanos Chaliasos, Denis Firsov, Benjamin Livshits:
Towards a Formal Foundation for Blockchain Rollups. CoRR abs/2406.16219 (2024) - [i12]Denis Firsov, Benjamin Livshits:
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation. IACR Cryptol. ePrint Arch. 2024: 768 (2024) - 2023
- [c14]Denis Firsov, Dominique Unruh:
Zero-Knowledge in EasyCrypt. CSF 2023: 1-16 - [i11]Denis Firsov, Tiago Oliveira, Dominique Unruh:
Schnorr protocol in Jasmin. IACR Cryptol. ePrint Arch. 2023: 752 (2023) - [i10]José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh:
Leakage-Free Probabilistic Jasmin Programs. IACR Cryptol. ePrint Arch. 2023: 1514 (2023) - 2022
- [c13]Denis Firsov, Dominique Unruh:
Reflection, rewinding, and coin-toss in EasyCrypt. CPP 2022: 166-179 - [c12]Denis Firsov, Sven Laur, Ekaterina Zhuchko:
Unsatisfiability of Comparison-Based Non-malleability for Commitments. ICTAC 2022: 188-194 - [i9]Denis Firsov, Sven Laur, Ekaterina Zhuchko:
Formal Analysis of Non-Malleability for Commitments in EasyCrypt. IACR Cryptol. ePrint Arch. 2022: 32 (2022) - [i8]Denis Firsov, Dominique Unruh:
Zero-Knowledge in EasyCrypt. IACR Cryptol. ePrint Arch. 2022: 926 (2022) - 2021
- [c11]Denis Firsov, Henri Lakk, Ahto Truu:
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. CSF 2021: 1-13 - [c10]Denis Firsov, Henri Lakk, Sven Laur, Ahto Truu:
BLT+L: Efficient Signatures from Timestamping and Endorsements. SECRYPT 2021: 75-86 - [i7]Denis Firsov, Henri Lakk, Ahto Truu:
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping. IACR Cryptol. ePrint Arch. 2021: 528 (2021) - [i6]Denis Firsov, Dominique Unruh:
Reflection, Rewinding, and Coin-Toss in EasyCrypt. IACR Cryptol. ePrint Arch. 2021: 1078 (2021) - 2020
- [c9]Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja:
Verified security of BLT signature scheme. CPP 2020: 244-257 - [i5]Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja:
Verified Security of BLT Signature Scheme. IACR Cryptol. ePrint Arch. 2020: 28 (2020)
2010 – 2019
- 2019
- [c8]Ahto Buldas, Denis Firsov, Risto Laanoja, Henri Lakk, Ahto Truu:
A New Approach to Constructing Digital Signature Schemes - (Short Paper). IWSEC 2019: 363-373 - [i4]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: 673 (2019) - 2018
- [j2]Larry Diehl, Denis Firsov, Aaron Stump:
Generic zero-cost reuse for dependent types. Proc. ACM Program. Lang. 2(ICFP): 104:1-104:30 (2018) - [c7]Denis Firsov, Aaron Stump:
Generic derivation of induction for impredicative encodings in Cedille. CPP 2018: 215-227 - [c6]Denis Firsov, Richard Blair, Aaron Stump:
Efficient Mendler-Style Lambda-Encodings in Cedille. ITP 2018: 235-252 - [i3]Denis Firsov, Richard Blair, Aaron Stump:
Efficient Mendler-Style Lambda-Encodings in Cedille. CoRR abs/1803.02473 (2018) - [i2]Larry Diehl, Denis Firsov, Aaron Stump:
Generic Zero-Cost Reuse for Dependent Types. CoRR abs/1803.08150 (2018) - [i1]Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump:
Course-of-Value Induction in Cedille. CoRR abs/1811.11961 (2018) - 2016
- [c5]Denis Firsov, Wolfgang Jeltsch:
Purely Functional Incremental Computing. SBLP 2016: 62-77 - [c4]Denis Firsov, Tarmo Uustalu, Niccolò Veltri:
Variations on Noetherianness. MSFP 2016: 76-88 - 2015
- [c3]Denis Firsov, Tarmo Uustalu:
Certified Normalization of Context-Free Grammars. CPP 2015: 167-174 - [c2]Denis Firsov, Tarmo Uustalu:
Dependently typed programming with finite sets. WGP@ICFP 2015: 33-44 - 2014
- [j1]Denis Firsov, Tarmo Uustalu:
Certified CYK parsing of context-free languages. J. Log. Algebraic Methods Program. 83(5-6): 459-468 (2014) - 2013
- [c1]Denis Firsov, Tarmo Uustalu:
Certified Parsing of Regular Languages. CPP 2013: 98-113
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint