Secure Connectivity of Future Cyber-Physical Systems

Aura, Tuomas (Vastuullinen tutkija)
Antikainen, Markku (Projektin jäsen)
Nikolaevskiy, Ilya (Projektin jäsen)
Bui, Thanh (Projektin jäsen)
Peltonen, Aleksi (Projektin jäsen)
Sethi, Mohit (Projektin jäsen)

Tietotekniikan laitos

Tila	Päättynyt
Todellinen alku/loppupvm	01/09/2016 → 30/08/2020

2 Article
1 Conference article in proceedings

A Comprehensive Formal Analysis of 5G Handover
Peltonen, A., Sasse, R. & Basin, D., 21 kesäk. 2021, WiSec 2021 - Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks. ACM, s. 1-12 12 Sivumäärä 3467823
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

Open access
Tiedosto
36 Sitaatiot (Scopus)

280 Lataukset (Pure)
Evaluation of Out-of-Band Channels for IoT Security
Latvala, S., Sethi, M. & Aura, T., tammik. 2020, julkaisussa: SN Computer Science. 1, 1, 18.
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Open access
Tiedosto
13 Sitaatiot (Scopus)

324 Lataukset (Pure)
Formal verification of misbinding attacks on secure device pairing and bootstrapping
Peltonen, A., Sethi, M. & Aura, T., 1 huhtik. 2020, julkaisussa: Journal of Information Security and Applications. 51, 17 Sivumäärä, 102461.
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Open access
Tiedosto
3 Sitaatiot (Scopus)

201 Lataukset (Pure)