Publications

Laure Larippe , Véronique Aubin , Camille Gandiolle , Jean-Yves Buffiere , J. Lachambre , Eva Héripré , Houda Attia , Aurélie Jamoneau , Apolline Lecercle

Rapport 28/03/2025

Reachability Analysis of Term Rewriting Systems with Timbuk

Thomas Genet , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Preventive and corrective security solutions for routing in military tactical ad hoc networks

Christophe Bidan , David Boucart , Morgane Chapon , Patrick Cloitre , Grégory Donias , Gilles Guette , Thierry Plesse , Nicolas Prigent , Sarah Tarrapey

Poster de conférence 28/03/2025

Image Ciphering to Ensure Privacy on Open Image- Sharing Platforms

Kun He , Cyrielle Feron , Gaëtan Le Guelvouit , Christophe Bidan

Communication dans un congrès 28/03/2025

Modeling the Operational Phases of APT Campaigns

Aimad Berady , Valerie Viet Triem Tong , Gilles Guette , Christophe Bidan , Guillaume Carat

Communication dans un congrès 28/03/2025

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

Ronny Chevalier , Maugan Villatel , David Plaquin , Guillaume Hiet

Communication dans un congrès 28/03/2025

BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

Stéphane Geller , Valerie Viet Triem Tong , Ludovic Mé

Communication dans un congrès 28/03/2025

BAGUETTE: Hunting for Evidence of Malicious Behavior in Dynamic Analysis Reports

Vincent Raulin , Pierre-François Gimenez , Yufei Han , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Plateforme de protection de binaires configurable et dynamiquement adaptative

Kévin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 28/03/2025

Designing information flow policies for Android's operating system

Radoniaina Andriatsimandefitra , Stéphane Geller , Valerie Viet Triem Tong

Article dans une revue 28/03/2025

User Data on Androïd Smartphone Must be Protected

Radoniaina Andriatsimandefitra , Valerie Viet Triem Tong , Ludovic Mé

Communication dans un congrès 28/03/2025

New WMAP-constrained realizations

G. Faÿ

Communication dans un congrès 28/03/2025

Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase

Laurent Georget , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Privacy Protection for JPEG Content on Image-Sharing Platforms

Kun He , Christophe Bidan , Gaëtan Le Guelvouit

Communication dans un congrès 28/03/2025

Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario

Article dans une revue 28/03/2025

Estimators of Long-Memory: Fourier versus Wavelets

G. Faÿ , E. Moulines , François Roueff , M.S. Taqqu

Communication dans un congrès 28/03/2025

Intrusion detection in distributed systems, an approach based on taint marking

Christophe Hauser , Frederic Tronel , Colin Fidge , Ludovic Mé

Communication dans un congrès 28/03/2025

Toward a distributed storage system leveraging the DSL infrastructure of an ISP

Pierre Meye , Philippe Raïpin-Parvédy , Frederic Tronel , Emmanuelle Anceaume

Communication dans un congrès 28/03/2025

High-Level Synthesis-Based On-board Payload Data Processing considering the Roofline Model

Seungah Lee , Ruben Salvador , Angeliki Kritikakou , Olivier Sentieys , Julien Galizzi , Emmanuel Casseau

Communication dans un congrès 28/03/2025

FlowChronicle: synthetic network flow generation through pattern set mining

Joscha Cüppers , Adrien Schoen , Gregory Blanc , Pierre-François Gimenez

Communication dans un congrès 28/03/2025

Les techniques d'effacement des données

Sébastien Gambs , Guillaume Piolle

Communication dans un congrès 28/03/2025

The Cardinal Abstraction for Quantitative Information Flow

Mounir Assaf , Julien Signoles , Eric Totel , Frederic Tronel

Communication dans un congrès 28/03/2025

A self-correcting information flow control model for the web-browser

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Communication dans un congrès 28/03/2025

Orchestrating Android Malware Experiments

Jean-Francois Lalande , Pierre Graux , Tomás Concepción Miranda

Communication dans un congrès 28/03/2025

A Concrete Memory Model for CompCert

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Communication dans un congrès 28/03/2025

Abusing Android Runtime for Application Obfuscation

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

Rapport 28/03/2025

Semestre SILM : livre blanc

Guillaume Hiet

Communication dans un congrès 28/03/2025

Regina Paiva Melo Marin , Guillaume Piolle , Christophe Bidan

Communication dans un congrès 28/03/2025

Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

