福利姬

Photo of Mikael Asplund

Mikael Asplund

Senior Associate Professor, Head of Division

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鈥檓 the coordinator for a two-year Master鈥檚 programme in Cybersecurity and a five-years Master鈥檚 programme in Information technology.

For updated information about research activities see


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

  • Personal web page: 

Publications

2026

Ahmad Usman, Zeeshan Afzal, Mikael Asplund (2026) International Journal of Information Security, Vol. 25, Article 75 (Article in journal)
Reyhane Falanji, Mikael Asplund, Niklas Carlsson (2026) Journal of Information Security and Applications, Vol. 98, Article 104378 (Article in journal)

2025

Animesh Thakur, Mikael Asplund (2025) PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, p. 4794-4796 (Conference paper)
Zeeshan Afzal, Giovanni Gaggero, Mikael Asplund (2025) Energy Informatics, Vol. 8, Article 109 (Article in journal)
Mohammad Hamad, Michael Kuehr, Haralambos Mouratidis, Eleni-Maria Kalogeraki, Christos Gizelis, Dimitris Papanikas, Athanasios Bountioukos-Spinaris, Charilaos Skandylas, Evangelos Raptis, Andreas Alexopoulos, Grigorios Chrysos, Mina Marmpena, Sevasti Politi, Konstantinos Lieros, Papagiannopoulos Nikolaos, Iordanis Xanthopoulos, Spyros Papastergiou, Sotiris Ioannidis, Mikael Asplund, Marc-Oliver Pahl, Sebastian Steinhorst (2025) 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE (Conference paper)

Research

Teaching

News

Cyber security and critical systems reliability

Our financial systems, electrical systems and transport systems are controlled by software. There are many examples of what the consequences could be if these systems are hacked. Mikael Asplund at the Department of Computer and Information Science speaks about cyber security and how artificial intelligence can be used to make systems more secure.

About the division

Colleagues at CYBER

About the department