POR for Security Protocol Equivalences - Beyond Action-Determinism - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Baelde, Stéphanie Delaune, Lucca Hirschi. POR for Security Protocol Equivalences - Beyond Action-Determinism. In Javier López 0001, Jianying Zhou 0001, Miguel Soriano, editors, Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I. Volume 11098 of Lecture Notes in Computer Science, pages 385-405, Springer, 2018. [doi]

This author has not been identified. Look up 'David Baelde' in GoogleThis author has not been identified. Look up 'Stéphanie Delaune' in GoogleThis author has not been identified. Look up 'Lucca Hirschi' in Google

runs on WebDSL