Cédric Herzog , Valerie Viet Triem Tong , Pierre Wilke , Jean-Louis Lanet

Communication dans un congrès 28/03/2025

Intrusion Survivability for Commodity Operating Systems and Services: A Work in Progress

Ronny Chevalier , David Plaquin , Guillaume Hiet

Communication dans un congrès 28/03/2025

The robustness of security and privacy properties in decentralized applications

Communication dans un congrès 28/03/2025

Towards a Representation of Malware Execution Traces for Experts and Machine Learning

Vincent Raulin , Pierre-François Gimenez , Yufei Han , 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ès 28/03/2025

Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating Systems

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Communication dans un congrès 28/03/2025

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf , David A Naumann , Julien Signoles , Eric Totel , Frederic Tronel

Article dans une revue 28/03/2025

Visualization for Monitoring Network Security Events

Christopher Humphries , Nicolas Prigent , Christophe Bidan

Communication dans un congrès 28/03/2025

GUI-Mimic, a cross-platform recorder and fuzzer of Graphical User Interface

Vincent Raulin , Pierre-François Gimenez , Yufei Han , Valerie Viet Triem Tong , Léopold Ouairy

Communication dans un congrès 28/03/2025

Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code

Jean-Loup Hatchikian-Houdot , Pierre Wilke , Frédéric Besson , Guillaume Hiet

Article dans une revue 28/03/2025

Spécification et mécanisme de détection de flots d'information illégaux

Mathieu Jaume , Valerie Viet Triem Tong , Guillaume Hiet

Communication dans un congrès 28/03/2025

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP

Pierre Meye , Philippe Raipin , Frederic Tronel , Emmanuelle Anceaume

Article dans une revue 28/03/2025

Lutter contre les codes malveillants

Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Teaching Android Mobile Security

Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Graux , Guillaume Hiet , Wojciech Mazurczyk , Habiba Chaoui , Pascal Berthomé

Communication dans un congrès 28/03/2025

Dégradation de données par publication éphémère

Simon Bouget , Sébastien Gambs , Guillaume Piolle

Communication dans un congrès 28/03/2025

An Analysis Grid for Privacy-related Properties of Social Network Systems

Regina Paiva Melo Marin , Guillaume Piolle , Christophe Bidan

Communication dans un congrès 28/03/2025

Fièvre Q : état d'avancement du projet EXPAIRCOX sur les risques de transmission et la perception de ces risques

Marc Tabouret , Michaël Treilles , Raphaël Lamothe , Karine Sommier , Racquel Ceniceros , Renaud Pouget , Xavier Lafarge , Pierre-Edouard Fournier , Séverine Barry , David Abrial , Xavier Bailly , Emilie Ramillien , Xavier Fourt , Patrice Cayre , Elodie Rousset , Elsa Jourdain

Communication dans un congrès 28/03/2025

User Defined Control Flow Policy for Web Service Orchestration

Thomas Demongeot , Eric Totel , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Detection and Identification of Android Malware Based on Information Flow Monitoring

Radoniaina Andriatsimandefitra , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Towards generic quality assessment of synthetic traffic for evaluating intrusion detection systems

Adrien Schoen , Gregory Blanc , Pierre-François Gimenez , Yufei Han , Frédéric Majorczyk , Ludovic Mé

Article dans une revue 28/03/2025

Spectral estimation on the sphere with needlets: high frequency asymptotics

G. Faÿ , F. Guilloux

Communication dans un congrès 28/03/2025

The complexity of unsupervised learning of lexicographic preferences

Hélène Fargier , Pierre-François Gimenez , Jérôme Mengin , Bao Ngoc Le Nguyen

Communication dans un congrès 28/03/2025

Towards a Formal Semantics for System Calls in terms of Information Flow

Laurent Georget , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong , Mathieu Jaume

Article dans une revue 28/03/2025

CMB power spectrum estimation using wavelets

G. Faÿ , F. Guilloux , M. Betoule , J.-F. Cardoso , J. Delabrouille , M. Le Jeune

Communication dans un congrès 28/03/2025

On-board Payload Data Processing Combined with the Roofline Model for Hardware/Software Design

Seungah Lee , Emmanuel Casseau , Angeliki Kritikakou , Olivier Sentieys , Ruben Salvador , Julien Galizzi

Communication dans un congrès 28/03/2025

A Parser-Based Data Collector for Intrusion Detection

