Publikationer pr. år
Publikationer pr. år
Publikation
- 3 resultater
Søgeresultater
-
2021
Extracting functional programs from Coq, in Coq
Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B., 6 aug. 2021.Publikation: Working paper/Preprint › Preprint
Fil241 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, s. 397, 1 s.Publikation: Working paper/Preprint › Preprint
-
2020
Formalizing Nakamoto-Style Proof of Stake
Thomsen, S. E. & Spitters, B., 23 jul. 2020.Publikation: Working paper/Preprint › Preprint
Fil71 Downloads (Pure)