Quang Huy Nguyen

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Mobile Phone Users

Programming Language

Top Venues

J. Inf. Secur. Appl.

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Olga Gadyatskaya, Fabio Massacci, Quang Huy Nguyen, Boutheina Chetali
Load time code validation for mobile phone Java Cards. J. Inf. Secur. Appl. 18 (2-3) (2013)
Boutheina Chetali, Quang Huy Nguyen
An automated testing experiment for layered embedded C code. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Boutheina Chetali, Quang Huy Nguyen
Industrial Use of Formal Methods for a High-Level Security Evaluation. FM (2008)
June Andronick, Quang Huy Nguyen
Certifying an embedded remote method invocation protocol. SAC (2008)
Quang Huy Nguyen, Boutheina Chetali
Certifying Native Java API by Formal Refinement. CARDIS (2006)
Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
Proof Search and Proof Check for Equational and Inductive Theorems. CADE (2003)
Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
External Rewriting for Skeptical Proof Assistants. J. Autom. Reason. 29 (3-4) (2002)
Quang Huy Nguyen
Compact Normalisation Trace via Lazy Rewriting. Electron. Notes Theor. Comput. Sci. 57 (2001)
Quang Huy Nguyen
Certifying Term Rewriting Proofs in ELAN. Electron. Notes Theor. Comput. Sci. 59 (4) (2001)