Niklas Johansson

Verified trace properties can now be seamlessly translated into secure protocol implementations, bridging the gap between formal verification and practical application.

DNN-based distinguishers can empirically validate the indistinguishability of complex cryptographic constructions, but don't yet reveal exploitable weaknesses in standard PQC hybrids.