Simon Meier

According to our database, Simon Meier authored at least 12 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The concept of company-specific ontology for information integration: literature review and demonstration in a case study.

Simon Meier, Petra Schubert

Proceedings of the Australasian Conference on Information Systems, 2024

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

A Case Study on the Use of Context Apps and Content Apps for User-Managed Digital Workspaces.

Bernd Gewehr, Petra Schubert, Simon Meier

Proceedings of the CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2023

2022

Social Business Object Ontology (SoBOOnt): A formal description of a novel concept for social features.

Simon Meier, Petra Schubert

Proceedings of the CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2022

2020

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

Proceedings of the CENTERIS 2020 - International Conference on ENTERprise Information Systems / ProjMAN 2020 - International Conference on Project MANagement / HCist 2020, 2020

2013

Advancing automated security protocol verification.

Simon Meier

PhD thesis, 2013

Efficient construction of machine-checked symbolic protocol security proofs.

Simon Meier, Cas Cremers, David A. Basin

J. Comput. Secur., 2013

Provably repairing the ISO/IEC 9798 standard for entity authentication.

David A. Basin, Cas Cremers, Simon Meier

J. Comput. Secur., 2013

The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

On the applicability of the residual weighting algorithm for TDOA.

Noha El Gemayel, Simon Meier, Friedrich K. Jondral

Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.

Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2010

Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.

Simon Meier, Cas Cremers, David A. Basin

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010