ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Security Protocols
POST
Sal C
On Communication Models When Verifying Equivalence Properties
Kushal Babel, Vincent Cheval, and Steve Kremer
(IIT Bombay, India; Inria, France; LORIA, France; CNRS, France; University of Lorraine, France)
Best-Paper Award Nominee
Publisher's Version
Preprint
Supplementary Material

Authors:


Time stamp: 2019-07-23T15:59:01+02:00