Cited in
(16)- Deciding equivalence-based properties using constraint solving
- CoCon: a conference management system with formally verified document confidentiality
- ProVerif
- scyther
- TS#
- Jif
- RiTHM
- CoSMed
- Ur/Web
- Akiss
- JavaSPI
- JRIF
- FlowFox
- CoCon
- CoSMed: a confidentiality-verified social media platform
- Formal analysis and offline monitoring of electronic exams
This page was built for software: ConfiChair
