Research output per year
Research output per year
Research output
Search results
-
2021
Extracting functional programs from Coq, in Coq
Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B., 6 Aug 2021.Research output: Working paper/Preprint › Preprint
File241 Downloads (Pure) -
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K. & Spitters, B., 2021, Cryptology ePrint Archive, p. 397, 1 p.Research output: Working paper/Preprint › Preprint
-
2020
Formalizing Nakamoto-Style Proof of Stake
Thomsen, S. E. & Spitters, B., 23 Jul 2020.Research output: Working paper/Preprint › Preprint
File71 Downloads (Pure)