Autor der Publikation

A Simple Process Calculus for the analysis of Security Protocols.

, , und . PDCAT, Seite 110-114. IEEE Computer Society, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A context-based service matching approach towards functional reliability for industrial systems., , , , , und . Enterprise IS, 13 (2): 196-218 (2019)Nested Timed Automata with Frozen Clocks., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 189-205. Springer, (2015)Multi-view Machines., , , und . WSDM, Seite 427-436. ACM, (2016)Analyzing iKP Security in Applied Pi Calculus., , und . CIS, Volume 3314 von Lecture Notes in Computer Science, Seite 879-887. Springer, (2004)Managing Private Credentials by Privacy-Preserving Biometrics., und . ETAA@ESORICS, Volume 11263 von Lecture Notes in Computer Science, Seite 47-55. Springer, (2018)CAT: A Customized Automata Toolkit., , , , und . QRS Companion, Seite 171-177. IEEE, (2016)Internet of Vehicle System Based on Automotive Headlight utilizing Probabilistic Shaping., , , , und . WCSP, Seite 1-4. IEEE, (2019)Studying WiFi and Accelerometer Data Based Authentication Method on Mobile Phones., und . ICBEA, Seite 18-23. ACM, (2018)Enhanced Performance of a Phosphorescent White LED CAP 64QAM VLC system utilizing Deep Neural Network (DNN) Post Equalization., , , und . ICCC, Seite 173-176. IEEE, (2019)Size dependent oxygen buffering capacity of ceria nanocrystals, , , , , , und . Chemical Communications, 46 (11): 1887--1889 (2010)