Author:
Cheval Vincent,Kremer Steve,Rakotonirina Itsaka
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decision and Complexity of Dolev-Yao Hyperproperties;Proceedings of the ACM on Programming Languages;2024-01-05
2. FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT;Formal Aspects of Computing;2023-11-20
3. Automated Security Analysis for Real-World IoT Devices;Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy;2023-10-29
4. Symbolic protocol verification with dice1;Journal of Computer Security;2023-10-13
5. Automatic verification of transparency protocols;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07