Publications

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Displaying results 61 to 61 of 61.

Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …