Showing 2024Show all
3 papers · 1 filter
cs.CR2024
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…
cs.NI2024
Advancements in UWB: Paving the Way for Sovereign Data Networks in Healthcare Facilities
Khan Reaz, Thibaud Ardoin, Lea Muth +11
Ultra-Wideband (UWB) technology re-emerges as a groundbreaking ranging technology with its precise micro-location capabilities and robustness. This paper highlights the security di…
cs.IT2024
A Causal Model for Quantifying Multipartite Classical and Quantum Correlations
Shuchan Wang, Gerhard Wunder
We give an operational definition of information-theoretic resources within a given multipartite classical or quantum correlation. We present our causal model that serves as the so…