Distance-bounding protocols: verification without time and location Mauw, Sjouke, Smith, Zach, Toro-Pozo, Jorge and Trujillo Rasua, Rolando 2018, Distance-bounding protocols: verification without time and location, in SP 2018 : Proceedings of the 2018 IEEE 39th Symoposium on Security and Privacy, Institute of Electrical and Electronics Engineers, Piscataway, N.J., pp. 549-566, doi: 10.1109/SP.2018.00001. Attached Files Name Description MIMEType Size Downloads Title Distance-bounding protocols: verification without time and location Author(s) Mauw, Sjouke Smith, Zach Toro-Pozo, Jorge Trujillo Rasua, Rolando orcid.org/0000-0002-8714-4626 Conference name IEEE Computer Society. Symposium (39th : 2018 : San Francisco, Calif.) Conference location San Francisco, Calif. Conference dates 2018/05/20 - 2018/05/24 Title of proceedings SP 2018 : Proceedings of the 2018 IEEE 39th Symoposium on Security and Privacy Editor(s) [Unknown] Publication date 2018 Series IEEE Computer Society Symposium Start page 549 End page 566 Total pages 18 Publisher Institute of Electrical and Electronics Engineers Place of publication Piscataway, N.J. Keyword(s) distance-bounding security protocols causality formal verification automatic verification ISBN 9781538643525 ISSN 1081-6011 Language eng DOI 10.1109/SP.2018.00001 HERDC Research category E1.1 Full written paper - refereed Copyright notice ©2018, Sjouke Mauw Free to Read? Yes Persistent URL http://hdl.handle.net/10536/DRO/DU:30120183 Document type: Conference Paper Collections: Faculty of Science, Engineering and Built Environment School of Information Technology Open Access Collection Related Links Link Description Link to full-text (open access)   Connect to published version Go to link with your DU access privileges   Connect to Elements publication management system Go to link with your DU access privileges     Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved. Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au. Versions Version Filter Type Mon, 25 Mar 2019, 14:23:33 EST Mon, 25 Mar 2019, 14:28:53 EST Mon, 25 Mar 2019, 14:29:54 EST Tue, 26 Mar 2019, 04:00:18 EST Tue, 26 Mar 2019, 05:03:29 EST Wed, 27 Mar 2019, 15:13:20 EST Wed, 27 Mar 2019, 15:15:25 EST Wed, 27 Mar 2019, 15:16:20 EST Sat, 07 Sep 2019, 02:30:24 EST Sat, 18 Sep 2021, 02:35:39 EST Wed, 20 Oct 2021, 01:36:45 EST Sun, 09 Jan 2022, 23:36:18 EST Wed, 30 Mar 2022, 23:36:52 EST Wed, 27 Apr 2022, 14:35:31 EST Filtered Full Citation counts:   Cited 10 times in TR Web of Science Cited 19 times in Scopus Search Google Scholar Access Statistics: 381 Abstract Views, 6 File Downloads  -  Detailed Statistics Created: Mon, 25 Mar 2019, 14:29:54 EST