www.prismmodelchecker.org
[GZK22] Aymen Ramadhan Ghilen, Amel Mohamed Zahou and Wiem Abedelmonem Ben Khalifa. Quantum cryptography for the benefit of API keys safety. In Proc. IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT'22). 2022. [Formally verifies a quantum cryptography based approach to key management using PRISN.]
Links: [Google] [Google Scholar]

Publications