default search action
Yusuke Kawamoto 0001
Person information
- affiliation: National Institute of Advanced Industrial Science and Technology, Tsukuba, Japan
Other persons with the same name
- Yusuke Kawamoto 0002 — Osaka University, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j8]Yusuke Kawamoto
, Tetsuya Sato
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 326: 104045 (2024) - 2022
- [j7]Mário S. Alvim
Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur. 25(3): 20:1-20:36 (2022) - 2021
- [j6]Takao Murakami, Koki Hamada, Yusuke Kawamoto
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features. Proc. Priv. Enhancing Technol. 2021(2): 5-26 (2021) - [j5]Yusuke Kawamoto
An epistemic approach to the formal specification of statistical machine learning. Softw. Syst. Model. 20(2): 293-310 (2021) - 2019
- [j4]Fabrizio Biondi, Yusuke Kawamoto
Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31(2): 165-206 (2019) - 2018
- [j3]Mário S. Alvim
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy 20(5): 382 (2018) - 2017
- [j2]Yusuke Kawamoto
On the Compositionality of Quantitative Information Flow. Log. Methods Comput. Sci. 13(3) (2017) - 2009
- [j1]Hubert Comon-Lundh, Yusuke Kawamoto
Computational and Symbolic Anonymity in an Unbounded Network. JSIAM Lett. 1: 28-31 (2009)
Conference and Workshop Papers
- 2023
- [c22]Yusuke Kawamoto
Formalizing Statistical Causality via Modal Logic. JELIA 2023: 681-696 - 2021
- [c21]Natasha Fernandes
Locality Sensitive Hashing with Extended Differential Privacy. ESORICS (2) 2021: 563-583 - [c20]Seira Hidano, Takao Murakami, Yusuke Kawamoto
TransMIA: Membership Inference Attacks Using Transfer Shadow Training. IJCNN 2021: 1-10 - [c19]Yusuke Kawamoto
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. KR 2021: 411-421 - 2019
- [c18]Yusuke Kawamoto
Local Distribution Obfuscation via Probability Coupling*. Allerton 2019: 718-725 - [c17]Yusuke Kawamoto
Statistical Epistemic Logic. The Art of Modelling Computational Systems 2019: 344-362 - [c16]Yusuke Kawamoto
Local Obfuscation Mechanisms for Hiding Probability Distributions. ESORICS (1) 2019: 128-148 - [c15]Yusuke Kawamoto
Towards Logical Specification of Statistical Machine Learning. SEFM 2019: 293-311 - [c14]Takao Murakami, Yusuke Kawamoto:
Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation. USENIX Security Symposium 2019: 1877-1894 - 2018
- [c13]Yusuke Kawamoto
On the Anonymization of Differentially Private Location Obfuscation. ISITA 2018: 159-163 - [c12]Mário S. Alvim
Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159 - 2017
- [c11]Fabrizio Biondi, Yusuke Kawamoto
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017: 156-163 - [c10]Mário S. Alvim
Information Leakage Games. GameSec 2017: 437-457 - 2016
- [c9]Yusuke Kawamoto
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016: 406-425 - 2015
- [c8]Yusuke Kawamoto
Quantitative Information Flow for Scheduler-Dependent Systems. QAPL 2015: 48-62 - 2014
- [c7]Tom Chothia, Yusuke Kawamoto
LeakWatch: Estimating Information Leakage from Java Programs. ESORICS (2) 2014: 219-236 - [c6]Yusuke Kawamoto
Compositionality Results for Quantitative Information Flow. QEST 2014: 368-383 - 2013
- [c5]Tom Chothia, Yusuke Kawamoto
A Tool for Estimating Information Leakage. CAV 2013: 690-695 - [c4]Tom Chothia, Yusuke Kawamoto
Probabilistic Point-to-Point Information Leakage. CSF 2013: 193-205 - 2012
- [c3]Romain Bardou, Riccardo Focardi
Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO 2012: 608-625 - [c2]Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC 2012: 63-79 - 2009
- [c1]Yusuke Kawamoto
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security 2009: 158-180
Informal and Other Publications
- 2024
- [i21]Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga:
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR abs/2405.17492 (2024) - 2023
- [i20]Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa:
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. CoRR abs/2301.07474 (2023) - 2022
- [i19]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR abs/2208.07074 (2022) - [i18]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Causality via Modal Logic. CoRR abs/2210.16751 (2022) - 2020
- [i17]Yusuke Kawamoto:
An Epistemic Approach to the Formal Specification of Statistical Machine Learning. CoRR abs/2004.12734 (2020) - [i16]Natasha Fernandes, Yusuke Kawamoto, Takao Murakami:
Locality Sensitive Hashing with Extended Differential Privacy. CoRR abs/2010.09393 (2020) - [i15]Seira Hidano, Yusuke Kawamoto, Takao Murakami:
TransMIA: Membership Inference Attacks Using Transfer Shadow Training. CoRR abs/2011.14661 (2020) - [i14]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games: Exploring Information as a Utility Function. CoRR abs/2012.12060 (2020) - 2019
- [i13]Yusuke Kawamoto, Takao Murakami:
Local Distribution Obfuscation via Probability Coupling. CoRR abs/1907.05991 (2019) - [i12]Yusuke Kawamoto:
Statistical Epistemic Logic. CoRR abs/1907.05995 (2019) - [i11]Yusuke Kawamoto:
Towards Logical Specification of Statistical Machine Learning. CoRR abs/1907.10327 (2019) - [i10]Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano:
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces. CoRR abs/1911.04226 (2019) - 2018
- [i9]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR abs/1802.10465 (2018) - [i8]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR abs/1803.10042 (2018) - [i7]Yusuke Kawamoto, Takao Murakami:
On the Anonymization of Differentially Private Location Obfuscation. CoRR abs/1807.08456 (2018) - [i6]Takao Murakami, Yusuke Kawamoto:
Restricted Local Differential Privacy for Distribution Estimation with High Data Utility. CoRR abs/1807.11317 (2018) - [i5]Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR abs/1809.02613 (2018) - [i4]Yusuke Kawamoto, Takao Murakami:
Differentially Private Obfuscation Mechanisms for Hiding Probability Distributions. CoRR abs/1812.00939 (2018) - 2017
- [i3]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games. CoRR abs/1705.05030 (2017) - 2016
- [i2]Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Compositionality of Quantitative Information Flow. CoRR abs/1611.00455 (2016) - 2012
- [i1]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: 417 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: