Denis Firsov

According to our database1, Denis Firsov authored at least 13 papers between 2013 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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...