Simon Meier
According to our database1,
Simon Meier
authored at least 9 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
J. Comput. Secur., 2013
J. Comput. Secur., 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the 4th International Congress on Ultra Modern Telecommunications and Control Systems, 2012
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