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

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