Formal verification of misbinding attacks on secure device pairing and bootstrapping

Aleksi Peltonen^*, Mohit Sethi, Tuomas Aura

^*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

2 Sitaatiot (Scopus)

46 Lataukset (Pure)

1 Päättynyt

1 tulosta

Päättynyt

Secure Connectivity of Future Cyber-Physical Systems
Bui, T., Peltonen, A., Sethi, M., Aura, T. & Antikainen, M.
01/09/2016 → 30/08/2020
Projekti: Academy of Finland: Other research funding