Follow
Denis Firsov
Denis Firsov
Researcher at Matter Labs and Tallinn University of Technology
Verified email at cs.ioc.ee - Homepage
Title
Cited by
Cited by
Year
Certified CYK parsing of context-free languages
D Firsov, T Uustalu
Journal of Logical and Algebraic Methods in Programming 83 (5-6), 459-468, 2014
292014
Efficient Mendler-style lambda-encodings in Cedille
D Firsov, R Blair, A Stump
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
192018
Generic Derivation of Induction for Impredicative Encodings in Cedille
D Firsov, A Stump
Certified Programs and Proofs (CPP’18), 13, 2018
182018
Certified parsing of regular languages
D Firsov, T Uustalu
International Conference on Certified Programs and Proofs, 98-113, 2013
182013
Generic zero-cost reuse for dependent types
L Diehl, D Firsov, A Stump
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
162018
A New Approach to Constructing Digital Signature Schemes: (Short Paper)
A Buldas, D Firsov, R Laanoja, H Lakk, A Truu
Advances in Information and Computer Security: 14th International Workshop …, 2019
142019
Certified normalization of context-free grammars
D Firsov, T Uustalu
Proceedings of the 2015 Conference on Certified Programs and Proofs, 167-174, 2015
142015
Dependently typed programming with finite sets
D Firsov, T Uustalu
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 33-44, 2015
132015
Purely functional incremental computing
D Firsov, W Jeltsch
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016
82016
Zero-knowledge in easycrypt
D Firsov, D Unruh
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 1-16, 2023
72023
Verified security of BLT signature scheme
D Firsov, A Buldas, A Truu, R Laanoja
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
52020
Variations on Noetherianness
D Firsov, T Uustalu, N Veltri
Mathematically Structured Functional Programming MSFP2016 207, 13, 2016
52016
Reflection, rewinding, and coin-toss in easycrypt
D Firsov, D Unruh
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
42022
A new approach to constructing digital signature schemes (extended paper)
A Buldas, D Firsov, R Laanoja, H Lakk, A Truu
Cryptology ePrint Archive, 2019
42019
Verified multiple-time signature scheme from one-time signatures and timestamping
D Firsov, H Lakk, A Truu
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-13, 2021
32021
Schnorr protocol in Jasmin
JB Almeida, D Firsov, T Oliveira, D Unruh
Cryptology ePrint Archive, 2023
2*2023
Course-of-Value Induction in Cedille
D Firsov, L Diehl, C Jenkins, A Stump
arXiv preprint arXiv:1811.11961, 2018
22018
Certification of context-free grammar algorithms
D Firsov
TUT Press, 2016
22016
Delegated signatures for smart devices
A Truu, D Firsov
US Patent 11,316,698, 2022
12022
Formal Analysis of Non-Malleability for Commitments in EasyCrypt
D Firsov, S Laur, E Zhuchko
Cryptology ePrint Archive, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20