丁 曄澎YEPENG DING

Last Updated :2025/04/03

所属・職名
情報メディア教育研究センター　助教
ホームページ
https://yepengding.github.io/
メールアドレス
ypdinghiroshima-u.ac.jp
自己紹介
分権コンピューティング、情報セキュリティ、ソフトウェア工学の理論と応用研究に従事し、分散システム、セキュリティ基盤、説明可能なAIなどの複雑システムの検証、構築、最適化を行います。

基本情報

主な職歴

  • 2023年09月, 2024年01月, スイス連邦工科大学チューリッヒ校, アカデミックゲスト

学歴

  • 東京大学, 大学院工学系研究科, 博士課程電気系工学専攻, 日本, 2021年04月, 2024年03月
  • スイス連邦工科大学チューリッヒ校, スイス, 2022年, 2023年
  • 東京大学, 大学院工学系研究科, 修士課程電気系工学専攻, 日本, 2019年04月, 2021年03月
  • ジョージア工科大学, コンピューティング研究科, 修士課程コンピュータ科学, アメリカ合衆国, 2019年08月, 2021年05月

学位

  • 修士（コンピュータ科学）　(ジョージア工科大学)
  • 修士（工学）　(東京大学)
  • 博士（工学）　(東京大学)

研究分野

  • 情報学 / 計算基盤 / 情報セキュリティ
  • 情報学 / 計算基盤 / ソフトウェア
  • 情報学 / 計算基盤 / 情報ネットワーク
  • 情報学 / 情報学基礎 / 情報学基礎理論
  • 情報学 / 人間情報学 / 知能情報学

研究キーワード

  • 分権コンピューティング
  • 情報セキュリティ
  • ソフトウェア工学
  • 形式手法
  • プログラミング言語理論
  • 説明可能なAI

教育活動

授業担当

  1. 2025年, 教養教育, ２ターム, 情報・データ科学入門[1総総,1教一,1教二,1教国,1教英,1教日,1教四,1教五,1経]
  2. 2025年, 教養教育, １ターム, 教養ゼミ
  3. 2025年, 学部専門, ４ターム, 情報科学演習IV（計算機科学プログラム）
  4. 2025年, 学部専門, １ターム, 計算機科学セミナーI
  5. 2025年, 学部専門, ２ターム, 計算機科学セミナーII
  6. 2025年, 学部専門, セメスター（後期）, 卒業論文
  7. 2025年, 修士課程・博士課程前期, １ターム, 情報科学特別演習A
  8. 2025年, 修士課程・博士課程前期, ２ターム, 情報科学特別演習A
  9. 2025年, 修士課程・博士課程前期, 年度, 情報科学特別研究

研究活動

学術論文（★は代表的な論文）

  1. Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, pp. 324-325, 20240414
  2. Model-Driven Security Analysis of Self-Sovereign Identity Systems, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
  3. Inj-Kyber: Enhancing CRYSTALS-Kyber with Information Injection within a Bio-KEM Framework, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
  4. 1-D CNN-Based Online Signature Verification with Federated Learning, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
  5. Dimension-Wise Feature Selection of Deep Learning Models for In-Air Signature Time Series Analysis Based on Shapley Values, ACM International Conference Proceeding Series, pp. 238-248, 20231027
  6. VeriAnon: an Anonymous, Verifiable, and Tamper-proof Commenting System Based on Ring Signature and Clustering Merkle Tree for Decentralized Trading, ACM International Conference Proceeding Series, pp. 132-140, 20231027
  7. Decentralized Self-sovereign Identity Management System: Empowering Datacenters Through Compact Cancelable Template Generation, International Conference on Algorithms and Architectures for Parallel Processing, 14493 LNCS巻, pp. 292-303, 20240101
  8. ★, Bloccess: Enabling Fine-Grained Access Control Based on Blockchain, Journal of Network and Systems Management, 31巻, 1号, 20230301
  9. Leveraging Self-Sovereign Identity in Decentralized Data Aggregation, 2022 9th International Conference on Software Defined Systems, SDS 2022, 20220101
  10. Elastic Trust Management in Decentralized Computing Environments, Frontiers in Artificial Intelligence and Applications, 352巻, pp. 1-8, 20220810
  11. Self-Sovereign Identity as a Service: Architecture in Practice, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022, pp. 1536-1543, 20220101
  12. ★, Formalism-Driven Development: Concepts, Taxonomy, and Practice, Applied Sciences (Switzerland), 12巻, 7号, 20220401
  13. Formalism- Driven Development of Decentralized Systems, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2022-March巻, pp. 81-90, 20220101
  14. Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains, International Conference on Algorithms and Architectures for Parallel Processing, 13155 LNCS巻, pp. 693-709, 20220101
  15. Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic, International Conference on Algorithms and Architectures for Parallel Processing, 12452 LNCS巻, pp. 480-494, 20200101
  16. ★, Dagbase: A Decentralized Database Platform Using DAG-Based Consensus, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020, pp. 798-807, 20200701
  17. Derepo: A Distributed Privacy-Preserving Data Repository with Decentralized Access Control for Smart Health, Proceedings - 2020 7th IEEE International Conference on Cyber Security and Cloud Computing and 2020 6th IEEE International Conference on Edge Computing and Scalable Cloud, CSCloud-EdgeCom 2020, pp. 29-35, 20200801
  18. Bloccess: Towards Fine-Grained Access Control Using Blockchain in a Distributed Untrustworthy Environment, Proceedings - 2020 8th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2020, pp. 17-22, 20200801