Joud Khoury

15 papers A 2B 1C 1Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems.
CoRR
Joud Khoury, Minyoung Kim, Christophe Merlin, José Meseguer, Zachary B. Ratliff, Carolyn L. Talcott
2025 Misc conf
Efficient Direct-Connect Topologies for Collective Communications.
NSDI
Liangyu Zhao, Siddharth Pal, Tapan Chugh, Weiyang Wang, Jason Fantl, Prithwish Basu, Joud Khoury, Arvind Krishnamurthy
2024 A conf
Efficient all-to-all Collective Communication Schedules for Direct-connect Topologies.
HPDC
Prithwish Basu, Liangyu Zhao, Jason Fantl, Siddharth Pal, Arvind Krishnamurthy, Joud Khoury
2023 J jnl
Efficient All-to-All Collective Communication Schedules for Direct-Connect Topologies.
CoRR
Siddharth Pal, Liangyu Zhao, Jason Fantl, Joud Khoury, Arvind Krishnamurthy, Prithwish Basu
2022 J jnl
Optimal Direct-Connect Topologies for Collective Communications.
CoRR
Liangyu Zhao, Siddharth Pal, Tapan Chugh, Weiyang Wang, Prithwish Basu, Joud Khoury, Arvind Krishnamurthy
2021 — conf
Towards Decentralized and Provably Secure Cross-Domain Solutions.
STM
Joud Khoury, Zachary B. Ratliff, Michael Atighetchi
2020 — conf
An Event-based Data Model for Granular Information Flow Tracking.
TaPP
Joud Khoury, Tim Upthegrove, Armando Caro, Brett Benyo, Derrick Kong
2020 J jnl
SNARKs to the rescue: proof-of-contact in zero knowledge.
CoRR
Zachary B. Ratliff, Joud Khoury
2019 J jnl
A practical decentralized access protocol for autonomous vehicles at isolated under-saturated intersections.
J. Intell. Transp. Syst.
John El Khoury, Joud Khoury, Germain Zouein, Jean-Paul Arnaout
2018 J jnl
Content sharing with mobility in an infrastructure-less environment.
Comput. Networks
Tim Strayer, Samuel C. Nelson, Armando Caro, Joud Khoury, Bryan Tedesco, Olivia DeRosa, Carsten Clark, Kolia Sadeghi, Michael Matthews, Jake Kurzer, Philip Lundrigan, Vikas Kawadia, Dorene Ryder, Keith Gremban, Wayne Phoel
2016 B conf
RadarMAC: Mitigating Radar Interference in Self-Driving Cars.
SECON
Joud Khoury, Ram Ramanathan, Dan McCloskey, Russell Smith, Timothy Campbell
2014 — conf
An Efficient and Expressive Access Control Architecture for Content-Based Networks.
MILCOM
Joud Khoury, Samuel C. Nelson, Armando Caro, Vikas Kawadia, Dorene Ryder, Tim Strayer
2014 C conf
Efficient Private Publish-Subscribe Systems.
ISORC
Joud Khoury, Gregory Lauer, Partha P. Pal, Bishal Thapa, Joseph P. Loyall
2014 — conf
Passive, decentralized, and fully autonomous intersection access control.
ITSC
John El Khoury, Joud Khoury
2012 A conf
P3S: A Privacy Preserving Publish-Subscribe Middleware.
Middleware
Partha P. Pal, Greg Lauer, Joud Khoury, Nick Hoff, Joseph P. Loyall