معرفی
Mikael Asplund is an Assistant Professor in the Department of Computer Science at Linköping University, affiliated with the Software and Systems (SAS) division. His research focuses on the security and reliability of cyber-physical systems, particularly in intelligent transportation, smart grids, and autonomous systems.
Research Interests: His work integrates formal reasoning, protocol design, and evaluation through simulations and real-world testbeds. Key areas include formal verification of security protocols, remote attestation, automated penetration testing, and vulnerability analysis in critical infrastructure such as EV charging and battery storage systems.
Recent Research Trends: His recent publications (2023–2025) emphasize formal methods for security assurance, automated testing, and the application of these techniques to emerging technologies like 5G/6G networks, electric vehicles, and energy systems. There is a strong focus on provable security and practical implementations in embedded and distributed environments.
- Best paper award at ARES 2024.
- Nominated for best student paper at VEHITS 2025.
Academic Leadership and Grants: He leads or co-leads major projects funded by WASP, ELLIIT, Vinnova, SSF, and Horizon Europe, including Automating Security Assurance using Formal Methods, Protocol Security Verification, and CyberSecDome. He is responsible for the Master’s Program in Cybersecurity and the IT program at LiU, and actively promotes innovation in computer science education. He also coordinates the Cybersecurity Lab at LiU, a dedicated facility for hands-on cybersecurity training.
