Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols (bibtex)
by Nadim Kobeissi, Georgio Nicolas and Karthikeyan Bhargavan
Reference:
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols (Nadim Kobeissi, Georgio Nicolas and Karthikeyan Bhargavan), In IEEE European Symposium on Security and Privacy (EuroS&P 2019), IEEE Computer Society, 2019.
Bibtex Entry:
@InProceedings{KobeissiNicolasBhargavanEuroSP19,
  author = 	 {Nadim Kobeissi and Georgio Nicolas and Karthikeyan Bhargavan},
  title = 	 {{Noise} {Explorer}: {Fully} Automated Modeling and Verification for Arbitrary {Noise} Protocols},
  booktitle = {IEEE European Symposium on Security and Privacy (EuroS\&P 2019)},
  year = 	 2019,
  month = 	 jun,
  address = 	 {Stockholm, Sweden},
  publisher = {IEEE Computer Society},
  url = "https://eprint.iacr.org/2018/766",
  note = 	 {To appear.
                  The tool is available at \url{https://noiseexplorer.com/}}
}
Powered by bibtexbrowser