David Kozhaya

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