Misbinding Attacks on Secure Device Pairing and Bootstrapping. - Mohit Sethi; Aleksi Peltonen; Tuomas Aura (AsiaCCS, 2019)

Misbinding Attacks on Secure Device Pairing. - Mohit Sethi; Aleksi Peltonen; Tuomas Aura (CoRR, 2019)

Formal verification of misbinding attacks on secure device pairing and bootstrapping. - Aleksi Peltonen; Mohit Sethi; Tuomas Aura (J. Inf. Secur. Appl., 2020)

Enterprise Security for the Internet of Things (IoT): Lightweight Bootstrapping with EAP-NOOB. - Aleksi Peltonen; Eduardo Inglés; Sampsa Latvala; Dan García-Carrillo; Mohit Sethi; Tuomas Aura (Sensors, 2020)

A comprehensive formal analysis of 5G handover. - Aleksi Peltonen; Ralf Sasse; David A. Basin (WISEC, 2021)

Nimble Out-of-Band Authentication for EAP (EAP-NOOB). - Tuomas Aura; Mohit Sethi; Aleksi Peltonen (RFC, 2021)

Exploring How Students Solve Open-ended Assignments: A Study of SQL Injection Attempts in a Cybersecurity Course. - Charles Koutcheme; Artturi Tilanterä; Aleksi Peltonen; Arto Hellas; Lassi Haaranen (ITiCSE (1), 2022)

An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them. - Cas Cremers; Aleksi Peltonen; Mang Zhao (IACR Cryptol. ePrint Arch., 2024)

Security Analysis of the Consumer Remote SIM Provisioning Protocol. - Abu Shohel Ahmed; Aleksi Peltonen; Mohit Sethi; Tuomas Aura (ACM Trans. Priv. Secur., 2024)