Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan. Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019. pages 356-370, IEEE, 2019. [doi]
Abstract is missing.