2 citations · 2 across the 8 of their papers we have counts for
5 papers · 1 filter
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…
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…
Expectation Entropy as a Password Strength Metric
Khan Reaz, Gerhard Wunder
The classical combinatorics-based password strength formula provides a result in tens of bits, whereas the NIST Entropy Estimation Suite give a result between 0 and 1 for Min-entro…
ASOP: A Sovereign and Secure Device Onboarding Protocol for Cloud-based IoT Services
Khan Reaz, Gerhard Wunder
The existing high-friction device onboarding process hinders the promise and potentiality of Internet of Things (IoT). Even after several attempts by various device manufacturers a…
ComPass: Proximity Aware Common Passphrase Agreement Protocol for Wi-Fi devices Using Physical Layer Security
Khan Reaz, Gerhard Wunder
Secure and scalable device provisioning is a notorious challenge in Wi-Fi. WPA2/WPA3 solutions take user interaction and a strong passphrase for granted. However, the often weak pa…