A Probabilistic Logic for Concrete Security

David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
July 2024
PDF Long version
Type
Conference paper
Publication
IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July, 2024