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

2023

Felipe Boeira, Mikael Asplund, Marinho Barcellos (2023) Provable Non-Frameability for 5G Lawful Interception PROCEEDINGS OF THE 16TH ACM CONFERENCE ON SECURITY AND PRIVACY IN WIRELESS AND MOBILE NETWORKS, WISEC 2023, s. 109-120

Vidare till DOI

Felipe Boeira, Mikael Asplund, Marinho Barcellos (2023) Provable Non-Frameability for 5G Lawful Interception Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks

Johannes Wilson, Mikael Asplund, Niklas Johansson (2023) Extending the Authentication Hierarchy with One-Way Agreement 2023 IEEE 36th Computer Security Foundations Symposium (CSF), s. 214-228

Vidare till DOI

Maria Eidenskog, Ola Leifler, Johanna Sefyrin, Ericka Johnson, Mikael Asplund (2023) Changing the world one engineer at a time - unmaking the traditional engineering education when introducing sustainability subjects International Journal of Sustainability in Higher Education, Vol. 24, s. 70-84

Vidare till DOI

2022

Felipe Boeira, Mikael Asplund (2022) Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol 2022 IEEE 35TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2022), s. 305-318

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).

Nyheter

Anna Friberg lutad mot en stor ladugårdsgrind.

LiU-forskare lyser upp Almedalsveckan

Kan dystopier visa vägen till en ljus framtid? Kan vi koppla av när vi kopplar upp? Det är några av rubrikerna när forskare från Linköpings universitet dyker upp under Almedalsveckan på Gotland 27 juni till 1 juli.

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.