Items where authors include "Mödersheim, S.A."

Monograph

Hess, A.V., Mödersheim, S.A. and Brucker, A.D. orcid.org/0000-0002-6355-1200 (2018) Stateful Protocol Composition (Extended Version). Technical Report. DTU Compute, Technical University Denmark. ISSN 1601-2321

Brucker, A.D. and Mödersheim, S.A. (2009) Integrating Automated and Interactive Protocol Verification (Extended Version). Report. IBM Research Zurich. (Unpublished)