Rchr
J-GLOBAL ID:201201089843679034   Update date: Nov. 19, 2020

Kawamoto Yusuke

カワモト ユウスケ | Kawamoto Yusuke
Affiliation and department:
Job title: Senior Research Scientist
Research field  (3): Information security ,  Software ,  Information theory
Research keywords  (13): formal methods ,  information security ,  protocol verification ,  program verification ,  formal specification of machine learning systems ,  modal logic ,  epistemic logic ,  stochastic systems ,  game theory ,  privacy ,  differential privacy ,  quantitative information flow ,  information flow analysis
Research theme for competitive and other funds  (9):
  • 2019 - 2022 機械学習システムの品質評価指標・測定テストベッドの研究開発
  • 2019 - 2022 大規模なパーソナルデータに向けた局所型プライバシー保護技術の研究
  • 2018 - 2020 Quality Assurance of Machine-Learned AI Software
  • 2017 - 2020 Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
  • 2016 - 2019 LOGIS (Logical and Formal Methods for Information Security. Special Focus on Cryptographic Protocol Verification and Information Flow Analysis)
Show all
Papers (28):
  • Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano. Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features. Proceedings on Privacy Enhancing Technologies (PoPETs). 2021. 2021. 2
  • Natasha Fernandes, Yusuke Kawamoto, Takao Murakami, [alphabetical authorship]. Locality Sensitive Hashing with Extended Differential Privacy. CoRR. 2020. abs/2010.09393
  • Yusuke Kawamoto. An Epistemic Approach to the Formal Specification of Statistical Machine Learning. Software and Systems Modeling. 2020
  • Yusuke Kawamoto. Statistical Epistemic Logic. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science. 2019. 11760. 344-362
  • Yusuke Kawamoto, Takao Murakami. Local Distribution Obfuscation via Probability Coupling. Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019). 2019. 718-725
more...
MISC (4):
  • 川本 裕輔. 書評『シリーズ応用数理 【1】巻 数理的技法による情報セキュリティ』(日本応用数理学会 監修・萩谷 昌己・塚田 恭章編). JSIAM Online Magazine 書評. 2017. J1706A
  • Tom Chothia, Yusuke Kawamoto. Statistical Estimation of Min-entropy Leakage. Manuscript available at http://www.cs.bham.ac.uk/research/projects/infotools/leakiest. 2014
  • Yusuke Kawamoto. Formal Verification of Cryptography (II). 東京大学大学院情報理工学系研究科「計算システム検証論」. 2014
  • Yusuke Kawamoto. Formal Verification of Cryptography (I). 東京大学大学院情報理工学系研究科「計算システム検証論」. 2014
Patents (1):
  • タイミング攻撃に対抗するための情報処理方法、システム及びプログラム
Books (1):
  • Handbook of Applied Mathematics (In Japanese)
    Asakura Publishing 2013 ISBN:9784254111415
Lectures and oral presentations  (44):
  • Statistical Epistemic Logic and its Application to Expressing Statistical Properties of Machine Learning
    (ERATO MMSD Project Colloquium 2019)
  • Epistemic logic for expressing the statistical security of machine learning
    (5th France-Japan Cybersecurity Workshop 2019)
  • Local Differential Privacy for Sensitive Data and Attributes
    (CRISES Research Group Seminar, Universitat Rovira i Virgili 2019)
  • 情報量を利得とするゲームとプライバシー定量化への応用
    (ゲーム理論ワークショップ2019 2019)
  • Obfuscation Mechanisms with Distribution Privacy
    (4th Franco-Japanese Cybersecurity Workshop 2018)
more...
Works (3):
  • leakiEst: Tool for "Leaking information Estimation"
    2012 - 現在
  • HyLeak: Hybrid analysis tool for information leakage
    2016 - 2017
  • LeakWatch: Command-line tool and Java API for estimating information leakage from Java programs
    2013 - 2014
Education (3):
  • - 2010 University of Tokyo , Ph.D. in Computer Science
  • - 2007 University of Tokyo , M.Sc. in Computer Science
  • - 2005 University of Tokyo , B.Sc. in Information Science
Professional career (1):
  • PhD in Computer Science (University of Tokyo)
Work history (9):
  • 2020/11 - 現在 Japan Science and Technology Agency (JST) PRESTO Researcher
  • 2019/10 - 現在 CPSEC, National Institute of Advanced Industrial Science and Technology (AIST) , Senior Research Scientist
  • 2018/11 - 2019/09 CPSEC, National Institute of Advanced Industrial Science and Technology (AIST) , Research Scientist
  • 2015/04 - 2018/10 ITRI, National Institute of Advanced Industrial Science and Technology (AIST) , Research Scientist
  • 2013 - 2015 LIX, École Polytechnique & Inria Saclay, France , Post-doctoral Researcher
Show all
Committee career (2):
  • 2019 - 2020 PPL 2020 Program Committee member
  • 2019/03 - 2019/04 5th France-Japan Cybersecurity Workshop WG1 co-organizer
Awards (2):
  • 2019/08 - Japan Society for Software Science and Technology (JSSST) Best Review Paper Award
  • 2008/09 - Japan Society for Industrial and Applied Mathematics (JSIAM) Best Papers Award 2008
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page