( en | de | ru )

 

Disambiguation of "Mödersheim, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs.

, , , and . NordSec, volume 8208 of Lecture Notes in Computer Science, page 1-16. Springer, (2013)

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).AIF-ω: Set-Based Protocol Abstraction with Countable Families., and . POST, volume 9635 of Lecture Notes in Computer Science, page 233-253. Springer, (2016)Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs., , , and . NordSec, volume 8208 of Lecture Notes in Computer Science, page 1-16. Springer, (2013)Integrating Automated and Interactive Protocol Verification., and . Formal Aspects in Security and Trust, volume 5983 of Lecture Notes in Computer Science, page 248-262. Springer, (2009)Performing Security Proofs of Stateful Protocols., , , and . CSF, page 1-16. IEEE, (2021)B2M: A Semantic Based Tool for BLIF Hardware Descriptions., , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 91-107. Springer, (2000)Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols, , and . CCS'03, ACM Press, New York, (2003)Proactive Security Analysis of Changes in Virtualized Infrastructures., , , and . ACSAC, page 51-60. ACM, (2015)Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy., and . ESORICS (1), volume 11735 of Lecture Notes in Computer Science, page 535-555. Springer, (2019)