Reachability Analysis of Term Rewriting Systems with Timbuk. - Thomas Genet; Valérie Viet Triem Tong (LPAR, 2001)

Reachability Analysis over Term Rewriting Systems. - Guillaume Feuillade; Thomas Genet; Valérie Viet Triem Tong (J. Autom. Reason., 2004)

Biometric Fuzzy Extractors Made Practical: A Proposal Based on FingerCodes. - Valérie Viet Triem Tong; Hervé Sibert; Jérémy Lecoeur; Marc Girault (ICB, 2007)

A Distributed Certification System for Structured P2P Networks. - François Lesueur; Ludovic Mé; Valérie Viet Triem Tong (AIMS, 2008)

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. - Mehdi Talbi; Benjamin Morin; Valérie Viet Triem Tong; Adel Bouhoula; Mohamed Mejri (ICICS, 2008)

A sybilproof distributed identity management for P2P networks. - François Lesueur; Ludovic Mé; Valérie Viet Triem Tong (ISCC, 2008)

A Sybil-Resistant Admission Control Coupling SybilGuard with Distributed Certification. - François Lesueur; Ludovic Mé; Valérie Viet Triem Tong (WETICE, 2008)

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. - Mehdi Talbi; Valérie Viet Triem Tong; Adel Bouhoula (ARES, 2009)

An Efficient Distributed PKI for Structured P2P Networks. - François Lesueur; Ludovic Mé; Valérie Viet Triem Tong (Peer-to-Peer Computing, 2009)

Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy. - Laurent George 002; Valérie Viet Triem Tong; Ludovic Mé (RAID, 2009)

Policy-based intrusion detection in web applications by monitoring Java information flows. - Guillaume Hiet; Valérie Viet Triem Tong; Ludovic Mé; Benjamin Morin (Int. J. Inf. Comput. Secur., 2009)

Detecting and Excluding Misbehaving Nodes in a P2P Network. - François Lesueur; Ludovic Mé; Valérie Viet Triem Tong (Stud. Inform. Univ., 2009)

Liability in software engineering: overview of the LISE approach and illustration on a case study. - Daniel Le Métayer; Manuel Maarek; Valérie Viet Triem Tong; Eduardo Mazza; Marie-Laure Potet; Nicolas Craipeau; Stéphane Frénot; Ronan Hardouin (ICSE (1), 2010)

Specifying and Enforcing a Fine-Grained Information Flow Policy: Model and Experiments. - Valérie Viet Triem Tong; Andrew J. Clark; Ludovic Mé (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2010)

From SSIR to CIDre: A New Security Research Group in Rennes, France. - Emmanuelle Anceaume; Christophe Bidan; Sébastien Gambs; Guillaume Hiet; Michel Hurfin; Ludovic Mé; Guillaume Piolle; Nicolas Prigent; Eric Totel; Frederic Tronel; Valérie Viet Triem Tong (SysSec@DIMVA, 2011)

Information Flow Control for Intrusion Detection Derived from MAC Policy. - Stephane Geller; Christophe Hauser; Frédéric Tronel; Valérie Viet Triem Tong (ICC, 2011)

Flow Based Interpretation of Access Control: Detection of Illegal Information Flows. - Mathieu Jaume; Valérie Viet Triem Tong; Ludovic Mé (ICISS, 2011)

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. - Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin (Commun. ACM, 2011)

Designing information flow policies for Android's operating system. - Radoniaina Andriatsimandefitra; Stephane Geller; Valérie Viet Triem Tong (ICC, 2012)

User Data on Androïd Smartphone Must be Protected. - Radoniaina Andriatsimandefitra; Valérie Viet Triem Tong; Ludovic Mé (ERCIM News, 2012)

Spécification et mécanisme de détection de flots d'information illégaux. - Mathieu Jaume; Valérie Viet Triem Tong; Guillaume Hiet (Tech. Sci. Informatiques, 2012)

A privacy preserving distributed reputation mechanism. - Emmanuelle Anceaume; Gilles Guette; Paul Lajoie-Mazenc; Nicolas Prigent; Valérie Viet Triem Tong (ICC, 2013)

Secure States versus Secure Executions - From Access Control to Flow Control. - Mathieu Jaume; Radoniaina Andriatsimandefitra; Valérie Viet Triem Tong; Ludovic Mé (ICISS, 2013)

Extending Signatures of Reputation. - Emmanuelle Anceaume; Gilles Guette; Paul Lajoie-Mazenc; Thomas Sirvent; Valérie Viet Triem Tong (Privacy and Identity Management, 2013)

Capturing Android Malware Behaviour Using System Flow Graph. - Radoniaina Andriatsimandefitra; Valérie Viet Triem Tong (NSS, 2014)

Apport du suivi de flux d'information pour la sécurité des systèmes. - Valérie Viet Triem Tong (2015)

Detection and Identification of Android Malware Based on Information Flow Monitoring. - Radoniaina Andriatsimandefitra; Valérie Viet Triem Tong (CSCloud, 2015)

Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings. - Paul Lajoie-Mazenc; Emmanuelle Anceaume; Gilles Guette; Thomas Sirvent; Valérie Viet Triem Tong (IFIPTM, 2015)

