• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kawamoto Yusuke  川本 裕輔

Researcher Number 60760006
Other IDs
  • ORCIDhttps://orcid.org/0000-0002-2151-9560
Affiliation (Current) 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究グループ長
Affiliation (based on the past Project Information) *help 2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム付
2019 – 2023: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
2017 – 2018: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究員
Review Section/Research Field
Principal Investigator
Software / Basic Section 60050:Software-related
Except Principal Investigator
Basic Section 61030:Intelligent informatics-related / Basic Section 60070:Information security-related
Keywords
Principal Investigator
形式手法 / プログラム検証 / 定量的情報流解析 / 情報理論 / 情報セキュリティ / 統計 / 統計手法 / ゲーム理論 / 機械学習 / 最適輸送理論 … More / 確率分布 / 認識論理 / 形式仕様 / 様相論理 / 差分プライバシ / システム検証 / プライバシ / 情報流解析 … More
Except Principal Investigator
separation logic / 信用 / プログラム検証 / 自動証明 / 形式検証 / 議論進行サポート / 数理議論 / 議論検証 / 詭弁検証 / 人工データ生成法 / トレース / メンバーシップ推定 / 局所型差分プライバシー / 位置情報プライバシー / パーソナルデータ / 位置情報 / グラフ / プライバシー / 安全性指標 / グラフデータ / 時系列データ / 差分プライバシー / 局所型プライバシー Less
  • Research Projects

    (5 results)
  • Research Products

    (41 results)
  • Co-Researchers

    (12 People)
  •  Formal verification methods for trustworthy statisticsPrincipal Investigator

    • Principal Investigator
      川本 裕輔
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  議論の形式検証を実現する論理的手法の研究

    • Principal Investigator
      蟻坂 竜大
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      Kyoto University
  •  A Study on Locally Private Algorithms for Large-Scale Personal Data

    • Principal Investigator
      Murakami Takao
    • Project Period (FY)
      2019 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60070:Information security-related
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal ApproachesPrincipal Investigator

    • Principal Investigator
      Kawamoto Yusuke
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  Quantitative Analysis of Information Leakage in Cyber-Physical SystemsPrincipal Investigator

    • Principal Investigator
      Kawamoto Yusuke
    • Project Period (FY)
      2015 – 2016
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2024 2023 2021 2019 2018 2017 2016 2015

