- I will have the honor to serve on the examination board for Elena Lisova's PhD defence on April 16 at Mälardalen University, looking forward to it!
- Will hold my Docent lecture on March 1st in room Alan Turing (E-building, Linköping University), everyone is welcome.
- Organising a workshop on Blockchain Dependability in conjuction with EDCC2018.
- Our paper on in-store bitcoin payments was accepted at the Blockchains and Smart Contracts workshop (BSC18), congratulations to Jakob who's thesis the paper is based on!
- Co-chair for the 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS18)
- TPC member for IEEE ICC 2018 SAC Symposium Smart Cities Track
- Camilla Forsell and I will hold a seminar on how to create inclusive student cultures at the pedagogical development conference in Lund, November 23
- Co-organised the PBL Networking event in Linköping, November 9-10
- Our paper was accepted to the IEEE Vehicular Networking Conference 2017. Congratulations to Felipe!
- Tim Hultman won the best Bachelor thesis award at IDA
Peer-reviewed articles in journals, books, conferences and workshops2018
- M. Asplund, Automatically Proving Correctness of Vehicle Coordination, ICT Express, 2018. doi: 10.1016/j.icte.2018.01.013 [PDF]
- M. Asplund, J. Lövhall, and S. Nadjm-Tehrani, In-store payments using Bitcoin, in Blockchains and Smart Contracts workshop (BSC), IEEE, 2018. [PDF]
- Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey Vinel, and Mikael Asplund Effects of Colluding Sybil Nodes in Message Falsification Attacks for Vehicular Platooning, in proceedings of IEEE Vehicular Networking Conference (VNC), 2017. doi: 10.1109/VNC.2017.8275641 [PDF]
- C.-Y. Lin, S. Nadjm-Tehrani, and M. Asplund, Timing-based Anomaly Detection in SCADA networks, in Proceesings of 12th International Conference on Critical Information Infrastructures Security (CRITIS), Springer, 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) doi: 10.1109/PRDC.2017.57 [PDF]
- Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Mikael Asplund and Alexey Vinel, On the Impact of Sybil Attacks in Cooperative Driving Scenarios, in proceedings of IFIP Networking 2017 Conference and Workshops
- 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].
- 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]
- 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]
- 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
- 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
... Show more2011
- 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].
- 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]
- 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]
- 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]
- 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].
- 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]
- 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.
- 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.
Here are the research projects that I have participated in:
- Verifiable real-time coordination for safe cooperative driving, 2014-ongoing, a CENIIT funded project, principal investigator
- Swedish national research Centre on Resilient Information and Control Systems (RICS), 2015-ongoing, funded by MSB, participant
- Critical societal functions and IoT: Securing data and services, 2015, funded by Vinnova, co-applicant
- Model-Driven Development of Smart Vehilces (MDDSV), project at Trinity College Dublin, participant
- Hastily Formed Networks with heterogeneous users (HFN), 2008-2011, participant
- Delay-tolerant networks: protocols, optimisation, and connectivity models, 2008-2011, funded by Swedish Research Council (VR), grant co-author and project participant
- Dependable Distributed Systems (DeDiSys), 2005-2007, participant
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.
- Implementation of a Blockchain testbed
- Vehicular group membership resilient to malicious attacks
- Theoretical analysis of distributed coordination
- Vehicular platoon management using Bitcoin-inspired algorithms
Description (click to expand)
Starting time: HT2017 or VT2018
When performing research on Blockchain technologies it is necessary to have a credible evaluation platform on which experiments can run. Current blockchain simulators do not provide sufficient details in the network simulation framework to be useful in assessing performance. This project is intended to bridge the cap between network simulators such as Omnet++ and state-of-the art blockchain technologies (e.g., Ethereum) in order to provide a simulation framework where blockchain algorithms can be evaluated.
Description (click to expand)
Starting time: HT2017 or VT2018
Next generation of smart vehicles will use wireless communication and advanced sensor technology to enable platoon driving where vehicles coordinate their driving in order to make traffic more efficient and sustainable. 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 group).
This project is focused on design and implementation of a secure group membership protocol for vehicular groups. The project will start from an existing (insecure) implementation of a group membership protocol. After making a systematic threat analysis mitigation measures should be designed and evaluated against the identified threats.
Description (click to expand)
Starting time: HT2017 or VT2018
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.
Description (click to expand)
Starting time: HT2017 or VT2018
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. In this project the goal is to design, implement and evaluate a blockchain-based coordination mechanism for vehicular networks. More details will follow.
Interested? Send me an email!
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, or even better, come up with your own idea and send me an email.
- Sana Lin, co-supervisor
- Antonia Arvanitaki, co-supervisor (2015-2016)
- Ekhiotz Jon Vergara, co-supervisor, graduated 2016
- Marco Slot, co-supervisor during 2012, graduated 2014
- Shu Zhang, co-supervisor during 2012, gaduated 2015
- Oskar Lind, Master thesis, examiner, started 2017
- Anders Rassner, Bachelor thesis, examiner, started 2017
- Johan Levinsson, Bachelor thesis, examiner, started 2017
- Matteus Laurent, Bachelor thesis, examiner, started 2017
- Erik Mossberg, Bachelor thesis, supervisor, started 2017
- Edouard Capellier, Master thesis, examiner, started 2016
- Anton Tengroth, Chi Vong, Bachelor thesis, supervisor, started 2016
- Johan Holmqvist, Bachelor thesis, examiner, started 2016
- Andreas Björklund, Bachelor thesis, examiner, started 2013
- Jakob Lövhall, Master thesis, examiner 2017
- Hampus Tjäder, End-to-end Security Enhancement of an IoT Platform Using Object Security, Master thesis, supervisor, 2017, URI: urn:nbn:se:liu:diva-138838
- Martin Larsson, Anton Silfver, Signal-aware adaptive timeout in cellular networks: Analysing predictability of link failure in cellular networks based on network conditions, Bachelor thesis, supervisor, 2017, URI: urn:nbn:se:liu:diva-138128
- Per Gustavsson, Erica Gavefalk, Design and evaluation of a system that coordinate clients to use the same server, Bachelor thesis, supervisor, 2017, URI: urn:nbn:se:liu:diva-138420
- Markus Niemelä, Estimating Internet-scale Quality of Service Parameters for VoIP, Master thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-127360
- Tobias Nilsson, Sårbarheterna med Bluetooth inom hälsotillämningar Bachelor thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-132310
- Johan Billman, Victor Hellström, Abusing Keep-Alive Forwarding to flood a VANET: When safety messages become a safety risk, Bachelor thesis, examiner, 2016, URI: urn:nbn:se:liu:diva-131967
- Emil Berg, Ad-hoc Routing in Low Bandwidth Environments, Master thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-132194
- Lisa Habbe, Matilda Söderholm, Estimating Time to Repair Failures in a Distributed System, Bachelor thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-131847
- Mattias Hellsing, Fabian Johannsen, Hadoop Read Performance During Datanode Crashes, Bachelor thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-130466
- Philip Montalvo, Albin Odervall, Design and Evaluation of a Reliable Group Communication Protocol Bachelor thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-129978/li>
- Sebastian Karlsson, Christoffer Nilsson, Adaptive Checkpointing for Emergency Communication Systems Bachelor thesis, supervisor, 2016, URI: urn:nbn:se:liu:diva-130876
- 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
- Won the best Bachelor thesis award at the Department of Computer and Information Science at LiU
- Antymos Dag, Autonomous indoor navigation system for mobile robots, Bachelor thesis 2016, examiner, URI: urn:nbn:se:liu:diva-129419
- 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
- Resulted in a paper at the 2nd ACM Cyber-Physical System Security Workshop (CPSS) 2016
- 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.
... Show more
CoursesI'm currently teaching in the following courses:
- TDDB68 Concurrent programming and operating systems
- TDDC75 Discrete structures
- TDDD82 Project semester, systems software
- TDDD39 Perspektiv på informationsteknologi
- TDDI07 Distributed embedded software and networks