• 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) 2020: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Affiliation (based on the past Project Information) *help 2020: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
2017 – 2019: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究員
Review Section/Research Field
Principal Investigator
Software
Except Principal Investigator
Basic Section 60070:Information security-related
Keywords
Principal Investigator
情報セキュリティ / プログラム検証 / 形式手法 / 情報理論 / 定量的情報流解析 / 情報流解析 / プライバシ / ゲーム理論 / 差分プライバシ / システム検証 / 統計手法 … More
Except Principal Investigator
… More プライバシー / 局所型プライバシー / パーソナルデータ Less
  • Research Projects

    (3 results)
  • Research Products

    (25 results)
  • Co-Researchers

    (7 People)
  •  大規模なパーソナルデータに向けた局所型プライバシー保護技術の研究Ongoing

    • Principal Investigator
      村上 隆夫
    • 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
  •  統計手法と形式手法の融合によるサイバーフィジカルシステムの定量的検証Principal InvestigatorOngoing

    • Principal Investigator
      川本 裕輔
    • 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 2019 2018 2017 2016 2015

All Journal Article Presentation Patent

  • [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) 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

    • 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) 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

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12667
  • [Journal Article] Verification of Cryptosystems - from Introduction to Computer-Aided Security Proofs2017

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

      Computer Software

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

    • DOI

      10.11309/jssst.33.4_67

    • NAID

      130005290611

    • ISSN
      0289-6540
    • Year and Date
      2017-01-14
    • Language
      Japanese
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15H06886
  • [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

    • 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

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • 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] 情報量を利得とするゲームとプライバシー定量化への応用2019

    • Author(s)
      川本裕輔
    • Organizer
      ゲーム理論ワークショップ2019
    • 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] 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] 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] プライバシの定量的モデルと保護メカニズム2017

    • Author(s)
      川本裕輔
    • Organizer
      日本応用数理学会2017年度年会 「数理的技法による情報セキュリティ」研究部会
    • Invited
    • 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] 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] プログラム解析と統計手法の融合による定量的情報流解析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] 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] 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.  村上 隆夫 (80587981)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  日野 英逸 (10580079)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  清 雄一 (20700157)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  松田 隆宏 (60709492)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  Biondi Fabrizio
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 6.  Given-Wilson Thomas
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 7.  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