Simon Meier

Publication Activity (10 Years)

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

Top Topics

Business Objects

Top Venues

CENTERIS/ProjMAN/HCist

Publications

Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Simon Meier, Petra Schubert
Social Business Object Ontology (SoBOOnt): A formal description of a novel concept for social features. CENTERIS/ProjMAN/HCist (2022)
Simon Meier, Berit Gebel-Sauer, Petra Schubert
Knowledge Graph for the Visualisation of CRM Objects in a Social Network of Business Objects (SoNBO): Development of the SoNBO Visualiser. CENTERIS/ProjMAN/HCist (2020)
Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV (2013)
David A. Basin, Cas Cremers, Simon Meier
Provably repairing the ISO/IEC 9798 standard for entity authentication. J. Comput. Secur. 21 (6) (2013)
Simon Meier, Cas Cremers, David A. Basin
Efficient construction of machine-checked symbolic protocol security proofs. J. Comput. Secur. 21 (1) (2013)
Noha El Gemayel, Simon Meier, Friedrich K. Jondral
On the applicability of the residual weighting algorithm for TDOA. ICUMT (2012)
Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF (2012)
David A. Basin, Cas Cremers, Simon Meier
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication. POST (2012)
Simon Meier, Cas Cremers, David A. Basin
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. CSF (2010)