BREACH in Agda

Security notions, proofs and attacks using dependently typed functional programming

Nicolas Pouillard

IT University of Copenhagen

2013-12-28, 30c3, Hamburg