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

2024

Ahmad Usman, Mikael Asplund (2024) Remote Attestation with Software Updates in Embedded Systems

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira (2024) Provably Secure Communication Protocols for Remote Attestation Proceedings of the 19th International Conference on Availability, Reliability and Security (Konferensbidrag)

Vidare till DOI

Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani (2024) Vulnerability Analysis of an Electric Vehicle Charging Ecosystem CRITICAL INFORMATION INFRASTRUCTURES SECURITY, CRITIS 2023, s. 155-173 (Konferensbidrag)

Vidare till DOI

2023

Ahmad Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund (2023) Remote Attestation Assurance Arguments for Trusted Execution Environments

Ahmad Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund (2023) Remote Attestation Assurance Arguments for Trusted Execution Environments PROCEEDINGS OF THE 2023 ACM WORKSHOP ON SECURE AND TRUSTWORTHY CYBER-PHYSICAL SYSTEMS, SAT-CPS 2023, s. 33-42 (Konferensbidrag)

Vidare till DOI

Forskningsprojekt

Bild som illustrerar dataprogrammering med olika symboler.

Adaptiv programvara för heterogena edge-cloud system - ASTECC

ASTECC är ett femårigt forskningsprojekt inom programvaruteknik vid Institutionen för datavetenskap. Det finansieras av Stiftelsen för Strategisk Forskning (SSF).

Undervisning

Civilingenjör i informationsteknologi, 300 hp

Civilingenjörsprogrammet i informationsteknologi är unikt genom att du redan från start jobbar med problemlösning i team med dina klasskamrater. Med teknisk spets och mjuk kompetens passar du i ledande roller inom hela IT- och kommunikationsfältet.

Cybersecurity, masterprogram, 120 hp

Försvara samhället mot cyberattacker och utveckla nästa generations säkerhetslösningar! Detta program kombinerar teoretiska kurser och praktiska uppgifter som hjälper dig att möta dagens och morgondagens digitala säkerhetsutmaningar.

Nyheter

presentationsbild med porträtt av man och föreläsningstitel.

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.

Två kvinnor i samtal bakom en stor glasvägg med ordet Dospace.

LiU utbildar 1600 yrkesverksamma i AI och digital kompetens

Nu får östgötska företag chansen att öka sin digitala kompetens i ett nytt regionalt utbildningsprojekt. – Vårt mål är att höja företagens kompetens och öka företagens konkurrenskraft, säger projektledaren Cecilia Stevrin från Linköping Science Park.

Kvinna och man med headset och gröna militärkläder framför dator. Fler skärmar i bakgrunden.

LiU bekämpar cyberbrott med masterprogram

Företag och samhälle utsätts för allt fler cyberbrott i takt med den pågående digitaliseringen. Experter behövs för att skydda samhället. Därför startar Linköpings universitet ett masterprogram i cybersäkerhet hösten 2023.

IT-jobb utmanande och intressant anser unga kvinnor

En ny undersökning visar att fyra av tio unga kvinnor är lockade att arbeta med IT, men fortfarande finns negativa föreställningar om vad IT-yrken innebär.

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.