Fotografi av Mikael Asplund

Mikael Asplund

Biträdande professor

Min forskning handlar om säkerhet och pålitlighet för cyberfysiska system.

Presentation

Min forskning handlar om säkerhet och pålitlighet för cyberfysiska system. I detta ingår formella resonemang kring säkerhets- och korrekthetsegenskaper, design av nya protokoll och algoritmer, samt utvärdering med hjälp av simuleringar och realistiska testsystem. Bland de relevanta tillämpningarna ingår intelligenta transportsystem, smarta elnät och autonoma system.

Jag undervisar i kurser som till exempel diskreta strukturer, cybersäkerhet, processprogrammering och operativsystem och etisk hackning. Jag är ansvarig för Masterprogrammet i cybersäkerhet och Civilingenjörsprogrammet i informationsteknologi.

För uppdaterad information om forskningsaktiviteter se www.asplund.eu

Kort om min bakgrund och mina uppdrag

Kort CV

  • Docent i datalogi, LiU 2018.
  • Forskarassistent, LiU, 2011-2015
  • Research Fellow, Trinity College Dublin, 2011-2012
  • Doktorsexamen i datalogi, LiU, 2011
  • Licentiatexamen i datalogi, LiU, 2007
  • Doktorand, LiU, 2005-2011
  • Civilingenjör i datateknik, LiU, 2005

Länkar

Forskningsprojekt (utvalda)

  • Protocol security verification using dynamic key structures, 2023-2028, finansierat av ELLIIT, huvudsökande
  • DDoS detection in 5G/6G networks, 2023-2028, finansierat av ELLIIT, medsökande
  • Automating Security Assurance using Formal Methods, 2022-2027, finansierat av WASP, huvudsökande
  • Adaptive Software for the Heterogeneous Edge-Cloud Continuum (ASTECC), 2022-2027, finansierat av SSF, medsökande
  • Triple-A: Securing First Encounters, 2022-2026, finansierat av WASP, huvudsökande
  • Hållbar energi med adaptiv säkerhet (SEAS), 2021-2023, finansierat av Vinnova, huvudsökande

Uppdrag

  • Kontaktperson för masterprogrammet i cybersäkerhet
  • Ordförande i programplanegruppen för IT-programmet Civilingenjörsprogram i informationsteknologi
  • Vice ordförande i nämnden för data och medieteknik
  • Ansvarig för profilen Programmering och Algoritmer på civilingenjörsprogrammen i datateknik, mjukvaruteknik och informationsteknologi
  • Forskningskoordinator för Ride the future (ridethefuture.se), 2020-2022
  • SACO-representant i lokala samverkansgruppen för IDA, LiU 2017-2022

 

Publikationer

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, s. 97-110 (Konferensbidrag) Vidare till DOI
Charilaos Skandylas, Mikael Asplund (2025) Automated penetration testing: Formalization and realization Computers & Security, Vol. 155, Artikel 104454 (Artikel i tidskrift) Vidare till 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, Artikel 39 (Artikel i tidskrift) Vidare till 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, s. 283-302 (Konferensbidrag) Vidare till 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 (Konferensbidrag) Vidare till DOI

Forskningsprojekt

Undervisning

Nyheter

Cybersäkerhet och pålitlighet för samhällsviktiga system

Våra finansiella system, elsystem och transportsystem styrs av mjukvara. Det finns många exempel på vad konsekvenserna kan bli om dessa system hackas. Mikael Asplund vid Institutionen för datavetenskap berättar om cybersäkerhet och hur bland annat artificiell intelligens kan användas för att göra systemen säkrare.

Från Forskarfredag 2023; Forskarhörnan.

Om avdelningen

Kollegor vid SAS

Om institutionen