Paolo D'Arco, Roberto De Prisco, Angel L. Pérez del Pozo: An Efficient and Reliable Two-Level Lightweight Authentication Protocol. CSS 2018: 168-180