丁 曄澎YEPENG DING

Last Updated :2025/07/14

所属・職名
情報メディア教育研究センター　助教
ホームページ
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

所属学会

  • 電子情報通信学会
  • 情報処理学会
  • IEEE
  • ACM

教育活動

授業担当

  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年, 修士課程・博士課程前期, ３ターム, 情報科学特別演習A
  10. 2025年, 修士課程・博士課程前期, ４ターム, 情報科学特別演習A
  11. 2025年, 修士課程・博士課程前期, ３ターム, 情報科学特別演習B
  12. 2025年, 修士課程・博士課程前期, ４ターム, 情報科学特別演習B
  13. 2025年, 修士課程・博士課程前期, 年度, 情報科学特別研究
  14. 2025年, 修士課程・博士課程前期, ３ターム, 情報システム論

研究活動

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

  1. On-Chain Dynamic Policy Evaluation for Decentralized Access Control, Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 15254 LNCS巻, pp. 337-346, 20250101
  2. Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, pp. 324-325, 20240414
  3. ★, Data Aggregation Management With Self-Sovereign Identity in Decentralized Networks, IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 21巻, 6号, pp. 6174-6189, 202412
    DOIを用いた論文検索結果へのリンク
  4. Textual Differential Privacy for Context-Aware Reasoning with Large Language Model, Proceedings 2024 IEEE 48th Annual Computers Software and Applications Conference Compsac 2024, pp. 988-997, 20240101
  5. Emer: Reputation-Based Event Consumer for Event-Driven Decentralized Systems, Proceedings of the 2024 IEEE International Conference on Communications Computing Cybersecurity and Informatics Ccci 2024, 20240101
  6. Hand Gesture Classification Using Nearest Centroid with Soft-DTW Loss on sEMG Signals, Proceedings 2024 IEEE International Symposium on Parallel and Distributed Processing with Applications Ispa 2024, pp. 701-709, 20240101
  7. Hand Gesture Classification Using sEMG Signals: Nearest-Centroid-Based Methodology With DBA, IEEE ACCESS, 12巻, pp. 141916-141931, 2024
    DOIを用いた論文検索結果へのリンク
  8. Model-Driven Security Analysis of Self-Sovereign Identity Systems, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
  9. 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
  10. 1-D CNN-Based Online Signature Verification with Federated Learning, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
  11. 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
  12. 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
  13. 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
  14. ★, Bloccess: Enabling Fine-Grained Access Control Based on Blockchain, Journal of Network and Systems Management, 31巻, 1号, 20230301
  15. Leveraging Self-Sovereign Identity in Decentralized Data Aggregation, 2022 9th International Conference on Software Defined Systems, SDS 2022, 20220101
  16. Elastic Trust Management in Decentralized Computing Environments, Frontiers in Artificial Intelligence and Applications, 352巻, pp. 1-8, 20220810
  17. 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
  18. ★, Formalism-Driven Development: Concepts, Taxonomy, and Practice, Applied Sciences (Switzerland), 12巻, 7号, 20220401
  19. 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
  20. 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
  21. 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
  22. Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic, Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 12452 LNCS巻, pp. 480-494, 20200101
  23. 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
  24. 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