Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer

Journal title: 2017 IEEE 30th Computer Security Foundations Symposium (CSF)

Journal publisher: IEEE

Published year: 2017

Published pages: 234-248

DOI identifier: 10.1109/CSF.2017.22

ISBN: 978-1-5386-3217-8