{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:24:39Z","timestamp":1740101079323,"version":"3.37.3"},"reference-count":32,"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"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["KK.01.1.1.01.0009"],"award-info":[{"award-number":["KK.01.1.1.01.0009"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919659","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"1-16","source":"Crossref","is-referenced-by-count":1,"title":["Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting"],"prefix":"10.1109","author":[{"given":"Petar","family":"Parad\u017eik","sequence":"first","affiliation":[{"name":"Faculty of Electrical Engineering and Computing,Zagreb,Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ante","family":"Derek","sequence":"additional","affiliation":[{"name":"Faculty of Electrical Engineering and Computing,Zagreb,Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3372197"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2019.00019"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"ref14","first-page":"1857","article-title":"A spectral analysis of noise: A comprehensive, automated, formal analysis of diffie-hellman protocols","author":"girol","year":"2020","journal-title":"29th USENIX Security Symposium (USENIX Security 20)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596779"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.10"},{"key":"ref11","first-page":"202","article-title":"Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol","author":"backes","year":"2008","journal-title":"IEEE Symposium on Security and Privacy Proceedings of SSP'08"},{"key":"ref10","first-page":"430","article-title":"A formal analysis of the neuchatel e-voting protocol","author":"cortier","year":"0","journal-title":"2018 IEEE European Symposium on Security and Privacy (EuroS P)"},{"journal-title":"Tamarin off-line guessing implementation","year":"2022","key":"ref32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813662"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.06.002"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00033"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77092-3_37"},{"key":"ref23","article-title":"RFID mutual authentication scheme based on synchronized secret information","author":"lee","year":"2006","journal-title":"Symposium on Cryptography and Information Security (SCIS)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_22"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6124"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601340"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213269"},{"key":"ref28","article-title":"Analysing protocols subject to guessing attacks","volume":"12","author":"lowe","year":"2003","journal-title":"Journal of Computer Security"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866350"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2926715"},{"key":"ref8","first-page":"696","article-title":"The tamarin prover for the symbolic analysis of security protocols","author":"meier","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.10.005"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0340"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_6"},{"key":"ref3","first-page":"162","article-title":"A formal definition of protocol indistinguishability and its verification using maude-npa","author":"santiago","year":"2014","journal-title":"Security and Trust Management"},{"key":"ref6","first-page":"127","author":"cheval","year":"2020","journal-title":"The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_50"}],"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\/09919659.pdf?arnumber=9919659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:12:20Z","timestamp":1699485140000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919659","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}