4 papers
Towards a Decentralized IoT Onboarding for Smart Homes Using Consortium Blockchain
Narges Dadkhah, Khan Reaz, Gerhard Wunder
The increasing adoption of smart home devices and IoT-based security systems presents significant opportunities to enhance convenience, safety, and risk management for homeowners a…
A Comprehensive Framework for Building Highly Secure, Network-Connected Devices: Chip to App
Khan Reaz, Gerhard Wunder
The rapid expansion of connected devices has amplified the need for robust and scalable security frameworks. This paper proposes a holistic approach to securing network-connected d…
Tracking UWB Devices Through Radio Frequency Fingerprinting Is Possible
Thibaud Ardoin, Niklas Pauli, Benedikt Groà +3
Ultra-wideband (UWB) is a state-of-the-art technology designed for applications requiring centimeter-level localization. Its widespread adoption by smartphone manufacturer naturall…
Formal Verification of Permission Voucher
Khan Reaz, Gerhard Wunder
Formal verification is a critical process in ensuring the security and correctness of cryptographic protocols, particularly in high-assurance domains. This paper presents a compreh…