Found: 8
Select item for more details and to access through your institution.
Formal verification of mobile robot protocols.
- Published in:
- Distributed Computing, 2016, v. 29, n. 6, p. 459, doi. 10.1007/s00446-016-0271-1
- By:
- Publication type:
- Article
Key Management in Wireless Sensor Networks.
- Published in:
- Journal of Sensor & Actuator Networks, 2015, v. 4, n. 3, p. 251, doi. 10.3390/jsan4030251
- By:
- Publication type:
- Article
Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks.
- Published in:
- Journal of Sensor & Actuator Networks, 2014, v. 3, n. 3, p. 224, doi. 10.3390/jsan3030224
- By:
- Publication type:
- Article
Design and practical implementation of verify‐your‐vote protocol.
- Published in:
- Concurrency & Computation: Practice & Experience, 2021, v. 33, n. 1, p. 1, doi. 10.1002/cpe.5813
- By:
- Publication type:
- Article
Les monnaies virtuelles décentralisées sont-elles des dispositifs d'avenir ?
- Published in:
- Interventions Économiques, 2017, n. 59, p. 52, doi. 10.4000/interventionseconomiques.3771
- By:
- Publication type:
- Article
SR3: secure resilient reputation-based routing.
- Published in:
- Wireless Networks (10220038), 2017, v. 23, n. 7, p. 2111, doi. 10.1007/s11276-016-1273-4
- By:
- Publication type:
- Article
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 73, p. 737, doi. 10.1613/jair.1.13163
- By:
- Publication type:
- Article
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake.
- Published in:
- New Generation Computing, 2022, v. 40, n. 1, p. 149, doi. 10.1007/s00354-022-00155-5
- By:
- Publication type:
- Article