Vincent Cheval
Orcid: 0000-0002-3622-2129
According to our database1,
Vincent Cheval
authored at least 38 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.
TheoretiCS, 2024
Automatic verification of Finite Variant Property beyond convergent equational theories.
CoRR, 2024
2023
Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
2022
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
IACR Cryptol. ePrint Arch., 2022
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
Symbolic protocol verification with dice: process equivalences in the presence of probabilities.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2020
J. Comput. Secur., 2020
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols.
Proceedings of the Logic, 2020
2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2018
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Inf. Comput., 2017
Proceedings of the Principles of Security and Trust - 6th International Conference, 2017
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
2016
ACM Trans. Comput. Log., 2016
2015
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
2014
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2013
Theor. Comput. Sci., 2013
Proceedings of the Principles of Security and Trust - Second International Conference, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Automatic verification of cryptographic protocols : privacy-type properties. (Vérification automatique des protocoles cryptographiques : propriétés d'équivalence).
PhD thesis, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010