Formal Indistinguishability Extended to the Random Oracle Model. - Cristian Ene; Yassine Lakhnech; Van Chan Ngo (ESORICS, 2009)

Formal Verification of Compiler Transformations on Polychronous Equations. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (IFM, 2012)

Formal verification of synchronous data-flow program transformations toward certified compilers. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (Frontiers Comput. Sci., 2013)

Dynamic Verification of SystemC with Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2014)

Formal Verification of a Synchronous Data- flow Compiler : from Signal to C. (Vérification Formelle d'un Compilateur Synchrone: de Signal vers C). - Van Chan Ngo (2014)

Translation Validation for Clock Transformations in a Synchronous Compiler. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (FASE, 2015)

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier (FORTE, 2015)

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard; Paul Le Guernic (SCOPES, 2015)

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2015)

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. - Van Chan Ngo; Axel Legay; Vania Joloboff (CAV (1), 2016)

Statistical Model Checking for SystemC Models. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (HASE, 2016)

Verifying and Synthesizing Constant-Resource Implementations with Types. - Van Chan Ngo; Mario Dehesa-Azuara; Matthew Fredrikson; Jan Hoffmann 002 (IEEE Symposium on Security and Privacy, 2017)

Bounded expectations: resource analysis for probabilistic programs. - Van Chan Ngo; Quentin Carbonneaux; Jan Hoffmann 002 (PLDI, 2018)

Formal verification of probabilistic SystemC models with statistical model checking. - Van Chan Ngo; Axel Legay (J. Softw. Evol. Process., 2018)