Author of the publication

Planning Diagonalization Proofs.

, and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 167-180. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE., , , , and . Sicherheit, volume P-195 of LNI, page 83-94. GI, (2012)Planning Diagonalization Proofs.. KI, volume 1303 of Lecture Notes in Computer Science, page 377-380. Springer, (1997)Planning Diagonalization Proofs., and . AIMSA, volume 1480 of Lecture Notes in Computer Science, page 167-180. Springer, (1998)L<Omega>UI: Lovely <Omega>MEGA User Interface., , , , , , , , , and 2 other author(s). Formal Aspects Comput., 11 (3): 326-342 (1999)Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties.. Saarland University, Saarbrücken, Germany, (2022)