Formalising Reconciliation in Partitionable Networks with Distributed Services. - Mikael Asplund; Simin Nadjm-Tehrani (RODIN Book, 2006)

Post-partition reconciliation protocols for maintaining consistency. - Mikael Asplund; Simin Nadjm-Tehrani (SAC, 2006)

Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. - Mikael Asplund; Simin Nadjm-Tehrani; Stefan Beyer; Pablo Galdámez (DSN, 2007)

Emerging Information Infrastructures: Cooperation in Disasters. - Mikael Asplund; Simin Nadjm-Tehrani; Johan Sigholm (CRITIS, 2008)

A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. - Mikael Asplund; Simin Nadjm-Tehrani (SRDS, 2009)

Middleware extensions that trade consistency for availability. - Mikael Asplund; Simin Nadjm-Tehrani; Klemen Zagar (Concurr. Comput. Pract. Exp., 2009)

Wireless ad hoc dissemination for search and rescue. - Mikael Asplund; Trishan R. de Lanerolle; Christopher Fei; Prasanna Gautam; Ralph A. Morelli; Simin Nadjm-Tehrani; Gustav Nykvist (ISCRAM, 2010)

Anomaly Detection and Mitigation for Disaster Area Networks. - Jordi Cucurull; Mikael Asplund; Simin Nadjm-Tehrani (RAID, 2010)

Communication problems in crisis response. - Jonas Lundberg; Mikael Asplund (ISCRAM, 2011)

Software-related energy footprint of a wireless broadband module. - Mikael Asplund; Anton Thomasson; Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (MOBIWAC, 2011)

Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund; Urko Zurutuza (NGMAST, 2011)

Disconnected Discoveries: Availability Studies in Partitioned Networks. - Mikael Asplund (2011)

Analysing Delay-Tolerant Networks with Correlated Mobility. - Mikael Asplund; Simin Nadjm-Tehrani (ADHOC-NOW, 2012)

A Formal Approach to Autonomous Vehicle Coordination. - Mikael Asplund; Atif Manzoor; Mélanie Bouroche; Siobhán Clarke; Vinny Cahill (FM, 2012)

Trust Evaluation for Participatory Sensing. - Atif Manzoor; Mikael Asplund; Mélanie Bouroche; Siobhán Clarke; Vinny Cahill (MobiQuitous, 2012)

Worst-case latency of broadcast in intermittently connected networks. - Mikael Asplund; Simin Nadjm-Tehrani (Int. J. Ad Hoc Ubiquitous Comput., 2012)

Surviving Attacks in Challenged Networks. - Jordi Cucurull; Mikael Asplund; Simin Nadjm-Tehrani; Tiziano Santoro (IEEE Trans. Dependable Secur. Comput., 2012)

Reliable broadcast in vehicular ad-hoc networks. - Shu Zhang; Mikael Asplund; Vinny Cahill (IWCMC, 2013)

Why is fingerprint-based indoor localization still so hard? - Brieuc Viel; Mikael Asplund (PerCom Workshops, 2014)

Poster: Securing vehicular platoon membership. - Mikael Asplund (VNC, 2014)

Cooperative proxies: Optimally trading energy and quality of service in mobile devices. - Aruna Prem Bianzino; Mikael Asplund; Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (Comput. Networks, 2014)

Modelling Correlated Mobility. - Mikael Asplund; Simin Nadjm-Tehrani (CoRR, 2014)

Model-Based Membership Verification in Vehicular Platoons. - Mikael Asplund (DSN Workshops, 2015)

Sharing the Cost of Lunch: Energy Apportionment Policies. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund (Q2SWinet@MSWiM, 2015)

Exploiting Bro for Intrusion Detection in a SCADA System. - Robert Udd; Mikael Asplund; Simin Nadjm-Tehrani; Mehrdad Kazemtabrizi; Mathias Ekstedt (CPSS@AsiaCCS, 2016)

Connectivity-optimal shortest paths using crowdsourced data. - Tim Hultman; Abdeldjalil Boudjadar; Mikael Asplund (PerCom Workshops, 2016)

Attitudes and Perceptions of IoT Security in Critical Societal Services. - Mikael Asplund; Simin Nadjm-Tehrani (IEEE Access, 2016)

Fairness and Incentive Considerations in Energy Apportionment Policies. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016)

Timing-Based Anomaly Detection in SCADA Networks. - Chih-Yuan Lin; Simin Nadjm-Tehrani; Mikael Asplund (CRITIS, 2017)

On the impact of sybil attacks in cooperative driving scenarios. - Felipe Boeira; Marinho P. Barcellos; Edison Pignaton de Freitas; Alexey V. Vinel; Mikael Asplund (Networking, 2017)

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. - Mikael Asplund; Jakob Lovhall; Emília Villani (PRDC, 2017)

Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning. - Felipe Boeira; Marinho P. Barcellos; Edison Pignaton de Freitas; Alexey V. Vinel; Mikael Asplund (VNC, 2017)

CERTS 2018 Introduction. - Mikael Asplund; Sibin Mohan (DSN Workshops, 2018)

The future of IoT security: special session. - Sibin Mohan; Mikael Asplund; Gedare Bloom; Ahmad-Reza Sadeghi; Ahmad Ibrahim 002; Negin Salajageh; Paul Griffioen; Bruno Sinopoli (EMSOFT, 2018)

