Valerie Viet Triem Tong

Laboratoire

Génie Électrique et Électronique de PariS

Publications (55)

Communication dans un congrè 29/04/2025

Specification of Electronic Voting Protocol Properties Using ADM Logic : FOO Case Study

Mehdi Talbi , Benjamin Morin , Valerie Viet Triem Tong , Adel Bouhoula , Mohammed Mejri

Communication dans un congrè 29/04/2025

Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM

Mehdi Talbi , Benjamin Morin , Valerie Viet Triem Tong , Adel Bouhoula , Mohammed Mejri

Article dans une revue 28/03/2025

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?

Tomás Concepción Miranda , Pierre-François Gimenez , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrè 28/03/2025

Preventing Serialization Vulnerabilities through Transient Field Detection

Pierre Graux , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrè 28/03/2025

Abusing Android Runtime for Application Obfuscation

Pierre Graux , Jean-Francois Lalande , Pierre Wilke , Valerie Viet Triem Tong

Rapport 28/03/2025

Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation

Thomas Genet , Valerie Viet Triem Tong

Article dans une revue 28/03/2025

OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications

Pierre Graux , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrè 28/03/2025

Information Flow Policies vs Malware

Radoniaina Andriatsimandefitra , Thomas Saliou , Valerie Viet Triem Tong

Communication dans un congrè 28/03/2025

From SSIR to CIDre: a New Security Research Group in Rennes

Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin , Ludovic Mé , Guillaume Piolle , Nicolas Prigent , Eric Totel , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrè 28/03/2025

Capturing Android Malware Behaviour using System Flow Graph

Radoniaina Andriatsimandefitra , Valerie Viet Triem Tong