12 citations · 31 across the 5 of their papers we have counts for
5 papers
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar +4
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems,…
Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing
Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior +2
Combinatorial interaction testing (CIT) is a well-known technique, but the industrial experience is needed to determine its effectiveness in different application domains. We prese…
A Quantum Cryptographic Protocol with Detection of Compromised Server
D. Richard Kuhn
This paper presents a hybrid cryptographic protocol, using quantum and classical resources, to generate a key for authentication and optionally for encryption in a network. One or…
Vulnerabilities in Quantum Key Distribution Protocols
D. Richard Kuhn
Recently proposed quantum key distribution protocols are shown to be vulnerable to a classic man-in-the-middle attack using entangled pairs created by Eve. It appears that the atta…
A Hybrid Authentication Protocol Using Quantum Entanglement and Symmetric Cryptography
D. R. Kuhn
This paper presents a hybrid cryptographic protocol, using quantum and classical resources, for authentication and authorization in a network. One or more trusted servers distribut…