Publications
2026
Adapting the Conflict-Based Search Framework for the Virtual Network Embedding Problem
Journal of Artificial Intelligence Research 86, 2026
2025
Efficient Privacy-Preserving Network Path Validation
2025 34th International Conference on Computer Communications and Networks …, 2025
2024
AVOID: Automatic Verification Of Internet Data-paths
MILCOM 2024-2024 IEEE Military Communications Conference (MILCOM), 647-648, 2024
REVEAL: Real-time Evaluation and Verification of External Adversarial Links
MILCOM 2024-2024 IEEE Military Communications Conference (MILCOM), 1106-1111, 2024
2023
Improved Conflict-Based Search for the Virtual Network Embedding Problem
The 32nd International Conference on Computer Communications and Networks …, 2023
P3V: Privacy-Preserving Path Validation System for Multi-Authority Sliced Networks
Cryptology ePrint Archive, 2023
2019
Sled: System-Loader for Ephemeral Devices
IEEE INFOCOM 2019-IEEE Conference on Computer Communications Workshops …, 2019
The {DComp} Testbed
12th USENIX Workshop on Cyber Security Experimentation and Test (CSET 19), 2019
2018
Merge: An architecture for interconnected testbed ecosystems
arXiv preprint arXiv:1810.08260, 2018
2016
Analysis of Applicability and Usability of Programmable Networks in Modern Networks
UC Santa Cruz, 2016
2015
Percival: A searchable secret-split datastore
2015 31st Symposium on Mass Storage Systems and Technologies (MSST), 1-12, 2015
2013
Practical multipath load balancing with QoS
2013 International Conference on Computing, Networking and Communications …, 2013