Steve Kremer - Wissenschaftliche Veröffentlichungen

(1 - 4 von 5

)

dblp.uni-trier.de

David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer: Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR.

cv.hal.science

, Steve Kremer , Itsaka Rakotonirina. Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday,

dblp.org

List of computer science publications by Steve Kremer

hal.science

Steve Kremer (1). Afficher plus de détails. 1. CASSIS - Combination of approaches to the security of infinite states systems. Véronique Cortier.

Verwandte Suchanfragen zu Steve Kremer

sortiert nach Relevanz / Datum

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Steve Kremer