YEPENG DING

Last Updated :2025/04/03

Affiliations, Positions
Information Media Center, Assistant Professor
Web Site
https://yepengding.github.io/
E-mail
ypdinghiroshima-u.ac.jp
Self-introduction
My research focus centers around the theoretical and practical aspects of decentralized computing, information security, and software engineering. I am also engaged in the construction and optimization of complex systems, such as distributed systems, security infrastructure, and explainable AI.

Basic Information

Major Professional Backgrounds

  • 2023/09, 2024/01, ETH Zurich, Academic Guest

Educational Backgrounds

  • The University of Tokyo, Japan, 2021/04, 2024/03
  • ETH Zurich, Switzerland, 2022, 2023
  • The University of Tokyo, Japan, 2019/04, 2021/03
  • Georgia Institute of Technology, United States of America, 2019/08, 2021/05

Academic Degrees

  • Georgia Institute of Technology
  • The University of Tokyo
  • The University of Tokyo

Research Fields

  • Informatics;Computing Technologies;Information security
  • Informatics;Computing Technologies;Software
  • Informatics;Computing Technologies;Information network
  • Informatics;Principles of Informatics;Theory of informatics
  • Informatics;Human informatics;Intelligent informatics

Research Keywords

  • Decentralized Computing
  • Information Security
  • Software Engineering
  • Formal Methods
  • Programming Language Theory
  • Explainable AI

Educational Activity

Course in Charge

  1. 2025, Liberal Arts Education Program1, 2Term, Introduction to Information and Data Sciences
  2. 2025, Liberal Arts Education Program1, 1Term, Introductory Seminar for First-Year Students
  3. 2025, Undergraduate Education, 4Term, Informatics and Data Science Exercise IV
  4. 2025, Undergraduate Education, 1Term, Computer Science Seminar I
  5. 2025, Undergraduate Education, 2Term, Computer Science Seminar II
  6. 2025, Undergraduate Education, Second Semester, Graduation Thesis
  7. 2025, Graduate Education (Master's Program) , 1Term, Special Exercises on Informatics and Data Science A
  8. 2025, Graduate Education (Master's Program) , 2Term, Special Exercises on Informatics and Data Science A
  9. 2025, Graduate Education (Master's Program) , Academic Year, Special Study on Informatics and Data Science

Research Activities

Academic Papers

  1. Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 17-22, 20200801