GroddDroid: a gorilla for triggering malicious behaviors. - Adrien Abraham; Radoniaina Andriatsimandefitra; Adrien Brunelat; Jean-François Lalande; Valérie Viet Triem Tong (MALWARE, 2015)

Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. - Laurent Georget; Frédéric Tronel; Valérie Viet Triem Tong (VISSOFT, 2015)

TerminAPTor: Highlighting Advanced Persistent Threats through Information Flow Tracking. - Guillaume Brogi; Valérie Viet Triem Tong (NTMS, 2016)

Challenges in Android Malware Analysis. - Valérie Viet Triem Tong; Jean-François Lalande; Mourad Leslous (ERCIM News, 2016)

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. - Laurent Georget; Mathieu Jaume; Frederic Tronel; Guillaume Piolle; Valérie Viet Triem Tong (FormaliSE@ICSE, 2017)

GPFinder: Tracking the invisible in Android malware. - Mourad Leslous; Valérie Viet Triem Tong; Jean-François Lalande; Thomas Genet (MALWARE, 2017)

Information Flows at OS Level Unmask Sophisticated Android Malware. - Valérie Viet Triem Tong; Aurélien Trulla; Mourad Leslous; Jean-François Lalande (SECRYPT, 2017)

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. - Laurent Georget; Mathieu Jaume; Guillaume Piolle; Frédéric Tronel; Valérie Viet Triem Tong (SEFM, 2017)

Challenges for Reliable and Large Scale Evaluation of Android Malware Analysis. - Jean-François Lalande; Valérie Viet Triem Tong; Mourad Leslous; Pierre Graux (HPCS, 2018)

Obfuscated Android Application Development. - Pierre Graux; Jean-François Lalande; Valérie Viet Triem Tong (CECC, 2019)

Teaching Android Mobile Security. - Jean-François Lalande; Valérie Viet Triem Tong; Pierre Graux; Guillaume Hiet; Wojciech Mazurczyk; Habiba Chaoui; Pascal Berthomé (SIGCSE, 2019)

SEER4US, Secured Energy Efficient Routing for UAV Swarms. - Benoît Fournier; Gilles Guette; Valérie Viet Triem Tong; Jean-Louis Lanet (WiMob, 2019)

Abusing Android Runtime for Application Obfuscation. - Pierre Graux; Jean-François Lalande; Pierre Wilke; Valérie Viet Triem Tong (EuroS&P Workshops, 2020)

GroDDViewer: Dynamic Dual View of Android Malware. - Jean-François Lalande; Mathieu Simon; Valérie Viet Triem Tong (GraMSec@CSF, 2020)

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. - Cédric Herzog; Valérie Viet Triem Tong; Pierre Wilke; Arnaud Van Straaten; Jean-Louis Lanet (ICETE (2), 2020)

Preventing serialization vulnerabilities through transient field detection. - Pierre Graux; Jean-François Lalande; Valérie Viet Triem Tong; Pierre Wilke (SAC, 2021)

Accurate Measurement of the Energy Consumption of Security Functions. - Benoît Fournier; Valérie Viet Triem Tong; Gilles Guette (SECRYPT, 2021)

From TTP to IoC: Advanced Persistent Graphs for Threat Hunting. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE Trans. Netw. Serv. Manag., 2021)

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-François Lalande; Valérie Viet Triem Tong; Pierre Wilke (IEEE Trans. Inf. Forensics Secur., 2022)

PWNJUTSU dataset. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE DataPort, 2022)

Dada: Debiased Android DAtasets. - Tomás Concepción Miranda; Pierre-François Gimenez; Jean-François Lalande; Valérie Viet Triem Tong; Pierre Wilke (IEEE DataPort, 2022)

PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack Campaigns. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE Trans. Netw. Serv. Manag., 2022)

CERBERE: Cybersecurity Exercise for Red and Blue team Entertainment, REproducibility. - Pierre-Victor Besson; Romain Brisse; Helene Orsini; Natan Talon; Jean-François Lalande; Frédéric Majorczyk; Alexandre Sanchez; Valérie Viet Triem Tong (IEEE Big Data, 2023)

CVE representation to build attack positions graphs. - Manuel Poisson; Valérie Viet Triem Tong; Gilles Guette; Frédéric Guihéry; Damien Crémilleux (IEEE Big Data, 2023)

URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range Architectures. - Pierre-Victor Besson; Valérie Viet Triem Tong; Gilles Guette; Guillaume Piolle; Erwan Abgrall (FPS (1), 2023)

BAGUETTE: Hunting for Evidence of Malicious Behavior in Dynamic Analysis Reports. - Vincent Raulin; Pierre-François Gimenez; Yufei Han 001; Valérie Viet Triem Tong (SECRYPT, 2023)

URSID: Using formalism to Refine attack Scenarios for vulnerable Infrastructure Deployment. - Pierre-Victor Besson; Valérie Viet Triem Tong; Gilles Guette; Guillaume Piolle; Erwan Abgrall (CoRR, 2023)

OATs'inside: Retrieving Object Behaviors From Native-based Obfuscated Android Applications. - Pierre Graux; Jean-François Lalande; Valérie Viet Triem Tong; Pierre Wilke (DTRAP, 2023)

SCWAD: Automated Pentesting of Web Applications. - Natan Talon; Valérie Viet Triem Tong; Gilles Guette; Yufei Han; Youssef Laarouchi (SECRYPT, 2024)