Sebastian Alexander Mödersheim

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Trust Negotiation

Cut Elimination

Web Services Composition

Top Venues

ACM Trans. Priv. Secur.

Open Identity Summit

Publications

Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition in Isabelle/HOL. ACM Trans. Priv. Secur. 26 (3) (2023)
Sebastian Alexander Mödersheim, Bihang Ni
GTPL: A Graphical Trust Policy Language. Open Identity Summit (2019)
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition. ESORICS (1) (2018)