Welcome to my web page!

I'm a senior lecturer in computer science at Linköping University. My research area is distributed systems with a focus on dependability and security. I also have a strong interest in moving computer science education into the 21st century.

Publications

Peer-reviewed articles in journals, books, conferences and workshops

2017
  • M.Asplund, J. Lövhall, E.Villani, Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination, in proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)
2016
  • E. J. Vergara, S. Nadjm-Tehrani, and M. Asplund, Fairness and Incentive Considerations in Energy Apportionment Policies in ACM Transactions on Modeling and Performance Evaluation of Computing Systems, volume 2 issue 1, 2016, doi:10.1145/2970816
  • M. Asplund and S. Nadjm-Tehrani, Attitudes and perceptions of IoT security in critical societal services, IEEE Access journal, 2016. doi:10.1109/ACCESS.2016.2560919 [ PDF, DiVA@LiU]
  • T. Hultman, A.Boudjadara, M.Asplund, Connectivity-optimal Shortest Paths Using Crowdsourced Data, 3rd International Workshop on Crowd Assisted Sensing, Pervasive Systems and Communications (CASPer), IEEE, 2016 doi:10.1109/PERCOMW.2016.7457106 [DiVA@LiU]
  • R. Udd, M. Asplund, S. Nadjm-Tehrani, M. Kazemtabrizi, and M. Ekstedt, Exploiting Bro for Intrusion Detection in a SCADA System, in Proceedings of the 2nd ACM Cyber-Physical System Security Workshop (CPSS), ACM, 2016. doi:10.1145/2899015.2899028 [ PDF, DiVA@LiU].
2015
  • M. Asplund, Model-based Membership Verification in Vehicular Platoons, in Dependable Systems and Networks Workshop (DSN-W), on Safety and Security of Intelligent Vehicles (SSIV 2015), IEEE. doi: 10.1109/DSN-W.2015.21 [PDF, DiVA@LiU]
  • M. Asplund and S. Nadjm-Tehrani, Advances in delay-tolerant networks (DTNs), Architecture and Enhanced Performance, ch. Rapid selection and dissemination of urgent messages over delay-tolerant networks (DTNs). Woodhead Publishing Series in Electronic and Optical Materials, Elsevier, 2015. doi:10.1533/9780857098467.2.187 [PDF, DiVA@LiU]
  • E. J. Vergara, S. Nadjm-Tehrani, and M. Asplund, Sharing the Cost of Lunch: Energy Apportionment Policies in Proceedings of the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet), 2015, ISBN: 978-1-4503-3757-1, doi: 10.1145/2815317.2815338. [DiVA@LiU]
2014
  • A. P. Biazino, M. Asplund, E. J. Vergara, and S. Nadjm-Tehrani, Cooperative Proxies: Optimally Trading Energy and Quality of Service in Mobile Devices, Computer Networks, Elsevier, 2014. doi: 10.1016/j.comnet.2014.10.013 [PDF, DiVA@LiU]
  • M. Asplund, Poster: Securing Vehicular Platoon Membership, in Proceedings of IEEE Vehicular Networking Conference (VNC), IEEE, 2014. doi:10.1109/VNC.2014.7013324. [DiVA@LiU]
  • B. Viel and M. Asplund, Why is indoor localization still so hard?, in The 6th International Workshop on Information Quality and Quality of Service for Pervasive Computing, PERCOM Workshop, March 2014. doi: 10.1109/PerComW.2014.6815247 [DiVA@LiU]
2013
  • S. Zhang, M. Asplund, V. Cahill Reliable Broadcast in Vehicular Ad-Hoc Networks in Proceedings of The 9th IEEE International Wireless Communications & Mobile Computing Conference (IWCMC 2013), July 2013. doi: 10.1109/IWCMC.2013.6583802
2012
  • M. Asplund, A. Manzoor, M. Bouroche, S. Clarke and V. Cahill, A Formal Approach to Autonomous Vehicle Coordination, in Proceedings of the 18th International Symposium on Formal Methods, Springer, August 2012. doi: 10.1007/978-3-642-32759-9_8 [PDF, DiVA@LiU, BibTeX]
  • J. Cucurull, M. Asplund, S. Nadjm-Tehrani, and T. Santoro, Surviving Attacks in Challenged Networks, IEEE Transactions on Dependable and Secure Computing, 2012. doi: 10.1109/TDSC.2012.67 [PDF, DiVA@LiU, BibTeX]
  • M. Asplund and S. Nadjm-Tehrani, Worst-case Latency of Broadcast in Intermittently Connected Networks, International Journal of Ad Hoc and Ubiquitous Computing, 2012. doi: 10.1504/IJAHUC.2012.050281 [PDF, DiVA@LiU, BibTeX]
  • M. Asplund and S. Nadjm-Tehrani, Analysing Delay-tolerant Networks with Correlated Mobility, in Proceedings of the 11th International Conference on Ad-Hoc Networks and Wireless (ADHOC-NOW), Springer, July 2012. doi: 10.1007/978-3-642-31638-8_7 [PDF, DiVA@LiU].
  • A. Manzoor, M. Asplund, M. Bourocue, S. Clarke and V. Cahill, Trust Evaluation for Participatory Sensing, in Proceedings of the 9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), December 2012. doi: 10.1007/978-3-642-40238-8_15
2011
  • E. J. Vergara, S. Nadjm-Tehrani, M. Asplund, and U. Zurutuza, Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms, in The Fifth International Conference on Next Generation Mobile Applications, Services and Technologies, (NGMAST). , IEEE, 2011. doi: 10.1109/NGMAST.2011.36 [PDF, DiVA@LiU]
  • J. Lundberg and M. Asplund, Communication Problems in Crisis Response, in Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM), ISCRAM, 2011. [DiVA@LiU]
  • M. Asplund, A. Thomasson, E. J. Vergara, and S. Nadjm-Tehrani, Software-related Energy Footprint of a Wireless Broadband Module, in The 9th ACM International Symposium on Mobility Management and Wireless Access (MobiWac), 2011. doi: 10.1145/2069131.2069145 [PDF, DiVA@LiU].

... Show more 2010
  • J. Cucurull, M. Asplund, and S. Nadjm-Tehrani, Anomaly detection and mitigation for disaster area networks, in 13th International Symposium on Recent Advances in Intrusion Detection, Springer Verlag, September 2010. doi: 10.1007/978-3-642-15512-3_18 [PDF, DiVA@LiU]
  • M. Asplund, T. de Lanerolle, C. Fei, P. Gautam, R. Morelli, S. Nadjm-Tehrani, and G. Nykvist, Wireless Ad Hoc Dissemination for Search and Rescue, in 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM, May 2010. [PDF, DiVA@LiU]
2009
  • M. Asplund, S. Nadjm-Tehrani, and K. Zagar, Middleware Extensions that Trade Consistency for Availability, Concurrency and Computation: Practice and Experience, vol. 21, pp. 1181--1203, June 2009. doi: 10.1002/cpe.1383 [PDF, DiVA@LiU, BibTeX]
  • M. Asplund and S. Nadjm-Tehrani, A Partition-tolerant Manycast Algorithm for Disaster Area Networks, in 28th International Symposium on Reliable Distributed Systems, IEEE, Sept. 2009. doi: 10.1109/SRDS.2009.16 [PDF, DiVA@LiU]
2008
  • M. Asplund, S. Nadjm-Tehrani, and J. Sigholm, Emerging Information Infrastructures: Cooperation in Disasters, in Proceedings of the 3rd International Workshop on Critical Information Infrastructures Security (CRITIS'08), Oct. 2008. doi: 10.1007/978-3-642-03552-4_23 [PDF, DiVA@LiU]
2007
  • M. Asplund, S. Nadjm-Tehrani, S. Beyer and P. Galdamez Measuring Availability in Optimistic Partition-tolerant Systems with Data Constraints, in Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2007. doi: 10.1109/DSN.2007.62 [PDF, DiVA@LiU].
2006
  • M. Asplund and S. Nadjm-Tehrani, Post-Partition Reconciliation Protocols for Maintaining Consistency, in Proceedings of the 21st ACM/SIGAPP symposium on Applied computing, April 2006. doi: 10.1145/1141277.1141439 [PDF, DiVA@LiU]
  • M. Asplund and S. Nadjm-Tehrani, Formalising Reconciliation in Partitionable Networks with Distributed Services, chapter in Rigorous Development of Complex Fault-Tolerant Systems, vol. 4157 of Lecture Notes in Computer Science, ch. pp. 37--58. Springer-Verlag, 2006. doi: 10.1007/11916246_2 [PDF, DiVA@LiU, BibTeX]

Theses

  • M. Asplund Disconnected Discoveries: Availability Studies in Partitioned Networks Doctoral thesis, Linköping University, 2010. URI: urn:nbn:se:liu:diva-60553.
  • M. Asplund Restoring Consistency after Network Partitions Licentiate thesis, Linköping University, 2007. URI: urn:nbn:se:liu:diva-9913
  • M. Asplund An optimising SMV to CLP(B) compiler Master's thesis, Linköping University, 2005. URI: urn:nbn:se:liu:diva-2805.

Other publications

  • M. Asplund and S. Nadjm-Tehrani, Modelling Correlated Mobility arXiv preprint, arXiv:1409.6431, 2014.
  • N. O'Hara, M. Slot, D. Marinescu, J. Curn, D. Yang, M. Asplund, M. Bouroche, S. Clarke, and V. Cahill MDDSVsim: An Integrated Traffic Simulation Platform for Autonomous Vehicle Research, Invited paper to The international workshop on Vehicular Traffic Management for Smart Cities (VTM), 2012
  • M. Asplund, Kommunikation mot alla odds, SKEF News, issue 1, p.22, Mars 2011
  • M. Asplund, T. de Lanerolle, C. Fei, P. Gautam, R. Morelli, S. Nadjm-Tehrani, and G. Nykvist, Wireless Ad Hoc Dissemination for Search and Rescue, Poster at First Annual Workshop on Pervasive Networks for Emergency Management (PerNem), April 2010.
  • M.Asplund, S. Nadjm-Tehrani, Random Walk Gossip, in Proceedings of the NOrdic workshop and doctoral symposium on DEpendability and Security (NODES), 2009. [pdf].
  • M. Asplund and S. Nadjm-Tehrani, Random walk gossip-based manycast with partition detection (fast abstract), in Proceedings of the 2008 International Conference on Dependable Systems and Networks (DSN), IEEE Computer Society, June 2008.[PDF]
  • S. Nadjm-Tehrani, M. Asplund and J. Ogniewski, Nya utmaningar i att få smårobotar att spela fotboll!, in Nya villkor för lärande och undervisning. 9:e Universitetspedagogiska konferensen vid Linköpings universitet 17 oktober 2005, 2006. Available as PDF.

Research projects

Here are the research projects that I have participated in:

Student project ideas

Doing a Master’s thesis on a research topic allows you to try new ideas, challenge your creativity and to get a taste of what research is all about. If things go well, you might also get the change to present your work at some international conference or workshop.

Below are some ideas for thesis work. If you are interested in one of these or have some ideas of your own, don't hesitate to write me an email or drop by my office. You can also look at the list of completed theses where I have been supervisor or examiner.

Smart vehicle coordination using Bitcoin-inspired algorithms Attacks and mitigations for the connected car
Theoretical analysis of distributed coordination Vehicular group membership resilient to malicious attacks
X

Smart vehicle coordination using Bitcoin-inspired algorithms

The virtual currency Bitcoin is having a disruptive effect on the financial sector. While initially considered as a curiosity, the technology behind bitcoin, so called blockchains now receive investments from companies like Goldman Sachs and IBM. The potential of blockchains go beyond that of currencies, allowing decentralised coordination and smart contracts, and IBM is advocating it as a basis for coordination in the Internet of Things. With the help of Turing-complete script languages such as being used by the Ethereum platform, the possibilities are endless. In this project the goal is to design, implement and evaluate a blockchain-based coordination mechanism for vehicular networks. The project involves both theoretical analysis and practial implementation. The scope is suitable for at least on 30hp project, possibly also a combination of two 16hp projects.

X

Attacks and mitigations for the connected car

As cars become more advanced and connected, the number of incidents where cars are being hacked also increase. An promising technology in future intelligent transportation systems is the ability to cooperate in groups of vehicles. Such cooperation require group membership protocols. This project will investigate vulnerabilities and attacks against such group membership protocols, and suggest mitigations and counter measures that can protect the systems under certain circumstances. This project is suitable for students with an interest in information security.

X

Theoretical analysis of distributed coordination

Autonomous cars are already on the horizon. The next generation of self-driving cars will interact with other vehicles using wireless communication to coordinate their actions and and enable more efficient traffic solutions than human drivers can accomplish. However, distributed coordination is still an open problem, especially in situations where the local actions taken by vehicles propagate to other parts of the system causing congestion and unpredictable delays.

This Master’s thesis project will consider an abstraction of this problem in a theoretical setting to investigate the asymptotic behaviour of distributed coordination under varying circumstances. Consider a system composed of N mobile agents that move around in a directed graph G=(V,E). At any point in time a node v ∈ V can contain either zero or one mobile agents. Obviously |V| ≥ N.

Each agent can communicate locally with agents located in neighbouring nodes, and nodes up to h hops away (h being a parameter under study). Moreover, for each agent a there is a set of nodes Va such that the agent wishes to visit all nodes in Va as many times as possible. The performance of an agent is determined by the number of visits to the node in Va with the least number of visits.

The task of this thesis project will be to investigate the bounds on achievable performance under varying conditions (starting with a restricted setting, and using increasingly complex models). A suitable student should be comfortable with mathematical reasoning, and interested in theoretical analysis of distributed algorithms.

X

Vehicular group membership resilient to malicious attacks

Next generation of heavy-duty vehicles will use wireless communication and advanced sensor technology to enable platoon driving where multiple trucks coordinate their driving in order to save fuel. Such advanced applications require vehicles to be able to accurately determine which other vehicles that are participating in the cooperation and to detect and adapt to changes as vehicles come and go. A key challenge is how such a membership protocol can withstand attacks from malicious actors in the environment (other vehicles or even from vehicles within the platoon).

This project is focused on implementation of a group membership protocol for vehicular platoons. The core idea of the protocol is to combine the use of communication, on-board sensors, and rearrangement of the platoon to detect malicious actors. The student will implement the protocol in a simulation environment and evaluate the ability to detect different attack types. The work is performed in cooperation with Scania.

Supervision

Below are past and current students which I have (co-)supervised. If you are interested in doing a thesis, check out the student project ideas, possible thesis projects at the RTSLAB master theses page, or even better, come up with your own idea and send me an email.

If you are interested in doing research as a PhD student please send me a mail! I'm looking for excellent candidates to start a research project on Blockchain algorithms for vehicular computing

PhD Students

Ongoing

  • Sana Lin, co-supervisor
  • Antonia Arvanitaki, co-supervisor

Past

  • Ekhiotz Jon Vergara, co-supervisor, graduated 2016
  • Marco Slot, co-supervisor during 2012, graduated 2014
  • Shu Zhang, co-supervisor during 2012, gaduated 2015

Master/Bachelor Students

Ongoing:

  • Jakob Lövhall, Master thesis, examiner 2016
  • Edouard Capellier, Master thesis, examiner, 2016
  • Anton Tengroth, Chi Vong, Bachelor thesis, supervisor, 2016
  • Fredrik Forsmark, Johan Holmqvist, Bachelor thesis, examiner, 2016
  • Andreas Björklund, Bachelor thesis, examiner, started 2013

Completed:

  • Tobias Nilsson, Bachelor thesis, supervisor, 2016
  • Johan Billman, Victor Hellström, Bachelor thesis, examiner, 2016
  • Emil Berg, Master thesis, supervisor, 2016
  • Lisa Habbe, Matilda Söderholm, Bachelor thesis, supervisor, 2016
  • Mattias Hellsing, Fabian Johannsen, Bachelor thesis, supervisor, 2016
  • Philip Montalvo, Albin Odervall, Bachelor thesis, supervisor, 2016
  • Sebastian Karlsson, Christoffer Nilsson, Bachelor thesis, supervisor, 2016
  • Tim Hultman, Signal-Aware Route Planning, Bachelor thesis, 2016, examiner, URI: urn:nbn:se:liu:diva-128101
    • Resulted in a paper at the 3rd International Workshop on Crowd Assisted Sensing, Pervasive Systems and Communications (CASPer 2016), Percom workshop
  • Antymos Dag, Autonomous indoor navigation system for mobile robots, Bachelor thesis 2016, examiner
  • Erik Brunnerby, Android Machine Interface: Integrating anAndroid Mobile Device into an Industrial Control System, Master thesis 2016, examiner, URI: urn:nbn:se:liu:diva-126952
  • Robert Udd, Anomaly Detection in SCADA Network Traffic, Master thesis 2015, supervisor, URI: urn:nbn:se:liu:diva-122680
  • Marcus Högberg, A Cross-platform Picture Transfer Protocol for Linux-based Camera, Master thesis 2015, examiner, URI: urn:nbn:se:liu:diva-114188
  • Jonathan Karlsson Network protocol for distribution and handling of data from JAS 39 Gripen, Master thesis 2015, supervisor, URI: urn:nbn:se:liu:diva-121241
  • Patrick Persson, Development of a remote control application for a set-top box on a Windows 8 tablet PC, Bachelor thesis 2014, examiner, URI: urn:nbn:se:liu:diva-104834
  • Brieuc Viel, Adaptive Indoor Localization System for Android Smartphones, Master thesis (Erasmus program), examiner, 2013,
    • resulted in a paper at The 6th International Workshop on Information Quality and Quality of Service for Pervasive Computing, PERCOM Workshop, March 2014
  • Clas Enkvist, Integrated modular avionics with virtualization, Master thesis, co-supervisor, 2013, URI: urn:nbn:se:liu:diva-98433
  • Eriks Zaharans, Indoor robot localization and collaboration, Master thesis 2013, co-supervisor, URI: urn:nbn:se:liu:diva-102604
  • Simon Arvidsson, Tobias Ekblom, Marknadsplatsapplikation för Android, Master thesis 2012, co-supervisor, URI: urn:nbn:se:liu:diva-77045
  • Magnus Gustafsson, Lightweight M2M Solution on Android Platform, Master thesis 2011, co-supervisor, URI: urn:nbn:se:liu:diva-70699
  • Anton Thomasson, Measuring energy consumption characteristics in mobile data communication, Bachelor thesis 2011, co-supervisor, URI: urn:nbn:se:liu:diva-71954
    • resulted in a paper at The 9th ACM International Symposium on Mobility Management and Wireless Access (MobiWac), 2011.
  • Ekhiotz Jon Vergara, Implementation of a manycast protocol for intermittently connected mobile ad hoc networks in disaster areas, Master thesis 2010, co-supervisor, URI: urn:nbn:se:liu:diva-58603
    • resulted in a paper at The Fifth International Conference on Next Generation Mobile Applications, Services and Technologies, (NGMAST) 2011, Ekhiotz is now also a PhD student in the lab with an excellent publication record
  • Fredrik Herbertsson, Implementation of a Delay-Tolerant RoutingProtocol in the Network Simulator NS-3, Master thesis 2010, co-supervisor, URI: urn:nbn:se:liu:diva-63754
  • Gustav Nykvist, Implementation of a Manycast Protocol in a Partitionable Mobile Ad hoc Network, Master thesis 2009, co-supervisor, URI: urn:nbn:se:liu:diva-20846
    • Resulted in a poster at the First Annual Workshop on Pervasive Networks for Emergency Management (PerNem), April 2010, and a paper at 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM, May 2010.

Contact

Dept. of Computer and Information Science
Linköping University
S-581 83 Linköping, SWEDEN
Email: mikael.asplund(at)liu.se
Phone: +46 (0)13 28 26 68
Office: Building B, First floor, Room 3B:434B