Kai Wirt

Fault Attack on the DVB Common Scrambling Algorithm

Kai Wirt, 2005, ICCSA.

Analysis of the DVB Common Scrambling Algorithm

Ralf-Philipp Weinmann, Kai Wirt, 2004, Communications and Multimedia Security.

Formal Proof for the Correctness of RSA-PSS

Johannes A. Buchmann, Kai Wirt, Christina Lindenberg, 2006, IACR Cryptol. ePrint Arch..

SHA1, RSA, PSS and more

Kai Wirt, Christina Lindenberg, 2005, Arch. Formal Proofs.