| 1. |
- Asplund, Mikael, 1981-, et al.
(författare)
-
In-store payments using Bitcoin
- 2018
-
Ingår i: 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS). - : IEEE. - 9781538636626 - 9781538636633
-
Konferensbidrag (refereegranskat)abstract
- The possibility of in-store payments would further increase the potential usefulness of cryptocurrencies. However, this would require much faster transaction verification than current solutions provide (one hour for Bitcoin) since customers are likely not prepared to wait a very long time for their purchase to be accepted by a store. We propose a solution for enabling in-store payments with waiting times in the order of a few seconds, which is still compatible with the current Bitcoin protocol. The idea is based on a payment card in combination with a protocol for ensuring that losing a card does not mean losing the money on it. We analyse the required transaction verification delay and also the potentially added risks that the solution brings compared to current systems.
|
|
| 2. |
- Asplund, Mikael, 1981-, et al.
(författare)
-
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination
- 2017
-
Ingår i: Dependable Computing (PRDC), 2017 IEEE 22nd Pacific Rim International Symposium on. - : IEEE. - 9781509056521 - 9781509056538 ; , s. 321-328
-
Konferensbidrag (refereegranskat)abstract
- New advanced traffic management solutions with fully or semi-autonomous vehicles that communicate over a wireless interface to coordinate their driving decisions create new challenges in distributed computing. In this paper we address the problem of dynamic group membership in three stages. First, we propose three criteria to specify correctness and performance of the group views created by such algorithms in terms of soundness, completeness and freshness. Second, we develop a group membership protocol tailored for vehicular coordination. Finally, we show through simulation and model-based verification that the protocol does indeed meet the criteria and provide at least 95% perfect group membership views under as adverse conditions as 70% packet loss or very high churn rate.
|
|
