Yusuke Kawamoto

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 41

Top Topics

Formal Verification

Hypothesis Test

Information Leakage

Epistemic Logic

Top Venues

Publications

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 326 (2024)
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR (2024)
Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. CoRR (2023)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Causality via Modal Logic. JELIA (2023)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Causality via Modal Logic. CoRR (2022)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR (2022)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur. 25 (3) (2022)
Natasha Fernandes, Yusuke Kawamoto, Takao Murakami
Locality Sensitive Hashing with Extended Differential Privacy. ESORICS (2) (2021)
Seira Hidano, Takao Murakami, Yusuke Kawamoto
TransMIA: Membership Inference Attacks Using Transfer Shadow Training. IJCNN (2021)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. KR (2021)
Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features. Proc. Priv. Enhancing Technol. 2021 (2) (2021)
Yusuke Kawamoto
An epistemic approach to the formal specification of statistical machine learning. Softw. Syst. Model. 20 (2) (2021)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games: Exploring Information as a Utility Function. CoRR (2020)
Natasha Fernandes, Yusuke Kawamoto, Takao Murakami
Locality Sensitive Hashing with Extended Differential Privacy. CoRR (2020)
Yusuke Kawamoto
An Epistemic Approach to the Formal Specification of Statistical Machine Learning. CoRR (2020)
Seira Hidano, Yusuke Kawamoto, Takao Murakami
TransMIA: Membership Inference Attacks Using Transfer Shadow Training. CoRR (2020)
Yusuke Kawamoto, Takao Murakami
. Allerton (2019)
Takao Murakami, Yusuke Kawamoto
Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation. USENIX Security Symposium (2019)
Yusuke Kawamoto
Statistical Epistemic Logic. The Art of Modelling Computational Systems (2019)
Yusuke Kawamoto
Towards Logical Specification of Statistical Machine Learning. SEFM (2019)
Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces. CoRR (2019)
Yusuke Kawamoto, Takao Murakami
Local Distribution Obfuscation via Probability Coupling. CoRR (2019)
Yusuke Kawamoto
Towards Logical Specification of Statistical Machine Learning. CoRR (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31 (2) (2019)
Yusuke Kawamoto
Statistical Epistemic Logic. CoRR (2019)
Yusuke Kawamoto, Takao Murakami
Local Obfuscation Mechanisms for Hiding Probability Distributions. ESORICS (1) (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR (2018)
Yusuke Kawamoto, Takao Murakami
On the Anonymization of Differentially Private Location Obfuscation. ISITA (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Leakage and Protocol Composition in a Game-Theoretic Perspective. POST (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy 20 (5) (2018)
Yusuke Kawamoto, Takao Murakami
Differentially Private Obfuscation Mechanisms for Hiding Probability Distributions. CoRR (2018)
Takao Murakami, Yusuke Kawamoto
Restricted Local Differential Privacy for Distribution Estimation with High Data Utility. CoRR (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR (2018)
Yusuke Kawamoto, Takao Murakami
On the Anonymization of Differentially Private Location Obfuscation. CoRR (2018)
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
On the Compositionality of Quantitative Information Flow. Log. Methods Comput. Sci. 13 (3) (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games. CoRR (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games. GameSec (2017)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA (2017)
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
On the Compositionality of Quantitative Information Flow. CoRR (2016)
Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM (2016)
Yusuke Kawamoto, Thomas Given-Wilson
Quantitative Information Flow for Scheduler-Dependent Systems. QAPL (2015)
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Compositionality Results for Quantitative Information Flow. QEST (2014)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
LeakWatch: Estimating Information Leakage from Java Programs. ESORICS (2) (2014)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
A Tool for Estimating Information Leakage. CAV (2013)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker
Probabilistic Point-to-Point Information Leakage. CSF (2013)
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC (2012)
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. IACR Cryptol. ePrint Arch. 2012 (2012)
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO (2012)
Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security (2009)
Hubert Comon-Lundh, Yusuke Kawamoto, Hideki Sakurada
Computational and Symbolic Anonymity in an Unbounded Network. JSIAM Lett. 1 (2009)