1 citations · 1 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
Johannes Wilson, Mikael Asplund, Niklas Johansson
Formal verification is a challenging but important task for ensuring the security of cryptographic protocols. While modern protocol verification tools significantly reduce verifica…
cs.CR2026
Empirical Ciphertext Distinguishability Testing of KEMs and Hybrid Encryption via Deep Learning
Simon Calderon, Niklas Johansson, Onur Günlü
We model indistinguishability under chosen-plaintext attack (IND-CPA) games as binary classification tasks for deep neural networks (DNNs). We apply this methodology to the public-…