{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T04:05:46Z","timestamp":1779163546782,"version":"3.51.4"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,10]],"date-time":"2024-11-10T00:00:00Z","timestamp":1731196800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,10]],"date-time":"2024-11-10T00:00:00Z","timestamp":1731196800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,10]]},"DOI":"10.23919\/isita60732.2024.10858210","type":"proceedings-article","created":{"date-parts":[[2025,2,3]],"date-time":"2025-02-03T18:24:59Z","timestamp":1738607099000},"page":"419-424","source":"Crossref","is-referenced-by-count":2,"title":["Formal Security Verification for Searchable Symmetric Encryption Using ProVerif"],"prefix":"10.23919","author":[{"given":"Takehiko","family":"Mieno","sequence":"first","affiliation":[{"name":"Graduate School of Medicine, Science and Technology, Shinshu University, EPSON AVASYS CORPORATION"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Okazaki","sequence":"additional","affiliation":[{"name":"Graduate School of Science and Technology, Shinshu University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenichi","family":"Arai","sequence":"additional","affiliation":[{"name":"Graduate School of Engineering, Nagasaki University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuichi","family":"Futa","sequence":"additional","affiliation":[{"name":"School of Computer Science, Tokyo University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroaki","family":"Yamamoto","sequence":"additional","affiliation":[{"name":"Shinshu University,Faculty of Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2011-0426"},{"key":"ref2","volume-title":"Secure indexes, Cryptology ePrint Archive","author":"Goh","year":"2003"},{"key":"ref3","article-title":"Searchable Symmetric Encryption Security Definitions","volume":"13","author":"Mohamad","year":"2019","journal-title":"Malaysian Journal of Mathematical Sciences (MJMS)"},{"key":"ref4","volume-title":"ProVerif","author":"Blanchet","year":"2024"},{"key":"ref5","volume-title":"ProVerif 2.05: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial","author":"Blanchet","year":"2024"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3368453"},{"key":"ref12","volume-title":"Cryptographic Protocol Verification Portal"},{"key":"ref13","volume-title":"ProVerif models and logs to reproduce the results in this paper","author":"Mieno","year":"2024"},{"key":"ref14","article-title":"Fast Multiparty Threshold ECDSA with Fast Trustless Setup","volume-title":"Cryptology ePrint Archive","author":"Gennaro","year":"2024"}],"event":{"name":"2024 International Symposium on Information Theory and Its Applications (ISITA)","location":"Taipei, Taiwan","start":{"date-parts":[[2024,11,10]]},"end":{"date-parts":[[2024,11,13]]}},"container-title":["2024 International Symposium on Information Theory and Its Applications (ISITA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10858199\/10858201\/10858210.pdf?arnumber=10858210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T18:30:15Z","timestamp":1738693815000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10858210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/isita60732.2024.10858210","relation":{},"subject":[],"published":{"date-parts":[[2024,11,10]]}}}