Search Results - "Jeanteur, Simon" :: K.UTB vyhledávací portál

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model

by Jeanteur, Simon, Kovacs, Laura, Maffei, Matteo, Rawson, Michael
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)

Get full text

Conference Proceeding

by Jeanteur, Simon, Kovács, Laura, Maffei, Matteo, Rawson, Michael
Year of Publication 20.05.2023

Get full text

Journal Article

by Jeanteur, Simon, Kovács, Laura, Maffei, Matteo, Rawson, Michael
Published in arXiv.org (05.04.2024)

Get full text

Paper