Mikael Asplund

75 papers A* 1A 8B 7C 6Misc 2Journal 24Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bridging remote attestation and secure software updates in embedded systems. Int. J. Inf. Sec. Ahmad B. Usman, Zeeshan Afzal, Mikael Asplund
2026	J	`jnl`	MoMEP: A formally verified protocol with modifiable signed messages. J. Inf. Secur. Appl. Reyhane Falanji, Mikael Asplund, Niklas Carlsson
2025	J	`jnl`	Automated penetration testing: Formalization and realization. Comput. Secur. Charilaos Skandylas, Mikael Asplund
2025	A	`conf`	Cybersecurity Challenges of Autonomous Systems. DATE Mohammad Hamad, Christian Prehofer, Mikael Asplund, Tobias Löhr, Lucas Bublitz, Alexander Zeh, Mridula Singh, Sebastian Steinhorst
2025	J	`jnl`	From Balance to Breach: Cyber Threats to Battery Energy Storage Systems. CoRR Frans Öhrström, Joakim Oscarsson, Zeeshan Afzal, János Dani, Mikael Asplund
2025	J	`jnl`	From balance to breach: cyber threats to battery energy storage systems. Energy Inform. Frans Öhrström, Joakim Oscarsson, Zeeshan Afzal, János Dani, Mikael Asplund
2025	A	`conf`	Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure. DATE 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, Mina Marmpena, Sevasti Politi, Konstantinos Lieros, Nikolaos Papagiannopoulos, Iordanis Xanthopoulos, Spyros Papastergiou, Sotiris Ioannidis, Mikael Asplund, Marc-Oliver Pahl, Sebastian Steinhorst
2025	A*	`conf`	Poster: PQ Noise Explorer. CCS Animesh Thakur, Mikael Asplund
2025	B	`conf`	Predicting Video QoE from Encrypted Traffic: Leveraging Video Fingerprinting and Providing System-Level Insights. Networking Somiya Kapoor, Ethan Witwer, David Hasselquist, Mikael Asplund, Niklas Carlsson
2025	J	`jnl`	The Dark Side of Flexibility: How Aggregated Cyberattacks Threaten the Power Grid. CoRR Daniel Myrén, Zeeshan Afzal, Mikael Asplund
2025	C	`conf`	Topology-Aware Prioritized Patching for EV Charging Infrastructure Vulnerabilities. VEHITS Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
2025	J	`jnl`	Towards Privacy-Preserving Anomaly-Based Intrusion Detection in Energy Communities. CoRR Zeeshan Afzal, Giovanni Battista Gaggero, Mikael Asplund
2025	J	`jnl`	Towards privacy-preserving anomaly-based intrusion detection in energy communities. Energy Inform. Zeeshan Afzal, Giovanni Battista Gaggero, Mikael Asplund
2025	—	`conf`	Update at Your Own Risk: Analysis and Recommendations for Update-Related Vulnerabilities. SEC (2) Ahmad B. Usman, Mikael Asplund
2024	—	`conf`	Analysing TLS Implementations Using Full-Message Symbolic Execution. NordSec Johannes Wilson, Mikael Asplund
2024	J	`jnl`	Automated Penetration Testing: Formalization and Realization. CoRR Charilaos Skandylas, Mikael Asplund
2024	B	`conf`	Provably Secure Communication Protocols for Remote Attestation. ARES Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira
2023	A	`conf`	Extending the Authentication Hierarchy with One-Way Agreement. CSF Johannes Wilson, Mikael Asplund, Niklas Johansson
2023	—	`conf`	Provable Non-Frameability for 5G Lawful Interception. WISEC Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
2023	—	`conf`	Remote Attestation Assurance Arguments for Trusted Execution Environments. SAT-CPS@CODASPY Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund
2023	C	`conf`	Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. critis Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
2022	B	`conf`	Evaluation of an SDN-based Microservice Architecture. NetSoft Anton Hölscher, Mikael Asplund, Felipe Boeira
2022	A	`conf`	Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CSF Felipe Boeira, Mikael Asplund
2022	—	`conf`	No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios. WISEC Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
2022	—	`conf`	Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters. NordSec David Lantz, Felipe Boeira, Mikael Asplund
2021	J	`jnl`	Decentralized Firmware Attestation for In-Vehicle Networks. ACM Trans. Cyber Phys. Syst. Abhimanyu Rawat, Mohammad Khodari, Mikael Asplund, Andrei V. Gurtov
2021	J	`jnl`	Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CoRR Felipe Boeira, Mikael Asplund
2021	—	`ed.`	Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, November 23-24, 2020, Proceedings NordSec Mikael Asplund, Simin Nadjm-Tehrani
2021	J	`jnl`	UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks. IEEE Access Carlos Felipe Emygdio de Melo, Tulio Dapper e Silva, Felipe Boeira, Jorgito Matiuzzi Stocchero, Alexey Vinel, Mikael Asplund, Edison Pignaton de Freitas
2020	J	`jnl`	Blockchain-based event processing in supply chains - A case study at IKEA. Robotics Comput. Integr. Manuf. Tobias Sund, Claes Lööf, Simin Nadjm-Tehrani, Mikael Asplund
2020	J	`jnl`	Combining Detection and Verification for Secure Vehicular Cooperation Groups. ACM Trans. Cyber Phys. Syst. Mikael Asplund
2020	J	`jnl`	Permissioned blockchains and distributed databases: A performance study. Concurr. Comput. Pract. Exp. Sara Bergman, Mikael Asplund, Simin Nadjm-Tehrani
2019	—	`ed.`	4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, CERTS@ECRTS 2019, Stuttgart, Germany, July 9, 2019 CERTS@ECRTS Mikael Asplund, Michael Paulitsch
2019	A	`conf`	A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency. ICER Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar
2019	—	`conf`	Can Microkernels Mitigate Microarchitectural Attacks? NordSec Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund
2019	—	`conf`	Decentralized Firmware Attestation for In-Vehicle Networks. CPSS@AsiaCCS Mohammad Khodari, Abhimanyu Rawat, Mikael Asplund, Andrei V. Gurtov
2019	J	`jnl`	Decentralized proof of location in vehicular Ad Hoc networks. Comput. Commun. Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
2018	J	`jnl`	Automatically proving the correctness of vehicle coordination. ICT Express Mikael Asplund
2018	—	`conf`	CERTS 2018 Introduction. DSN Workshops Mikael Asplund, Sibin Mohan
2018	—	`conf`	In-Store Payments Using Bitcoin. NTMS Mikael Asplund, Jakob Lovhall, Simin Nadjm-Tehrani
2018	—	`conf`	Mitigating Position Falsification Attacks in Vehicular Platooning. VNC Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
2018	Misc	`conf`	The future of IoT security: special session. EMSOFT Sibin Mohan, Mikael Asplund, Gedare Bloom, Ahmad-Reza Sadeghi, Ahmad Ibrahim, Negin Salajageh, Paul Griffioen, Bruno Sinopoli
2018	A	`conf`	Vouch: A Secure Proof-of-Location Scheme for VANETs. MSWiM Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
2017	—	`conf`	Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning. VNC Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
2017	B	`conf`	On the impact of sybil attacks in cooperative driving scenarios. Networking Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
2017	C	`conf`	Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC Mikael Asplund, Jakob Lovhall, Emília Villani
2017	C	`conf`	Timing-Based Anomaly Detection in SCADA Networks. CRITIS Chih-Yuan Lin, Simin Nadjm-Tehrani, Mikael Asplund
2016	J	`jnl`	Attitudes and Perceptions of IoT Security in Critical Societal Services. IEEE Access Mikael Asplund, Simin Nadjm-Tehrani
2016	—	`conf`	Connectivity-optimal shortest paths using crowdsourced data. PerCom Workshops Tim Hultman, Abdeldjalil Boudjadar, Mikael Asplund
2016	—	`conf`	Exploiting Bro for Intrusion Detection in a SCADA System. CPSS@AsiaCCS Robert Udd, Mikael Asplund, Simin Nadjm-Tehrani, Mehrdad Kazemtabrizi, Mathias Ekstedt
2016	J	`jnl`	Fairness and Incentive Considerations in Energy Apportionment Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
2015	—	`conf`	Model-Based Membership Verification in Vehicular Platoons. DSN Workshops Mikael Asplund
2015	—	`conf`	Sharing the Cost of Lunch: Energy Apportionment Policies. Q2SWinet@MSWiM Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
2014	J	`jnl`	Cooperative proxies: Optimally trading energy and quality of service in mobile devices. Comput. Networks Aruna Prem Bianzino, Mikael Asplund, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2014	J	`jnl`	Modelling Correlated Mobility. CoRR Mikael Asplund, Simin Nadjm-Tehrani
2014	—	`conf`	Poster: Securing vehicular platoon membership. VNC Mikael Asplund
2014	—	`conf`	Why is fingerprint-based indoor localization still so hard? PerCom Workshops Brieuc Viel, Mikael Asplund
2013	B	`conf`	Reliable broadcast in vehicular ad-hoc networks. IWCMC Shu Zhang, Mikael Asplund, Vinny Cahill
2012	B	`conf`	A Formal Approach to Autonomous Vehicle Coordination. FM Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill
2012	—	`conf`	Analysing Delay-Tolerant Networks with Correlated Mobility. ADHOC-NOW Mikael Asplund, Simin Nadjm-Tehrani
2012	J	`jnl`	Surviving Attacks in Challenged Networks. IEEE Trans. Dependable Secur. Comput. Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani, Tiziano Santoro
2012	C	`conf`	Trust Evaluation for Participatory Sensing. MobiQuitous Atif Manzoor, Mikael Asplund, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill
2012	J	`jnl`	Worst-case latency of broadcast in intermittently connected networks. Int. J. Ad Hoc Ubiquitous Comput. Mikael Asplund, Simin Nadjm-Tehrani
2011	—	`conf`	Communication problems in crisis response. ISCRAM Jonas Lundberg, Mikael Asplund
2011	—	`—`	Disconnected Discoveries: Availability Studies in Partitioned Networks. Mikael Asplund
2011	—	`conf`	Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. NGMAST Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza
2011	—	`conf`	Software-related energy footprint of a wireless broadband module. MOBIWAC Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2010	A	`conf`	Anomaly Detection and Mitigation for Disaster Area Networks. RAID Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani
2010	—	`conf`	Wireless ad hoc dissemination for search and rescue. ISCRAM Mikael Asplund, Trishan R. de Lanerolle, Christopher Fei, Prasanna Gautam, Ralph A. Morelli, Simin Nadjm-Tehrani, Gustav Nykvist
2009	B	`conf`	A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS Mikael Asplund, Simin Nadjm-Tehrani
2009	J	`jnl`	Middleware extensions that trade consistency for availability. Concurr. Comput. Pract. Exp. Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar
2008	C	`conf`	Emerging Information Infrastructures: Cooperation in Disasters. CRITIS Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm
2007	A	`conf`	Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. DSN Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez
2006	—	`conf`	Formalising Reconciliation in Partitionable Networks with Distributed Services. RODIN Book Mikael Asplund, Simin Nadjm-Tehrani
2006	Misc	`conf`	Post-partition reconciliation protocols for maintaining consistency. SAC Mikael Asplund, Simin Nadjm-Tehrani