Login / Signup
Simon Meier
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 3
Top Topics
Business Objects
Top Venues
CENTERIS/ProjMAN/HCist
CoRR
</>
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)