David Kozhaya

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Qualitative Analysis

Provably Convergent

Distributed Shared Memory

Top Venues

IEEE Trans. Computers

Publications

Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments. IPDPS (2024)
Christian Göttel, Maëlle Kabir-Querrec, David Kozhaya, Thanikesavan Sivanthi, Ognjen Vukovic
Qualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps. ETFA (2023)
Christian Göttel, Maëlle Kabir-Querrec, David Kozhaya, Thanikesavan Sivanthi, Ognjen Vukovic
Qualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps. CoRR (2023)
Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
DAMYSUS: streamlined BFT consensus leveraging trusted components. EuroSys (2022)
David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. IEEE Trans. Parallel Distributed Syst. 32 (9) (2021)
Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
Probabilistic and temporal failure detectors for solving distributed problems. J. Parallel Distributed Comput. 158 (2021)
David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo
PISTIS: From a Word-of-Mouth to a Gentleman's Agreement. CoRR (2020)
David Kozhaya, Thanikesavan Sivanthi, Raphael Eidenbenz
Automatic Mitigation of Wrong Cabling in High Availability Industrial Networks. FMEC (2020)
David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. IEEE Trans. Computers 68 (3) (2019)
Jiangshan Yu, David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
RepuCoin: Your Reputation Is Your Power. IEEE Trans. Computers 68 (8) (2019)
Antônio Augusto Fröhlich, Roberto Milton Scheffel, David Kozhaya, Paulo Jorge Esteves Veríssimo
Byzantine Resilient Protocol for the IoT. IEEE Internet Things J. 6 (2) (2019)
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. OPODIS (2018)
David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. CoRR (2018)
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. CoRR (2018)
Jiangshan Yu, David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
RepuCoin: Your Reputation is Your Power. IACR Cryptol. ePrint Arch. 2018 (2018)
Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
Right on Time Distributed Shared Memory. RTSS (2016)
Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet
Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems. SRDS (2016)
Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
Never Say Never - Probabilistic and Temporal Failure Detectors. IPDPS (2016)
Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
Source Routing in Time-Varing Lossy Networks. NETYS (2015)
Haidar M. Harmanani, Danielle Azar, Grace Zgheib, David Kozhaya
An Ant Colony Optimization Heuristic to Optimize Prediction of Stability of Object-Oriented Components. IRI (2015)
Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
To Transmit Now or Not to Transmit Now. SRDS (2015)