| 2026 | FM | Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking. | Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo |
| 2025 | CAV | StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. | Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga |
| 2023 | JELIA | Formalizing Statistical Causality via Modal Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2021 | ESORICS | Locality Sensitive Hashing with Extended Differential Privacy. | Natasha Fernandes, Yusuke Kawamoto, Takao Murakami |
| 2021 | IJCNN | TransMIA: Membership Inference Attacks Using Transfer Shadow Training. | Seira Hidano, Takao Murakami, Yusuke Kawamoto |
| 2021 | KR | Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2019 | ESORICS | Local Obfuscation Mechanisms for Hiding Probability Distributions. | Yusuke Kawamoto, Takao Murakami |
| 2019 | SEFM | Towards Logical Specification of Statistical Machine Learning. | Yusuke Kawamoto |
| 2018 | ISITA | On the Anonymization of Differentially Private Location Obfuscation. | Yusuke Kawamoto, Takao Murakami |
| 2017 | ATVA | HyLeak: Hybrid Analysis Tool for Information Leakage. | Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez |
| 2016 | FM | Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. | Yusuke Kawamoto, Fabrizio Biondi, Axel Legay |
| 2014 | ESORICS | LeakWatch: Estimating Information Leakage from Java Programs. | Tom Chothia, Yusuke Kawamoto, Chris Novakovic |
| 2013 | CAV | A Tool for Estimating Information Leakage. | Tom Chothia, Yusuke Kawamoto, Chris Novakovic |
| 2012 | CRYPTO | Efficient Padding Oracle Attacks on Cryptographic Hardware. | Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay |
| 2012 | ISPEC | Computational Soundness of Indistinguishability Properties without Computable Parsing. | Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada |