( en | de | ru )

 

Disambiguation of "Mödersheim, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
Set-Pi: Set Membership p-Calculus.

, , , and . CSF, page 185-198. IEEE Computer Society, (2015)

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.

Sabine Mödersheim

Sebastian Baum

Optimierung der Pharmakotherapie von geriatrischen Patienten im stationären Bereich durch pharmazeutische Betreuung. Uni Münster, (2009)

Sebastian Birk

Intercalibration of national methods to assess the ecological quality of rivers in Europe using benthic invertebrates and aquatic flora. Uni Duisburg-Essen, (2009)

Sebastian Stange

Market liquidity risk. TU München, (2009)

Sebastian Reick

Internal and external dynamics of a strongly-coupled atom-cavity system. Uni Bonn, (2009)
 

Other publications of authors with the same name

Diffie-Hellman without Difficulty.. Formal Aspects in Security and Trust, volume 7140 of Lecture Notes in Computer Science, page 214-229. Springer, (2011)Models and methods for the automated analysis of security protocols.. ETH Zurich, Zürich, Switzerland, (2007)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/4063).Abstraction by set-membership: verifying security protocols and web services with databases.. ACM Conference on Computer and Communications Security, page 351-360. ACM, (2010)Deciding a Fragment of (α , β )-Privacy., and . STM, volume 13075 of Lecture Notes in Computer Science, page 122-142. Springer, (2021)Security Protocols as Choreographies., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 98-111. Springer, (2021)Private Authentication with Alpha-Beta Privacy., and . Open Identity Summit, volume P-335 of LNI, Gesellschaft für Informatik e.V., (2023)HotSpot: Hot Issues in Security Principles and Trust 2020., and . EuroS&P Workshops, page 260. IEEE, (2020)Automated verification of virtualized infrastructures., , and . CCSW, page 47-58. ACM, (2011)Algebraic Properties in Alice and Bob Notation.. ARES, page 433-440. IEEE Computer Society, (2009)Stateful Protocol Composition and Typing., , and . Arch. Formal Proofs, (2020)