All Journal Article Presentation Patent

  • [Journal Article] Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs2024

    • Author(s)
      Kawamoto Yusuke、Sato Tetsuya、Suenaga Kohei
    • Journal Title

      Artificial Intelligence

      Volume: 326 Pages: 104045-104045

    • DOI

      10.1016/j.artint.2023.104045

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-21K12028, KAKENHI-PROJECT-19H04084
  • [Journal Article] Theme Aspect Argumentation Model for Handling Fallacies2023

    • Author(s)
      Ryuta Arisaka and Ryoma Nakai and Yusuke Kawamoto and Takayuki Ito
    • Journal Title

      arXiv

      Volume: - Pages: 1-71

    • Open Access
    • Data Source
      KAKENHI-PROJECT-21K12028
  • [Journal Article] Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features2021

    • Author(s)
      Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
    • Journal Title

      Proceedings on Privacy Enhancing Technologies (PoPETs)

      Volume: 2 Pages: 5-26

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19H04113
  • [Journal Article] Local Distribution Obfuscation via Probability Coupling2019

    • Author(s)
      Yusuke Kawamoto and Takao Murakami
    • Journal Title

      Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)

      Volume: - Pages: 718-725

    • DOI

      10.1109/allerton.2019.8919803

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Local Obfuscation Mechanisms for Hiding Probability Distributions2019

    • Author(s)
      Yusuke Kawamoto and Takao Murakami
    • Journal Title

      Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science

      Volume: 11735 Pages: 128-148

    • DOI

      10.1007/978-3-030-29959-0_7

    • ISBN
      9783030299583, 9783030299590
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation2019

    • Author(s)
      Takao Murakami and Yusuke Kawamoto
    • Journal Title

      Proc. of the 28th USENIX Security Symposium (USENIX Security 2019)

      Volume: - Pages: 1877-1894

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Towards Logical Specification of Statistical Machine Learning2019

    • Author(s)
      Yusuke Kawamoto
    • Journal Title

      Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science

      Volume: 11724 Pages: 293-311

    • DOI

      10.1007/978-3-030-30446-1_16

    • ISBN
      9783030304454, 9783030304461
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Statistical Epistemic Logic2019

    • Author(s)
      Yusuke Kawamoto
    • Journal Title

      The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science

      Volume: 11760 Pages: 344-362

    • DOI

      10.1007/978-3-030-31175-9_20

    • ISBN
      9783030311742, 9783030311759
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow2019

    • Author(s)
      Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
    • Journal Title

      Formal Aspects of Computing

      Volume: 31(2) Issue: 2 Pages: 165-206

    • DOI

      10.1007/s00165-018-0469-z

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Leakage and Protocol Composition in a Game-Theoretic Perspective2018

    • Author(s)
      Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
    • Journal Title

      Proc. of the 7th International Conference on Principles of Security and Trust (POST 2018), Lecture Notes in Computer Science

      Volume: 10804 Pages: 134-159

    • DOI

      10.1007/978-3-319-89722-6_6

    • ISBN
      9783319897219, 9783319897226
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] On the Anonymization of Differentially Private Location Obfuscation2018

    • Author(s)
      Yusuke Kawamoto and Takao Murakami
    • Journal Title

      Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018)

      Volume: - Pages: 159-163

    • DOI

      10.23919/isita.2018.8664351

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] A Game-Theoretic Approach to Information-Flow Control via Protocol Composition2018

    • Author(s)
      Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
    • Journal Title

      Entropy

      Volume: 20(5:382) Issue: 5 Pages: 1-43

    • DOI

      10.3390/e20050382

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] On the Compositionality of Quantitative Information Flow2017

    • Author(s)
      Yusuke Kawamoto, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
    • Journal Title

      Logical Methods in Computer Science

      Volume: 13 Pages: 1-31

    • DOI

      10.23638/LMCS-13(3:11)2017

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Information Leakage Games2017

    • Author(s)
      Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
    • Journal Title

      Proc. of the 8th International Conference on Decision and Game Theory for Security (GameSec 2017), Lecture Notes in Computer Science

      Volume: 10575 Pages: 437-457

    • DOI

      10.1007/978-3-319-68711-7_23

    • ISBN
      9783319687100, 9783319687117
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] HyLeak: Hybrid Analysis Tool for Information Leakage2017

    • Author(s)
      Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
    • Journal Title

      Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science

      Volume: 10482 Pages: 156-163

    • DOI

      10.1007/978-3-319-68167-2_11

    • ISBN
      9783319681665, 9783319681672
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Journal Title

      Proc. of the 21st International Symposium on Formal Methods (FM 2016), Lecture Notes in Computer Science

      Volume: 9995 Pages: 406-425

    • DOI

      10.1007/978-3-319-48989-6_25

    • ISBN
      9783319489889, 9783319489896
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Journal Article] Verification of Cryptosystems - from Introduction to Computer-Aided Security Proofs2016

    • Author(s)
      川本裕輔
    • Journal Title

      Computer Software

      Volume: 33 Issue: 4 Pages: 4_67-4_83

    • DOI

      10.11309/jssst.33.4_67

    • NAID

      130005290611

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Journal Article] Quantitative Information Flow for Scheduler-Dependent Systems2015

    • Author(s)
      Yusuke Kawamoto and Thomas Given-Wilson
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 194 Pages: 4862-4862

    • DOI

      10.4204/eptcs.194.4

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Patent] タイミング攻撃に対抗するための情報処理方法、システム及びプログラム2018

    • Inventor(s)
      川本 裕輔,村上隆夫
    • Industrial Property Rights Holder
      産業技術総合研究所
    • Industrial Property Rights Type
      特許
    • Industrial Property Number
      2018-153830
    • Filing Date
      2018
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] TransMIA: Membership Inference Attacks Using Transfer Shadow Training2021

    • Author(s)
      Seira Hidano, Takao Murakami, Yusuke Kawamoto
    • Organizer
      Proceedings of the 2021 International Joint Conference on Neural Networks (IJCNN 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04113
  • [Presentation] Locality Sensitive Hashing with Extended Differential Privacy2021

    • Author(s)
      Natasha Fernandes*, Yusuke Kawamoto*, Takao Murakami* (*: equal contribution)
    • Organizer
      Proceedings of the 26th European Symposium on Research in Computer Security (ESORICS 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04113
  • [Presentation] Local Distribution Obfuscation via Probability Coupling2019

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] 情報量を利得とするゲームとプライバシー定量化への応用2019

    • Author(s)
      川本裕輔
    • Organizer
      ゲーム理論ワークショップ2019
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Local Obfuscation Mechanisms for Hiding Probability Distributions2019

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      24th European Symposium on Research in Computer Security (ESORICS 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Epistemic logic for expressing the statistical security of machine learning2019

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      5th France-Japan Cybersecurity Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces2019

    • Author(s)
      Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
    • Organizer
      arXiv:1911.04226
    • Data Source
      KAKENHI-PROJECT-19H04113
  • [Presentation] Towards Logical Specification of Statistical Machine Learning2019

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Statistical Epistemic Logic2019

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Leakage and Protocol Composition in a Game-Theoretic Perspective2018

    • Author(s)
      Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
    • Organizer
      7th International Conference on Principles of Security and Trust (POST 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] On the Anonymization of Differentially Private Location Obfuscation2018

    • Author(s)
      Yusuke Kawamoto and Takao Murakami
    • Organizer
      2018 International Symposium on Information Theory and Its Applications (ISITA 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Extension of Differential Privacy to Distribution Obfuscation2018

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      NII Shonan Meeting Seminar 116
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Obfuscation Mechanisms with Distribution Privacy2018

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      4th Franco-Japanese Cybersecurity Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] プライバシの定量的モデルと保護メカニズム2017

    • Author(s)
      川本裕輔
    • Organizer
      日本応用数理学会2017年度年会 「数理的技法による情報セキュリティ」研究部会
    • Invited
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] HyLeak: Hybrid Analysis Tool for Information Leakage2017

    • Author(s)
      Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
    • Organizer
      15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Information Leakage Games2017

    • Author(s)
      Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
    • Organizer
      8th International Conference on Decision and Game Theory for Security (GameSec 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] Modeling and Analysis of Information Leakage2017

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      Third French Japanese Meeting on Cybersecurity
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Presentation] プログラム解析と統計手法の融合による定量的情報流解析2017

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
    • Place of Presentation
      華やぎの章 慶山(山梨県笛吹市)
    • Year and Date
      2017-03-09
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Presentation] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016

    • Author(s)
      Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
    • Organizer
      The 21st International Symposium on Formal Methods (FM 2016)
    • Place of Presentation
      St. Raphael Resort, Limassol (Cyprus)
    • Year and Date
      2016-11-11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Presentation] 統計的手法によるプログラムの定量的情報流解析2015

    • Author(s)
      Tom Chothia, Yusuke Kawamoto and Chris Novakovic
    • Organizer
      日本応用数理学会2015年度年会
    • Place of Presentation
      金沢大学、石川県
    • Year and Date
      2015-09-11
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Presentation] Combining Static and Statistical Approaches to Quantitative Information Flow2015

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      NII Shonan Meeting Seminar 069
    • Place of Presentation
      Shonan, Japan
    • Year and Date
      2015-10-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [Presentation] Formal and Statistical Approach to Quantitative Information Flow of Programs2015

    • Author(s)
      Yusuke Kawamoto
    • Organizer
      Workshop on Formalization of Applied Mathematical Systems
    • Place of Presentation
      Hawaii, USA
    • Year and Date
      2015-10-01
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H06886
  • 1.  Murakami Takao (80587981)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 2.  日野 英逸 (10580079)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  清 雄一 (20700157)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 4.  松田 隆宏 (60709492)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  蟻坂 竜大 (00774580)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 6.  伊藤 孝行 (50333555)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 7.  末永 幸平 (70633692)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  佐藤 哲也 (40761797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 9.  田中 哲 (10357452)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  Biondi Fabrizio
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 11.  Given-Wilson Thomas
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 12.  Traonouez Louis-Marie
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi