{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T17:02:59Z","timestamp":1787936579968,"version":"build-2784847793"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"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":[[2026,7]]},"DOI":"10.1109\/csf68417.2026.00033","type":"proceedings-article","created":{"date-parts":[[2026,8,27]],"date-time":"2026-08-27T19:13:03Z","timestamp":1787857983000},"page":"497-512","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of Probing Security via Conditional Independence"],"prefix":"10.1109","author":[{"given":"Satoshi","family":"Kura","sequence":"first","affiliation":[{"name":"Waseda University","place":["Tokyo, Japan"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katsuyuki","family":"Takashima","sequence":"additional","affiliation":[{"name":"Waseda University","place":["Tokyo, Japan"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_27"},{"key":"ref2","volume-title":"Raccoon","author":"Del Pino","year":"2023"},{"issue":"4","key":"ref3","doi-asserted-by":"crossref","first-page":"110","DOI":"10.46586\/tches.v2023.i4.110-145","article-title":"Improved Gadgets for the High-Order Masking of Dilithium","volume":"2023","author":"Coron","year":"2023","journal-title":"IACR Transactions on Cryptographic Hardware and Embedded Systems"},{"issue":"4","key":"ref4","doi-asserted-by":"crossref","first-page":"335","DOI":"10.46586\/tches.v2024.i4.335-354","article-title":"Improved High-Order Masked Generation of Masking Vector and Rejection Sampling in Dilithium","volume":"2024","author":"Coron","year":"2024","journal-title":"IACR Transactions on Cryptographic Hardware and Embedded Systems"},{"key":"ref5","first-page":"xx","article-title":"Finding and Protecting the Weakest Link - On Side-Channel Attacks on y in Masked ML-DSA","author":"Hermelink","year":"2025","journal-title":"Advances in Cryptology \u2013 CRYPTO 2025"},{"key":"ref6","volume-title":"Module-lattice-based digital signature standard","year":"2024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-31368-4_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43933-3_21"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978427"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46800-5_18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29959-0_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3428015"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3635707"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2685616"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93387-0_4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78375-8_11"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64837-4_26"},{"issue":"6","key":"ref20","doi-asserted-by":"crossref","first-page":"3359","DOI":"10.1109\/TSE.2023.3252671","article-title":"LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions","volume":"49","author":"Meunier","year":"2023","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3371123"},{"key":"ref22","first-page":"55","article-title":"Separation logic: A logic for shared mutable data structures","volume-title":"Proceedings 17th Annual IEEE Symposium on Logic in Computer Science","author":"Reynolds"},{"key":"ref23","first-page":"1","article-title":"A Bunched Logic for Conditional Independence","volume-title":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Bao"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3776696"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3704894"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3776651"},{"key":"ref27","first-page":"80","article-title":"On Separation Logic, Computational Independence, and Pseudorandomness","volume-title":"2024 IEEE 37th Computer Security Foundations Symposium (CSF)","author":"Dal Lago"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3498719"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3591226"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3661814.3662135"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"2542","DOI":"10.1109\/TIFS.2020.2971153","article-title":"Trivially and Efficiently Composing Masked Gadgets With Probe Isolating Non-Interference","volume":"15","author":"Cassiers","year":"2020","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68376-3_13"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.1109\/CSF68417.2026.00033","volume-title":"Formal verification of probing security via conditional independence","author":"Kura","year":"2026"},{"issue":"4","key":"ref34","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1002\/j.1538-7305.1949.tb00928.x","article-title":"Communication Theory of Secrecy Systems","volume":"28","author":"Shannon","year":"1949","journal-title":"Bell System Technical Journal"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-031-58754-2_12","article-title":"plover: Masking-friendly hash-and-sign lattice signatures","volume":"14657","author":"Esgin","year":"2024","journal-title":"Advances in Cryptology \u2013 EUROCRYPT 2024"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78375-8_12"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"e20","DOI":"10.1017\/S0956796818000151","article-title":"Iris from the ground up: A modular foundation for higherorder concurrent separation logic","volume":"28","author":"Jung","year":"2018","journal-title":"Journal of Functional Programming"},{"issue":"6","key":"ref38","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1017\/S0960129505004858","article-title":"The semantics of BI and resource tableaux","volume":"15","author":"Galmiche","year":"2005","journal-title":"Mathematical Structures in Computer Science"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9574.00056"},{"key":"ref40","first-page":"357","article-title":"Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z?","volume-title":"Advances in Artificial Intelligence II, Seventh European Conference on Artificial Intelligence, ECAI 1986, Brighton, UK, July 20-25","author":"Pearl"},{"issue":"1","key":"ref41","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.tcs.2006.12.034","article-title":"A semantics for concurrent separation logic","volume":"375","author":"Brookes","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"ref42","first-page":"17","article-title":"Symbolic approach for side-channel resistance analysis of masked assembly codes","volume-title":"PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems, ser. EPiC Series in Computing","volume":"49","author":"Ouahma"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-019-00205-7"}],"event":{"name":"2026 IEEE 39th Computer Security Foundations Symposium (CSF)","location":"Lisboa, Portugal","start":{"date-parts":[[2026,7,26]]},"end":{"date-parts":[[2026,7,29]]}},"container-title":["2026 IEEE 39th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11662133\/11662295\/11662334.pdf?arnumber=11662334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T05:04:05Z","timestamp":1787893445000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11662334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/csf68417.2026.00033","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]}}}