Frederic Tronel

Frederic Tronel is a Researcher at Inria, affiliated with the Confidentiality, Integrity, Availability, Distribution (CIA-D) laboratory. His work focuses on cybersecurity, information flow control, and software security, particularly in operating system-level security and intrusion detection systems.

• Research Areas: Information Flow Control, Operating System Security, Intrusion Detection, Distributed Systems, Cybersecurity, and Formal Verification.

Recent Publications (2023–2025):

• Development of taint analysis techniques for confidentiality violation detection.
• Advancements in hybrid information flow monitoring for pointer-aware languages.
• Formal verification of non-interference in programs with pointers.
• Security mechanisms for Linux kernel information flow tracking.
• Distributed storage systems leveraging DSL infrastructure.
• Application of domain-specific languages for rootkit detection in virtual machines.

Collaborations include researchers from Rennes' cybersecurity community (Emmanuelle Anceaume, Eric Totel, Valerie Viet Triem Tong) and institutions exploring peer-to-peer overlays and Markov chain models for performance analysis.