An Ant Colony Optimization Heuristic to Optimize Prediction of Stability of Object-Oriented Components. - Haidar M. Harmanani; Danielle Azar; Grace Zgheib; David Kozhaya (IRI, 2015)

Source Routing in Time-Varing Lossy Networks. - Dacfey Dzung; Rachid Guerraoui; David Kozhaya; Yvonne-Anne Pignolet (NETYS, 2015)

To Transmit Now or Not to Transmit Now. - Dacfey Dzung; Rachid Guerraoui; David Kozhaya; Yvonne-Anne Pignolet (SRDS, 2015)

Never Say Never - Probabilistic and Temporal Failure Detectors. - Dacfey Dzung; Rachid Guerraoui; David Kozhaya; Yvonne-Anne Pignolet (IPDPS, 2016)

Right on Time Distributed Shared Memory. - Rachid Guerraoui; David Kozhaya; Yvonne-Anne Pignolet (RTSS, 2016)

Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. - Rachid Guerraoui; David Kozhaya; Manuel Oriol; Yvonne-Anne Pignolet (SRDS, 2016)

Reliable and Real-Time Distributed Abstractions. - David Kozhaya (2016)

You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. - David Kozhaya; Ognjen Maric; Yvonne-Anne Pignolet (OPODIS, 2018)

Byzantine Resilient Protocol for the IoT. - Antônio Augusto Fröhlich; Roberto Milton Scheffel; David Kozhaya; Paulo Jorge Esteves Veríssimo (IEEE Internet Things J., 2019)

RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. - David Kozhaya; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo (IEEE Trans. Computers, 2019)

RepuCoin: Your Reputation Is Your Power. - Jiangshan Yu; David Kozhaya; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo (IEEE Trans. Computers, 2019)

Automatic Mitigation of Wrong Cabling in High Availability Industrial Networks. - David Kozhaya; Thanikesavan Sivanthi; Raphael Eidenbenz (FMEC, 2020)

PISTIS: From a Word-of-Mouth to a Gentleman's Agreement. - David Kozhaya; Jeremie Decouchant; Vincent Rahli; Paulo Jorge Esteves Veríssimo (CoRR, 2020)

Probabilistic and temporal failure detectors for solving distributed problems. - Rachid Guerraoui; David Kozhaya; Yvonne-Anne Pignolet (J. Parallel Distributed Comput., 2021)

PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. - David Kozhaya; Jérémie Decouchant; Vincent Rahli; Paulo Esteves Veríssimo (IEEE Trans. Parallel Distributed Syst., 2021)

DAMYSUS: streamlined BFT consensus leveraging trusted components. - Jérémie Decouchant; David Kozhaya; Vincent Rahli; Jiangshan Yu (EuroSys, 2022)

Qualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps. - Christian Göttel; Maëlle Kabir-Querrec; David Kozhaya; Thanikesavan Sivanthi; Ognjen Vukovic (ETFA, 2023)

OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments. - Jérémie Decouchant; David Kozhaya; Vincent Rahli; Jiangshan Yu (IPDPS, 2024)

On Real-Time Guarantees in Intel SGX and TDX. - Peterson Yuhala; Christian Göttel; Jämes Ménétrey; Valerio Schiavoni; David Kozhaya; Pascal Felber (ECRTS, 2025)