{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T07:10:04Z","timestamp":1750749004748,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919655","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"17-32","source":"Crossref","is-referenced-by-count":2,"title":["Is Eve nearby? Analysing protocols under the distant-attacker assumption"],"prefix":"10.1109","author":[{"given":"Reynaldo","family":"Gil-Pons","sequence":"first","affiliation":[{"name":"University of Luxembourg,Department of Computer Science,Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Horne","sequence":"additional","affiliation":[{"name":"University of Luxembourg,Department of Computer Science,Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[{"name":"University of Luxembourg,Department of Computer Science,Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alwen","family":"Tiu","sequence":"additional","affiliation":[{"name":"School of Computing, The Australian National University,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolando","family":"Trujillo-Rasua","sequence":"additional","affiliation":[{"name":"Centre for Cyber Security Research and Innovation, School of Information Technology, Deakin University,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417235"},{"key":"ref12","article-title":"Proving physical proximity using symbolic models","author":"debant","year":"2018","journal-title":"Univ Rennes CNRS IRISA France Tech Rep"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3264628"},{"key":"ref30","first-page":"344","article-title":"Distance-bounding protocols","author":"brands","year":"1993","journal-title":"Euro-crypt '93"},{"key":"ref11","article-title":"A symbolic framework to analyse physical proximity in security protocols","author":"debant","year":"0","journal-title":"38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"key":"ref10","article-title":"Modelling and analysis of a hierarchy of distance bounding attacks","author":"chothia","year":"0","journal-title":"27th USENIX Security Symposium ($ $USENIX$ $ Security 18)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MOBIQ.2007.4451066"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653712"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-46276-9_12"},{"key":"ref16","article-title":"The TAMARIN prover for the symbolic analysis of security protocols","author":"meier","year":"2013","journal-title":"CAV '13"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19052-1_13"},{"key":"ref18","article-title":"Symbolic verification of distance bounding protocols","author":"debant","year":"0","journal-title":"Principles of Security and Trust - 8th International Conference"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78636-8","author":"cremers","year":"2012","journal-title":"Operational Semantics and Verification of Security Protocols"},{"key":"ref26","article-title":"SECTOR: secure tracking of node encounters in multi-hop wireless networks","author":"?apkun","year":"2003","journal-title":"Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks"},{"key":"ref25","first-page":"1","article-title":"Theoretical limits of iso\/iec 14443 type a rfid eavesdropping attacks","author":"pfeiffer","year":"0","journal-title":"Smart Systech 2012 European Conference on Smart Objects Systems and Technologies"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1029133.1029137"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46586-9_5"},{"key":"ref21","article-title":"Modelling and checking timed authentication of security protocols","volume":"79","author":"jakubowska","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-017-1081-6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_1"},{"key":"ref7","article-title":"Secure memory erasure in the presence of man-in-the-middle attackers","volume":"57","author":"trujillo-rasua","year":"2019","journal-title":"Journal of Information Security and Applications"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74853-3_15"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057145"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176337"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15497-3_39"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","start":{"date-parts":[[2022,8,7]]},"location":"Haifa, Israel","end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919655.pdf?arnumber=9919655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:25:32Z","timestamp":1699485932000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919655\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919655","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}