%0 Journal Article %1 journals/toplas/HaselwarterRMWASHMS23 %A Haselwarter, Philipp G. %A Rivas, Exequiel %A Muylder, Antoine Van %A Winterhalter, Théo %A Abate, Carmine %A Sidorenco, Nikolaj %A Hritcu, Catalin %A Maillard, Kenji %A Spitters, Bas %D 2023 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 15:1-15:61 %T SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. %U http://dblp.uni-trier.de/db/journals/toplas/toplas45.html#HaselwarterRMWASHMS23 %V 45

@article{journals/toplas/HaselwarterRMWASHMS23, added-at = {2023-11-09T00:00:00.000+0100}, author = {Haselwarter, Philipp G. and Rivas, Exequiel and Muylder, Antoine Van and Winterhalter, Théo and Abate, Carmine and Sidorenco, Nikolaj and Hritcu, Catalin and Maillard, Kenji and Spitters, Bas}, biburl = {https://www.bibsonomy.org/bibtex/248191d1a92a725a0c48428d56c0ef4c1/dblp}, ee = {https://doi.org/10.1145/3594735}, interhash = {6c3addbdecea9af01447d0ea54319b5a}, intrahash = {48191d1a92a725a0c48428d56c0ef4c1}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, month = {September}, number = 3, pages = {15:1-15:61}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas45.html#HaselwarterRMWASHMS23}, volume = 45, year = 2023 }