www.prismmodelchecker.org
[WR21] Ke Coby Wang and Michael K. Reiter. Using Amnesia to Detect Credential Database Breaches. In Proc. 30th USENIX Security Symposium (USENIX Security 2021). 2021. [Presents a framework for detecting breaches in credential databases, using PRISM to quantify security.]
Links: [Google] [Google Scholar]

Publications