ConfiChair

swMATH13266MaRDI QIDQ25181FDOQ25181

Author name not available (Why is that?)

Official website: https://confichair.org/

Cited In (16)

• Deciding equivalence-based properties using constraint solving
• CoCon: a conference management system with formally verified document confidentiality
• CoSMed: a confidentiality-verified social media platform
• ProVerif
• scyther
• TS#
• Jif
• RiTHM
• CoSMed
• Ur/Web
• Akiss
• JavaSPI
• JRIF
• FlowFox
• CoCon
• Formal analysis and offline monitoring of electronic exams

This page was built for software: ConfiChair