Yusuke Kawamoto

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