YEPENG DING
Last Updated :2025/04/03
- Affiliations, Positions
- Information Media Center, Assistant Professor
- Web Site
- E-mail
- ypding
hiroshima-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
- 2025, Liberal Arts Education Program1, 2Term, Introduction to Information and Data Sciences
- 2025, Liberal Arts Education Program1, 1Term, Introductory Seminar for First-Year Students
- 2025, Undergraduate Education, 4Term, Informatics and Data Science Exercise IV
- 2025, Undergraduate Education, 1Term, Computer Science Seminar I
- 2025, Undergraduate Education, 2Term, Computer Science Seminar II
- 2025, Undergraduate Education, Second Semester, Graduation Thesis
- 2025, Graduate Education (Master's Program) , 1Term, Special Exercises on Informatics and Data Science A
- 2025, Graduate Education (Master's Program) , 2Term, Special Exercises on Informatics and Data Science A
- 2025, Graduate Education (Master's Program) , Academic Year, Special Study on Informatics and Data Science
Research Activities
Academic Papers
- Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification, International Conference on Software Engineering: Companion Proceedings, 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, 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, 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, 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, 1-8, 20220810
- Self-Sovereign Identity as a Service: Architecture in Practice, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022, 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, 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, 693-709, 20220101
- Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic, International Conference on Algorithms and Architectures for Parallel Processing, 12452 LNCS, 480-494, 20200101
- ★, Dagbase: A Decentralized Database Platform Using DAG-Based Consensus, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020, 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, 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, 17-22, 20200801