Photo of Mikael Asplund

Mikael Asplund

Senior Associate Professor

My research is focused on security and dependability of cyber-physical systems.

Presentation

My research is focused on security and dependability of cyber-physical systems. This includes formal reasoning about security and correctness properties, designing new protocols and algorithms, and evaluation using simulation and realistic testbeds. Relevant application areas include intelligent transportation systems, smart grids, and autonomous systems.

I teach in courses such as discrete structures, cybersecurity, concurrent programming and operating systems, and ethical hacking. I’m the coordinator for a two-year Master’s programme in Cybersecurity and a five-years Master’s programme in Information technology.

For updated information about research activities see www.asplund.eu


My background in brief

Short CV

  • Docent in Computer Science, LiU 2018
  • Assistant Professor, LiU, 2011-2015
  • Research Fellow, Trinity College Dublin, 2011-2012
  • Doctoral degree (Ph.D.) in computer science, LiU, 2011
  • Licentiate degree in computer science, LiU, 2007
  • Graduate Student in computer science, LiU, 2005-2011
  • Master of computer science and engineering, LiU, 2005

Research Projects (selected)

  • Protocol security verification using dynamic key structures, 2023-2028, funded by ELLIIT, Principal investigator (PI)
  • DDoS detection in 5G/6G networks, 2023-2028, funded by ELLIIT, co-PI
  • Automating Security Assurance using Formal Methods, 2022-2027, funded by WASP, PI
  • Adaptive Software for the Heterogeneous Edge-Cloud Continuum (ASTECC), 2022-2027, funded by SSF, co-PI
  • Triple-A: Securing First Encounters, 2022-2026, funded by WASP, PI
  • Sustainable Energy with Adaptive Security (SEAS), 2021-2023, funded by Vinnova, PI

Responsibilities

  • Coordinator for Master’s programme in Cybersecurity
  • Chair for the planning group of Master of Science in Information Technology
  • Co-chair of the board of education for computer and media at LiU
  • Responsible for the Programming and Algorithms Master profile
  • Research coordinator for Ride the future (ridethefuture.se), 2020-2022
  • SACO union representative at the Computer Science Department at LiU 2017-2022

Links

Publications

2025

Ahmad Usman, Mikael Asplund (2025) Update at Your Own Risk: Analysis and Recommendations for Update-Related Vulnerabilities 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21–23, 2025, Proceedings, p. 97-110 (Conference paper) Continue to DOI
Charilaos Skandylas, Mikael Asplund (2025) Automated penetration testing: Formalization and realization Computers & Security, Vol. 155, Article 104454 (Article in journal) Continue to DOI
Frans Öhrström, Joakim Oscarsson, Zeeshan Afzal, János Dani, Mikael Asplund (2025) From balance to breach: cyber threats to battery energy storage systems Energy Informatics, Vol. 8, Article 39 (Article in journal) Continue to DOI
Johannes Wilson, Mikael Asplund (2025) Analysing TLS Implementations Using Full-Message Symbolic Execution Secure IT Systems: 29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings, p. 283-302 (Conference paper) Continue to DOI

2024

Ahmad Usman, Mikael Asplund (2024) Remote Attestation with Software Updates in Embedded Systems 2024 IEEE Conference on Communications and Network Security (CNS), Taipei, Taiwan (Conference paper) Continue to DOI

Research

Teaching

News

About the division

Colleagues at SAS

About the department