Väljaanne: 2023 IEEE 36th Computer Security Foundations Symposium (CSF): Dubrovnik, Croatia, July 9-13, 2023. IEEE, 1?16. DOI: 10.1109/CSF57540.2023.00015.? ?https://www.etis.ee/Portal/Publications/Display/89be8959-e64a-4dd0-a3e2-0c7dcc8f0465?? ???Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hri?cu, C?t?lin; Maillard, Kenji; Spitters, Bas (2023). SSProve: a foundational framework for modular cryptographic proofs in Coq. ACM Transactions on Programming Languages and Systems, 45 (3), art. no. 15 ?61 pp. DOI: 10.1145/3594735.? ?https://www.etis.ee/Portal/Publication
Aasta: 2023