Denis Firsov
Denis Firsov
Researcher at Guardtime AS and Tallinn University of Technology
Verified email at uiowa.edu - 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
202014
Efficient mendler-style lambda-encodings in cedille
D Firsov, R Blair, A Stump
International Conference on Interactive Theorem Proving, 235-252, 2018
152018
Generic Derivation of Induction for Impredicative Encodings in Cedille
D Firsov, A Stump
Certified Programs and Proofs (CPP’18), 13, 2018
142018
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
132018
Certified normalization of context-free grammars
D Firsov, T Uustalu
Proceedings of the 2015 Conference on Certified Programs and Proofs, 167-174, 2015
122015
A new approach to constructing digital signature schemes
A Buldas, D Firsov, R Laanoja, H Lakk, A Truu
International Workshop on Security, 363-373, 2019
112019
Certified parsing of regular languages
D Firsov, T Uustalu
International Conference on Certified Programs and Proofs, 98-113, 2013
112013
Dependently typed programming with finite sets
D Firsov, T Uustalu
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 33-44, 2015
102015
Purely functional incremental computing
D Firsov, W Jeltsch
Brazilian Symposium on Programming Languages, 62-77, 2016
62016
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
A New Approach to Constructing Digital Signature Schemes (Extended Paper).
A Buldas, D Firsov, R Laanoja, H Lakk, A Truu
IACR Cryptol. ePrint Arch. 2019, 673, 2019
42019
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.
D Firsov, H Lakk, A Truu
IACR Cryptol. ePrint Arch. 2021, 528, 2021
22021
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 App. 16/932,613, 2021
12021
Reflection, Rewinding, and Coin-Toss in EasyCrypt
D Firsov, D Unruh
Cryptology ePrint Archive, 2021
2021
BLT+ L: Efficient Signatures from Timestamping and Endorsements
D Firsov, H Lakk, S Laur, A Truu
2021
Elaborating course-of-values induction in Cedille
C Jenkins, D Firsov, L Diehl, C McDonald, A Stump
2020
One-Time Data Signature System and Method with Untrusted Server Assistance
D Firsov
US Patent App. 16/784,561, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20