Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. - Yusuke Kawamoto 001; Hideki Sakurada; Masami Hagiya (Formal to Practical Security, 2009)

Computational and Symbolic Anonymity in an Unbounded Network. - Hubert Comon-Lundh; Yusuke Kawamoto 001; Hideki Sakurada (JSIAM Lett., 2009)

Computational Soundness of Indistinguishability Properties without Computable Parsing. - Hubert Comon-Lundh; Masami Hagiya; Yusuke Kawamoto 001; Hideki Sakurada (ISPEC, 2012)

Efficient Padding Oracle Attacks on Cryptographic Hardware. - Romain Bardou; Riccardo Focardi; Yusuke Kawamoto 001; Lorenzo Simionato; Graham Steel; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2012)

A Tool for Estimating Information Leakage. - Tom Chothia; Yusuke Kawamoto 001; Chris Novakovic (CAV, 2013)

Probabilistic Point-to-Point Information Leakage. - Tom Chothia; Yusuke Kawamoto 001; Chris Novakovic; David Parker 001 (CSF, 2013)

LeakWatch: Estimating Information Leakage from Java Programs. - Tom Chothia; Yusuke Kawamoto 001; Chris Novakovic (ESORICS (2), 2014)

Compositionality Results for Quantitative Information Flow. - Yusuke Kawamoto 001; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (QEST, 2014)

Quantitative Information Flow for Scheduler-Dependent Systems. - Yusuke Kawamoto 001; Thomas Given-Wilson (QAPL, 2015)

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. - Yusuke Kawamoto 001; Fabrizio Biondi; Axel Legay (FM, 2016)

HyLeak: Hybrid Analysis Tool for Information Leakage. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (ATVA, 2017)

Information Leakage Games. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Yusuke Kawamoto 001; Catuscia Palamidessi (GameSec, 2017)

On the Compositionality of Quantitative Information Flow. - Yusuke Kawamoto 001; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (Log. Methods Comput. Sci., 2017)

On the Anonymization of Differentially Private Location Obfuscation. - Yusuke Kawamoto 001; Takao Murakami (ISITA, 2018)

Leakage and Protocol Composition in a Game-Theoretic Perspective. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Yusuke Kawamoto 001; Catuscia Palamidessi (POST, 2018)

Restricted Local Differential Privacy for Distribution Estimation with High Data Utility. - Takao Murakami; Yusuke Kawamoto 001 (CoRR, 2018)

Differentially Private Obfuscation Mechanisms for Hiding Probability Distributions. - Yusuke Kawamoto 001; Takao Murakami (CoRR, 2018)

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Yusuke Kawamoto 001; Catuscia Palamidessi (Entropy, 2018)

Local Distribution Obfuscation via Probability Coupling*. - Yusuke Kawamoto 001; Takao Murakami (Allerton, 2019)

Statistical Epistemic Logic. - Yusuke Kawamoto 001 (The Art of Modelling Computational Systems, 2019)

Local Obfuscation Mechanisms for Hiding Probability Distributions. - Yusuke Kawamoto 001; Takao Murakami (ESORICS (1), 2019)

Towards Logical Specification of Statistical Machine Learning. - Yusuke Kawamoto 001 (SEFM, 2019)

Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation. - Takao Murakami; Yusuke Kawamoto 001 (USENIX Security Symposium, 2019)

Local Distribution Obfuscation via Probability Coupling. - Yusuke Kawamoto 001; Takao Murakami (CoRR, 2019)

Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces. - Takao Murakami; Koki Hamada; Yusuke Kawamoto 001; Takuma Hatano (CoRR, 2019)

Hybrid statistical estimation of mutual information and its application to information flow. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (Formal Aspects Comput., 2019)

Locality Sensitive Hashing with Extended Differential Privacy. - Natasha Fernandes; Yusuke Kawamoto 001; Takao Murakami (ESORICS (2), 2021)

TransMIA: Membership Inference Attacks Using Transfer Shadow Training. - Seira Hidano; Takao Murakami; Yusuke Kawamoto 001 (IJCNN, 2021)

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (KR, 2021)

Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features. - Takao Murakami; Koki Hamada; Yusuke Kawamoto 001; Takuma Hatano (Proc. Priv. Enhancing Technol., 2021)

An epistemic approach to the formal specification of statistical machine learning. - Yusuke Kawamoto 001 (Softw. Syst. Model., 2021)

Information Leakage Games: Exploring Information as a Utility Function. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Yusuke Kawamoto 001; Catuscia Palamidessi (ACM Trans. Priv. Secur., 2022)

Formalizing Statistical Causality via Modal Logic. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (JELIA, 2023)

Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. - Yusuke Kawamoto 001; Kazumasa Miyake; Koichi Konishi; Yutaka Oiwa (CoRR, 2023)

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (Artif. Intell., 2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. - Yusuke Kawamoto 001; Kentaro Kobayashi; Kohei Suenaga (CAV (2), 2025)