Skip to content

David Kozhaya

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

8

Active years

2015–2026

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2026NDSSPallas and Aegis: Rollback Resilience in TEE-Aided Blockchain Consensus.Jrmie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
2025ECRTSOn Real-Time Guarantees in Intel SGX and TDX.Peterson Yuhala, Christian Gttel, Jmes Mntrey, Valerio Schiavoni, David Kozhaya, Pascal Felber
2023ETFAQualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps.Christian Gttel, Malle Kabir-Querrec, David Kozhaya, Thanikesavan Sivanthi, Ognjen Vukovic
2022EuroSysDAMYSUS: streamlined BFT consensus leveraging trusted components.Jrmie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
2018OPODISYou Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
2016RTSSRight on Time Distributed Shared Memory.Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet
2016SRDSWho's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems.Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet
2015IRIAn Ant Colony Optimization Heuristic to Optimize Prediction of Stability of Object-Oriented Components.Haidar M. Harmanani, Danielle Azar, Grace Zgheib, David Kozhaya
2015SRDSTo Transmit Now or Not to Transmit Now.Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet