The following pages link to (Q4934731):
Displaying 22 items.
- Detecting relay attacks on RFID communication systems using quantum bits (Q513456) (← links)
- Deterministic secure positioning in wireless sensor networks (Q638507) (← links)
- Quantum cryptography beyond quantum key distribution (Q908054) (← links)
- Hop chains: Secure routing and the establishment of distinct identities (Q1004311) (← links)
- Record length requirement of long-range dependent teletraffic (Q1620518) (← links)
- Short paper: Terrorist fraud in distance bounding: getting around the models (Q2145398) (← links)
- Protocol analysis with time (Q2152027) (← links)
- Protocol analysis with time and space (Q2154006) (← links)
- Optimal Proximity Proofs Revisited (Q2794513) (← links)
- Compact and Efficient UC Commitments Under Atomic-Exchanges (Q2942848) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Towards Secure Distance Bounding (Q2946871) (← links)
- Authentication in Constrained Settings (Q2947097) (← links)
- Efficient Public-Key Distance Bounding Protocol (Q2953799) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol (Q3178248) (← links)
- Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515) (← links)
- Optimal Proximity Proofs (Q3454584) (← links)
- A Symbolic Framework to Analyse Physical Proximity in Security Protocols (Q5090968) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method (Q6487294) (← links)
