丁 曄澎YEPENG DING
Last Updated :2025/04/03
- 所属・職名
- 情報メディア教育研究センター 助教
- ホームページ
- メールアドレス
- 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年, 修士課程・博士課程前期, 年度, 情報科学特別研究
研究活動
学術論文(★は代表的な論文)
- Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, pp. 324-325, 20240414
- 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
- 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
- ★, 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
- 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