Travelled to:1 × Brazil
1 × Finland
1 × USA
Collaborated with:B.Chetali J.Andronick E.Deplagne C.Kirchner H.Kirchner
Talks about:method (2) proof (2) protocol (1) industri (1) theorem (1) certifi (1) search (1) induct (1) formal (1) secur (1)
Person: Quang Huy Nguyen
DBLP: Nguyen:Quang_Huy
Contributed to:
2008
2008
2003Wrote 3 papers:
- FM-2008-ChetaliN #evaluation #formal method #industrial #security #using
- Industrial Use of Formal Methods for a High-Level Security Evaluation (BC, QHN), pp. 198–213.
- SAC-2008-AndronickN #embedded #protocol
- Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
- CADE-2003-DeplagneKKN #equation #induction #proving #theorem
- Proof Search and Proof Check for Equational and Inductive Theorems (ED, CK, HK, QHN), pp. 297–316.