Grégor Quétel , Eric Alata , Pierre-François Gimenez , Laurent Pautet , Thomas Robert

HDR 28/03/2025

Security at the Hardware/Software Interface

Guillaume Hiet

Rapport 28/03/2025

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

Mounir Assaf , Julien Signoles , Frederic Tronel , Eric Totel

Communication dans un congrès 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ès 28/03/2025

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

Thomas Letan , Pierre Chifflier , Guillaume Hiet , Pierre Néron , Benjamin Morin

Article dans une revue 28/03/2025

Outils informatiques pour la protection de la vie privée

Communication dans un congrès 28/03/2025

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

Cédric Herzog , Valerie Viet Triem Tong , Pierre Wilke , Arnaud van Straaten , Jean-Louis Lanet

Communication dans un congrès 28/03/2025

DaViz: Visualization for Android Malware Datasets

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

Communication dans un congrès 28/03/2025

Preventive Information Flow Control through a Mechanism of Split Addresses

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Article dans une revue 28/03/2025

Protection des données personnelles dans le système d'information

Communication dans un congrès 28/03/2025

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Article dans une revue 27/03/2025

Archetypal Soft-Mode-Driven Antipolar Transition in Francisite Cu 3 Bi ( SeO 3 ) 2 O 2 Cl

Cosme Milesi-Brault , Constance Toulouse , Evan Constable , Hugo Aramberri , Virginie Simonet , Sophie de Brion , Helmuth Berger , Luigi Paolasini , Alexei Bosak , Jorge Íñiguez , Mael Guennou

Article dans une revue 27/03/2025

Dynamics of spray and swirling flame under acoustic oscillations : A joint experimental and LES investigation

Guillaume Vignat , Ermanno Lo Schiavo , Davide Laera , Antoine Renaud , Laurent Gicquel , D. Durox , Sebastien Candel

Communication dans un congrès 27/03/2025

Projet transdisciplinaire EXPAIRCOX : études épidémiologiques et sociologiques dans une région régulièrement confrontée à la fièvre Q

Elsa Jourdain , Marc Tabouret , Michaël Treilles , Patrice Cayre , Raphaël Lamothe , Karine Sommier , Racquel Ceniceros , Renaud Pouget , L. Lafarge , Emilie Ramillien , Xavier Fourt , Séverine Barry , David Abrial , Isabelle Lebert , Xavier Bailly , Elodie Rousset

Autre publication scientifique 26/03/2025

Mesures de vitesse dans une flamme turbulente de prémélange à faible pression. Problèmes liés aux moyennes statistiques et au traitement du signal

Thierry Baritaud , D. Durox , Roger Prud'Homme

Article dans une revue 26/03/2025

Falling film down a slippery inclined plane

Arghya Samanta , Christian Ruyer-Quil , Benoît Goyeau

Communication dans un congrès 26/03/2025

Supply chain agility: review of situations

Selmen Boubaker , Zied Jemai , Evren Sahin , Yves Dallery

Communication dans un congrès 26/03/2025

Comparison between two highly turbulent flames having very different laminar burning velocities

D. Durox , Thierry Bariteau , J.P. Dumont , Roger Prud'Homme

Article dans une revue 26/03/2025

Undoped TiO2 and nitrogen-doped TiO2 thin films deposited by atomic layer deposition on planar and architectured surfaces for photovoltaic applications

L. Tian , A. Soum-Glaude , F. Volpi , L. Salvo , G. Berthome , S. Coindeau , A. Mantoux , R. Boichot , S. Lay , V. Brize , E. Blanquet , G. Giusti , D. Bellet

Article dans une revue 26/03/2025

An investigation on bootstrapping forecasting methods for intermittent demands

Zied Jemai , M. Hasni , Mohamed Zied Babai , M.S. Aguir

Communication dans un congrès 26/03/2025

The impact of merging activities in supply chain under the guaranteed service model

Zied Jemai , Bendadou Abderrahim , Kalai Rim , Jemai Zied

Communication dans un congrès 26/03/2025

Planification tactique du problème intégré production-distribution avec prise en compte des délais de transport: Cas de la chaine logistique textile

Zied Jemai , Imen Safra , Aida Jebali , Hanen Bouchriha , Asma Ghaffari

Article dans une revue 26/03/2025

Effect of the inelastic dynamic soil-structure interaction on the seismic vulnerability assessment

Esteban Saez , Fernando Lopez-Caballero , Arézou Modaressi-Farahmand Razavi