 | 2009 |
| 9 |  | Mehdi Talbi,
Valérie Viet Triem Tong,
Adel Bouhoula:
Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols.
ARES 2009: 281-288 |
| 8 |  | Laurent George,
Valérie Viet Triem Tong,
Ludovic Mé:
Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy.
RAID 2009: 355-356 |
| 2008 |
| 7 |  | François Lesueur,
Ludovic Mé,
Valérie Viet Triem Tong:
A Distributed Certification System for Structured P2P Networks.
AIMS 2008: 40-52 |
| 6 |  | Mehdi Talbi,
Benjamin Morin,
Valérie Viet Triem Tong,
Adel Bouhoula,
Mohamed Mejri:
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.
ICICS 2008: 403-418 |
| 5 |  | François Lesueur,
Ludovic Mé,
Valérie Viet Triem Tong:
A sybilproof distributed identity management for P2P networks.
ISCC 2008: 246-253 |
| 4 |  | François Lesueur,
Ludovic Mé,
Valérie Viet Triem Tong:
A Sybil-Resistant Admission Control Coupling SybilGuard with Distributed Certification.
WETICE 2008: 105-110 |
| 2007 |
| 3 |  | Valérie Viet Triem Tong,
Hervé Sibert,
Jérémy Lecoeur,
Marc Girault:
Biometric Fuzzy Extractors Made Practical: A Proposal Based on FingerCodes.
ICB 2007: 604-613 |
| 2004 |
| 2 |  | Guillaume Feuillade,
Thomas Genet,
Valérie Viet Triem Tong:
Reachability Analysis over Term Rewriting Systems.
J. Autom. Reasoning 33(3-4): 341-383 (2004) |
| 2001 |
| 1 |  | Thomas Genet,
Valérie Viet Triem Tong:
Reachability Analysis of Term Rewriting Systems with Timbuk.
LPAR 2001: 695-706 |