Simon Meier

According to our database1, Simon Meier authored at least 9 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows.
CoRR, 2023

2020
Knowledge Graph for the Visualisation of CRM Objects in a Social Network of Business Objects (SoNBO): Development of the SoNBO Visualiser.
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.
PhD thesis, 2013

Efficient construction of machine-checked symbolic protocol security proofs.
J. Comput. Secur., 2013

Provably repairing the ISO/IEC 9798 standard for entity authentication.
J. Comput. Secur., 2013

The TAMARIN Prover for the Symbolic Analysis of Security Protocols.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
On the applicability of the residual weighting algorithm for TDOA.
Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2010
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010


  Loading...