Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. - Simon Meier; Cas Cremers; David A. Basin (CSF, 2010)

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. - Benedikt Schmidt 002; Simon Meier; Cas Cremers; David A. Basin (CSF, 2012)

On the applicability of the residual weighting algorithm for TDOA. - Noha El Gemayel; Simon Meier; Friedrich K. Jondral (ICUMT, 2012)

The TAMARIN Prover for the Symbolic Analysis of Security Protocols. - Simon Meier; Benedikt Schmidt 002; Cas Cremers; David A. Basin (CAV, 2013)

Provably repairing the ISO/IEC 9798 standard for entity authentication. - David A. Basin; Cas Cremers; Simon Meier (J. Comput. Secur., 2013)

Efficient construction of machine-checked symbolic protocol security proofs. - Simon Meier; Cas Cremers; David A. Basin (J. Comput. Secur., 2013)

Advancing automated security protocol verification. - Simon Meier (2013)

Knowledge Graph for the Visualisation of CRM Objects in a Social Network of Business Objects (SoNBO): Development of the SoNBO Visualiser. - Simon Meier; Berit Gebel-Sauer; Petra Schubert (CENTERIS/ProjMAN/HCist, 2020)

Social Business Object Ontology (SoBOOnt): A formal description of a novel concept for social features. - Simon Meier; Petra Schubert (CENTERIS/ProjMAN/HCist, 2022)

A Case Study on the Use of Context Apps and Content Apps for User-Managed Digital Workspaces. - Bernd Gewehr; Petra Schubert; Simon Meier (CENTERIS/ProjMAN/HCist, 2023)

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. - 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 (CoRR, 2023)

Tamarin Prover 1.8.0. - David A. Basin; Cas Cremers; Jannik Dreier; Simon Meier; Sasse Sasse; Benedikt Schmidt 002 (Zenodo, 2023)

The concept of company-specific ontology for information integration: literature review and demonstration in a case study. - Simon Meier; Petra Schubert (ACIS, 2024)

Tamarin Prover. - David A. Basin; Cas Cremers; Jannik Dreier; Simon Meier; Ralf Sasse; Benedikt Schmidt 002 (Zenodo, 2024)