Ante Derek
Orcid: 0000-0002-2437-8134
According to our database1,
Ante Derek
authored at least 26 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
2
1
1
1
1
2
2
1
1
2
1
1
2
2
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard - the POST/Artifact use case.
CoRR, 2024
2023
2022
Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
Proceedings of the Critical Information Infrastructures Security, 2021
2020
Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets.
Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
2019
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019
2017
Proceedings of the 33rd Annual Computer Security Applications Conference, 2017
2010
2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Proceedings of the Computer Security, 2007
2006
IACR Cryptol. ePrint Arch., 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
Proceedings of the Advances in Computer Science, 2006
2005
J. Comput. Secur., 2005
IACR Cryptol. ePrint Arch., 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005
2004
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004
2003
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003