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 | 29 | 2014 |
Efficient Mendler-style lambda-encodings in Cedille D Firsov, R Blair, A Stump Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 19 | 2018 |
Generic Derivation of Induction for Impredicative Encodings in Cedille D Firsov, A Stump Certified Programs and Proofs (CPP’18), 13, 2018 | 18 | 2018 |
Certified parsing of regular languages D Firsov, T Uustalu International Conference on Certified Programs and Proofs, 98-113, 2013 | 18 | 2013 |
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 | 16 | 2018 |
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 | 14 | 2019 |
Certified normalization of context-free grammars D Firsov, T Uustalu Proceedings of the 2015 Conference on Certified Programs and Proofs, 167-174, 2015 | 14 | 2015 |
Dependently typed programming with finite sets D Firsov, T Uustalu Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 33-44, 2015 | 13 | 2015 |
Zero-knowledge in easycrypt D Firsov, D Unruh 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 1-16, 2023 | 8 | 2023 |
Purely functional incremental computing D Firsov, W Jeltsch Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 8 | 2016 |
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 | 5 | 2020 |
Variations on Noetherianness D Firsov, T Uustalu, N Veltri Mathematically Structured Functional Programming MSFP2016 207, 13, 2016 | 5 | 2016 |
Reflection, rewinding, and coin-toss in easycrypt D Firsov, D Unruh Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022 | 4 | 2022 |
A new approach to constructing digital signature schemes (extended paper) A Buldas, D Firsov, R Laanoja, H Lakk, A Truu Cryptology ePrint Archive, 2019 | 4 | 2019 |
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 | 3 | 2021 |
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 | 2 | 2018 |
Certification of context-free grammar algorithms D Firsov TUT Press, 2016 | 2 | 2016 |
Delegated signatures for smart devices A Truu, D Firsov US Patent 11,316,698, 2022 | 1 | 2022 |
Formal Analysis of Non-Malleability for Commitments in EasyCrypt D Firsov, S Laur, E Zhuchko Cryptology ePrint Archive, 2022 | 1 | 2022 |