Simon Meier

13 papers A* 1A 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
The concept of company-specific ontology for information integration: literature review and demonstration in a case study.
ACIS
Simon Meier, Petra Schubert
2023 — conf
A Case Study on the Use of Context Apps and Content Apps for User-Managed Digital Workspaces.
CENTERIS/ProjMAN/HCist
Bernd Gewehr, Petra Schubert, Simon Meier
2023 J jnl
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows.
CoRR
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
2022 — conf
Social Business Object Ontology (SoBOOnt): A formal description of a novel concept for social features.
CENTERIS/ProjMAN/HCist
Simon Meier, Petra Schubert
2020 — conf
Knowledge Graph for the Visualisation of CRM Objects in a Social Network of Business Objects (SoNBO): Development of the SoNBO Visualiser.
CENTERIS/ProjMAN/HCist
Simon Meier, Berit Gebel-Sauer, Petra Schubert
2013 — —
Advancing automated security protocol verification.
Simon Meier
2013 J jnl
Efficient construction of machine-checked symbolic protocol security proofs.
J. Comput. Secur.
Simon Meier, Cas Cremers, David A. Basin
2013 J jnl
Provably repairing the ISO/IEC 9798 standard for entity authentication.
J. Comput. Secur.
David A. Basin, Cas Cremers, Simon Meier
2013 A* conf
The TAMARIN Prover for the Symbolic Analysis of Security Protocols.
CAV
Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
2012 A conf
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.
CSF
Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
2012 — conf
On the applicability of the residual weighting algorithm for TDOA.
ICUMT
Noha El Gemayel, Simon Meier, Friedrich K. Jondral
2012 — conf
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication.
POST
David A. Basin, Cas Cremers, Simon Meier
2010 A conf
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.
CSF
Simon Meier, Cas Cremers, David A. Basin