3 papers
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
Evaluating PQC KEMs, Combiners, and Cascade Encryption via Adaptive IND-CPA Testing Using Deep Learning
Simon Calderon, Niklas Johansson, Onur Günlü
Ensuring ciphertext indistinguishability is fundamental to cryptographic security, but empirically validating this property in real implementations and hybrid settings presents pra…
quant-ph2025
Phase Coordinate Uncomputation in Quantum Recursive Fourier Sampling
Christoffer Hindlycke, Niklas Johansson, Jan-Ã ke Larsson
Recursive Fourier Sampling (RFS) was one of the earliest problems to demonstrate a quantum advantage, and is known to lie outside the Merlin--Arthur complexity class. This work con…