丁 曄澎YEPENG DING
Last Updated :2025/07/14
- 所属・職名
- 情報メディア教育研究センター 助教
- ホームページ
- メールアドレス
- ypding
hiroshima-u.ac.jp
- 自己紹介
- 分権コンピューティング、情報セキュリティ、ソフトウェア工学の理論と応用研究に従事し、分散システム、セキュリティ基盤、説明可能なAIなどの複雑システムの検証、構築、最適化を行います。
基本情報
主な職歴
- 2023年09月, 2024年01月, スイス連邦工科大学チューリッヒ校, アカデミックゲスト
学歴
- 東京大学, 大学院工学系研究科, 博士課程電気系工学専攻, 日本, 2021年04月, 2024年03月
- スイス連邦工科大学チューリッヒ校, スイス, 2022年, 2023年
- 東京大学, 大学院工学系研究科, 修士課程電気系工学専攻, 日本, 2019年04月, 2021年03月
- ジョージア工科大学, コンピューティング研究科, 修士課程コンピュータ科学, アメリカ合衆国, 2019年08月, 2021年05月
学位
- 修士(コンピュータ科学) (ジョージア工科大学)
- 修士(工学) (東京大学)
- 博士(工学) (東京大学)
研究分野
- 情報学 / 計算基盤 / 情報セキュリティ
- 情報学 / 計算基盤 / ソフトウェア
- 情報学 / 計算基盤 / 情報ネットワーク
- 情報学 / 情報学基礎 / 情報学基礎理論
- 情報学 / 人間情報学 / 知能情報学
研究キーワード
- 分権コンピューティング
- 情報セキュリティ
- ソフトウェア工学
- 形式手法
- プログラミング言語理論
- 説明可能なAI
所属学会
教育活動
授業担当
- 2025年, 教養教育, 2ターム, 情報・データ科学入門[1総総,1教一,1教二,1教国,1教英,1教日,1教四,1教五,1経]
- 2025年, 教養教育, 1ターム, 教養ゼミ
- 2025年, 学部専門, 4ターム, 情報科学演習IV(計算機科学プログラム)
- 2025年, 学部専門, 1ターム, 計算機科学セミナーI
- 2025年, 学部専門, 2ターム, 計算機科学セミナーII
- 2025年, 学部専門, セメスター(後期), 卒業論文
- 2025年, 修士課程・博士課程前期, 1ターム, 情報科学特別演習A
- 2025年, 修士課程・博士課程前期, 2ターム, 情報科学特別演習A
- 2025年, 修士課程・博士課程前期, 3ターム, 情報科学特別演習A
- 2025年, 修士課程・博士課程前期, 4ターム, 情報科学特別演習A
- 2025年, 修士課程・博士課程前期, 3ターム, 情報科学特別演習B
- 2025年, 修士課程・博士課程前期, 4ターム, 情報科学特別演習B
- 2025年, 修士課程・博士課程前期, 年度, 情報科学特別研究
- 2025年, 修士課程・博士課程前期, 3ターム, 情報システム論
研究活動
学術論文(★は代表的な論文)
- 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
- Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, pp. 324-325, 20240414
- ★, Data Aggregation Management With Self-Sovereign Identity in Decentralized Networks, IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 21巻, 6号, pp. 6174-6189, 202412
- 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
- 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
- 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
- Hand Gesture Classification Using sEMG Signals: Nearest-Centroid-Based Methodology With DBA, IEEE ACCESS, 12巻, pp. 141916-141931, 2024
- Model-Driven Security Analysis of Self-Sovereign Identity Systems, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
- 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
- 1-D CNN-Based Online Signature Verification with Federated Learning, International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20240529
- 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
- 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
- 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
- ★, Bloccess: Enabling Fine-Grained Access Control Based on Blockchain, Journal of Network and Systems Management, 31巻, 1号, 20230301
- Leveraging Self-Sovereign Identity in Decentralized Data Aggregation, 2022 9th International Conference on Software Defined Systems, SDS 2022, 20220101
- Elastic Trust Management in Decentralized Computing Environments, Frontiers in Artificial Intelligence and Applications, 352巻, pp. 1-8, 20220810
- 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
- ★, Formalism-Driven Development: Concepts, Taxonomy, and Practice, Applied Sciences (Switzerland), 12巻, 7号, 20220401
- 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
- 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
- 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
- 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
- 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
- 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