Vouch: A Secure Proof-of-Location Scheme for VANETs. - Felipe Boeira; Mikael Asplund; Marinho P. Barcellos (MSWiM, 2018)

In-Store Payments Using Bitcoin. - Mikael Asplund; Jakob Lovhall; Simin Nadjm-Tehrani (NTMS, 2018)

Mitigating Position Falsification Attacks in Vehicular Platooning. - Felipe Boeira; Mikael Asplund; Marinho P. Barcellos (VNC, 2018)

Automatically proving the correctness of vehicle coordination. - Mikael Asplund (ICT Express, 2018)

A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency. - Filip Strömbäck; Linda Mannila; Mikael Asplund; Mariam Kamkar (ICER, 2019)

Can Microkernels Mitigate Microarchitectural Attacks? - Gunnar Grimsdal; Patrik Lundgren; Christian Vestlund; Felipe Boeira; Mikael Asplund (NordSec, 2019)

Decentralized proof of location in vehicular Ad Hoc networks. - Felipe Boeira; Mikael Asplund; Marinho P. Barcellos (Comput. Commun., 2019)

Permissioned blockchains and distributed databases: A performance study. - Sara Bergman; Mikael Asplund; Simin Nadjm-Tehrani (Concurr. Comput. Pract. Exp., 2020)

Blockchain-based event processing in supply chains - A case study at IKEA. - Tobias Sund; Claes Lööf; Simin Nadjm-Tehrani; Mikael Asplund (Robotics Comput. Integr. Manuf., 2020)

Combining Detection and Verification for Secure Vehicular Cooperation Groups. - Mikael Asplund (ACM Trans. Cyber Phys. Syst., 2020)

UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks. - Carlos Felipe Emygdio de Melo; Tulio Dapper e Silva; Felipe Boeira; Jorgito Matiuzzi Stocchero; Alexey V. Vinel; Mikael Asplund; Edison Pignaton de Freitas (IEEE Access, 2021)

Decentralized Firmware Attestation for In-Vehicle Networks. - Abhimanyu Rawat; Mohammad Khodari; Mikael Asplund; Andrei V. Gurtov (ACM Trans. Cyber Phys. Syst., 2021)

Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. - Felipe Boeira; Mikael Asplund (CSF, 2022)

Evaluation of an SDN-based Microservice Architecture. - Anton Hölscher; Mikael Asplund; Felipe Boeira (NetSoft, 2022)

Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters. - David Lantz; Felipe Boeira; Mikael Asplund (NordSec, 2022)

No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios. - Felipe Boeira; Mikael Asplund; Marinho P. Barcellos (WISEC, 2022)

Remote Attestation Assurance Arguments for Trusted Execution Environments. - Ahmad B. Usman; Nigel Cole; Mikael Asplund; Felipe Boeira; Christian Vestlund (SAT-CPS@CODASPY, 2023)

Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. - Roland Plaka; Mikael Asplund; Simin Nadjm-Tehrani (critis, 2023)

Extending the Authentication Hierarchy with One-Way Agreement. - Johannes Wilson; Mikael Asplund; Niklas Johansson (CSF, 2023)

Provable Non-Frameability for 5G Lawful Interception. - Felipe Boeira; Mikael Asplund; Marinho P. Barcellos (WISEC, 2023)

Provably Secure Communication Protocols for Remote Attestation. - Johannes Wilson; Mikael Asplund; Niklas Johansson; Felipe Boeira (ARES, 2024)

Analysing TLS Implementations Using Full-Message Symbolic Execution. - Johannes Wilson; Mikael Asplund (NordSec, 2024)

Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure. - Mohammad Hamad; Michael Kühr; Haralambos Mouratidis; Eleni-Maria Kalogeraki; Christos A. Gizelis; Dimitrios Papanikas; Athanasios Bountioukos-Spinaris; Charilaos Skandylas; Evangelos Raptis; Andreas Alexopoulos; Grigorios Chrysos 001; Mina Marmpena; et al. (DATE, 2025)

Cybersecurity Challenges of Autonomous Systems. - Mohammad Hamad; Christian Prehofer; Mikael Asplund; Tobias Löhr; Lucas Bublitz; Alexander Zeh; Mridula Singh; Sebastian Steinhorst (DATE, 2025)

Update at Your Own Risk: Analysis and Recommendations for Update-Related Vulnerabilities. - Ahmad B. Usman; Mikael Asplund (SEC (2), 2025)

Topology-Aware Prioritized Patching for EV Charging Infrastructure Vulnerabilities. - Roland Plaka; Mikael Asplund; Simin Nadjm-Tehrani (VEHITS, 2025)

Automated penetration testing: Formalization and realization. - Charilaos Skandylas; Mikael Asplund (Comput. Secur., 2025)

Towards privacy-preserving anomaly-based intrusion detection in energy communities. - Zeeshan Afzal; Giovanni Battista Gaggero; Mikael Asplund (Energy Inform., 2025)

From balance to breach: cyber threats to battery energy storage systems. - Frans Öhrström; Joakim Oscarsson; Zeeshan Afzal; János Dani; Mikael Asplund (Energy Inform., 2025)