Mikael Asplund

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 33

Top Venues

VNC

DSN Workshops

ACM Trans. Cyber Phys. Syst.

NordSec

Linköping University, Sweden (PHD)

Education History

Linköping University, Sweden

PHD

Publications

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira
Provably Secure Communication Protocols for Remote Attestation. ARES (2024)
Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund
Remote Attestation Assurance Arguments for Trusted Execution Environments. SAT-CPS@CODASPY (2023)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Provable Non-Frameability for 5G Lawful Interception. WISEC (2023)
Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. critis (2023)
Johannes Wilson, Mikael Asplund, Niklas Johansson
Extending the Authentication Hierarchy with One-Way Agreement. CSF (2023)
Anton Hölscher, Mikael Asplund, Felipe Boeira
Evaluation of an SDN-based Microservice Architecture. NetSoft (2022)
Felipe Boeira, Mikael Asplund
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CSF (2022)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios. WISEC (2022)
David Lantz, Felipe Boeira, Mikael Asplund
Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters. NordSec (2022)
Felipe Boeira, Mikael Asplund
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CoRR (2021)
Abhimanyu Rawat, Mohammad Khodari, Mikael Asplund, Andrei V. Gurtov
Decentralized Firmware Attestation for In-Vehicle Networks. ACM Trans. Cyber Phys. Syst. 5 (1) (2021)
Carlos Felipe Emygdio de Melo, Tulio Dapper e Silva, Felipe Boeira, Jorgito Matiuzzi Stocchero, Alexey V. Vinel, Mikael Asplund, Edison Pignaton de Freitas
UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks. IEEE Access 9 (2021)
Tobias Sund, Claes Lööf, Simin Nadjm-Tehrani, Mikael Asplund
Blockchain-based event processing in supply chains - A case study at IKEA. Robotics Comput. Integr. Manuf. 65 (2020)
Mikael Asplund
Combining Detection and Verification for Secure Vehicular Cooperation Groups. ACM Trans. Cyber Phys. Syst. 4 (1) (2020)
Sara Bergman, Mikael Asplund, Simin Nadjm-Tehrani
Permissioned blockchains and distributed databases: A performance study. Concurr. Comput. Pract. Exp. 32 (12) (2020)
Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar
A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency. ICER (2019)
Mohammad Khodari, Abhimanyu Rawat, Mikael Asplund, Andrei V. Gurtov
Decentralized Firmware Attestation for In-Vehicle Networks. CPSS@AsiaCCS (2019)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Decentralized proof of location in vehicular Ad Hoc networks. Comput. Commun. 147 (2019)
Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund
Can Microkernels Mitigate Microarchitectural Attacks? NordSec (2019)
Sibin Mohan, Mikael Asplund, Gedare Bloom, Ahmad-Reza Sadeghi, Ahmad Ibrahim, Negin Salajageh, Paul Griffioen, Bruno Sinopoli
The future of IoT security: special session. EMSOFT (2018)
Mikael Asplund, Sibin Mohan
CERTS 2018 Introduction. DSN Workshops (2018)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Mitigating Position Falsification Attacks in Vehicular Platooning. VNC (2018)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Vouch: A Secure Proof-of-Location Scheme for VANETs. MSWiM (2018)
Mikael Asplund
Automatically proving the correctness of vehicle coordination. ICT Express 4 (1) (2018)
Mikael Asplund, Jakob Lovhall, Simin Nadjm-Tehrani
In-Store Payments Using Bitcoin. NTMS (2018)
Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning. VNC (2017)
Mikael Asplund, Jakob Lovhall, Emília Villani
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC (2017)
Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
On the impact of sybil attacks in cooperative driving scenarios. Networking (2017)
Chih-Yuan Lin, Simin Nadjm-Tehrani, Mikael Asplund
Timing-Based Anomaly Detection in SCADA Networks. CRITIS (2017)
Robert Udd, Mikael Asplund, Simin Nadjm-Tehrani, Mehrdad Kazemtabrizi, Mathias Ekstedt
Exploiting Bro for Intrusion Detection in a SCADA System. CPSS@AsiaCCS (2016)
Mikael Asplund, Simin Nadjm-Tehrani
Attitudes and Perceptions of IoT Security in Critical Societal Services. IEEE Access 4 (2016)
Tim Hultman, Abdeldjalil Boudjadar, Mikael Asplund
Connectivity-optimal shortest paths using crowdsourced data. PerCom Workshops (2016)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
Fairness and Incentive Considerations in Energy Apportionment Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. 2 (1) (2016)
Mikael Asplund
Model-Based Membership Verification in Vehicular Platoons. DSN Workshops (2015)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
Sharing the Cost of Lunch: Energy Apportionment Policies. Q2SWinet@MSWiM (2015)
Mikael Asplund
Poster: Securing vehicular platoon membership. VNC (2014)
Mikael Asplund, Simin Nadjm-Tehrani
Modelling Correlated Mobility. CoRR (2014)
Aruna Prem Bianzino, Mikael Asplund, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Cooperative proxies: Optimally trading energy and quality of service in mobile devices. Comput. Networks 75 (2014)
Brieuc Viel, Mikael Asplund
Why is fingerprint-based indoor localization still so hard? PerCom Workshops (2014)
Shu Zhang, Mikael Asplund, Vinny Cahill
Reliable broadcast in vehicular ad-hoc networks. IWCMC (2013)
Atif Manzoor, Mikael Asplund, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill
Trust Evaluation for Participatory Sensing. MobiQuitous (2012)
Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani, Tiziano Santoro
Surviving Attacks in Challenged Networks. IEEE Trans. Dependable Secur. Comput. 9 (6) (2012)
Mikael Asplund, Simin Nadjm-Tehrani
Analysing Delay-Tolerant Networks with Correlated Mobility. ADHOC-NOW (2012)
Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill
A Formal Approach to Autonomous Vehicle Coordination. FM (2012)
Mikael Asplund, Simin Nadjm-Tehrani
Worst-case latency of broadcast in intermittently connected networks. Int. J. Ad Hoc Ubiquitous Comput. 11 (2/3) (2012)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza
Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. NGMAST (2011)
Jonas Lundberg, Mikael Asplund
Communication problems in crisis response. ISCRAM (2011)
Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Software-related energy footprint of a wireless broadband module. MOBIWAC (2011)
Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani
Anomaly Detection and Mitigation for Disaster Area Networks. RAID (2010)
Mikael Asplund, Trishan R. de Lanerolle, Christopher Fei, Prasanna Gautam, Ralph A. Morelli, Simin Nadjm-Tehrani, Gustav Nykvist
Wireless ad hoc dissemination for search and rescue. ISCRAM (2010)
Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar
Middleware extensions that trade consistency for availability. Concurr. Comput. Pract. Exp. 21 (9) (2009)
Mikael Asplund, Simin Nadjm-Tehrani
A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS (2009)
Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm
Emerging Information Infrastructures: Cooperation in Disasters. CRITIS (2008)
Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez
Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. DSN (2007)
Mikael Asplund, Simin Nadjm-Tehrani
Post-partition reconciliation protocols for maintaining consistency. SAC (2006)
Mikael Asplund, Simin Nadjm-Tehrani
Formalising Reconciliation in Partitionable Networks with Distributed Services. RODIN Book (2006)

Mikael Asplund.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mikael Asplund