Cited By
View all- Rajaona FBoureanu IRamanujam RWesemeyer S(2024)Epistemic Model Checking for Privacy2024 IEEE 37th Computer Security Foundations Symposium (CSF)10.1109/CSF61375.2024.00020(1-16)Online publication date: 8-Jul-2024
- Hagihara SShimakawa MYonezaki N(2019)Verification of Verifiability of Voting Protocols by Strand Space AnalysisProceedings of the 2019 8th International Conference on Software and Computer Applications10.1145/3316615.3316629(363-368)Online publication date: 19-Feb-2019
- Gardy PDeng Y(2019)Simulations for Multi-Agent Systems with Imperfect InformationFormal Methods and Software Engineering10.1007/978-3-030-32409-4_9(138-153)Online publication date: 28-Oct-2019
- Show More Cited By