Analysis of the DVB Common Scrambling Algorithm. - Ralf-Philipp Weinmann; Kai Wirt (Communications and Multimedia Security, 2004)

Fault attack on the DVB Common Scrambling Algorithm. - Kai Wirt (IACR Cryptol. ePrint Arch., 2004)

SHA1, RSA, PSS and more. - Christina Lindenberg; Kai Wirt (Arch. Formal Proofs, 2005)

Formal Proof for the Correctness of RSA-PSS. - Christina Lindenberg; Kai Wirt; Johannes Buchmann 001 (IACR Cryptol. ePrint Arch., 2006)