Kai Wirt

According to our database¹, Kai Wirt authored at least 4 papers between 2004 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

Formal Proof for the Correctness of RSA-PSS.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

2005

SHA1, RSA, PSS and more.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2005

Fault Attack on the DVB Common Scrambling Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2005

2004

Analysis of the DVB Common Scrambling Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Communications and Multimedia Security, 2004