Publications Retrouver toutes les publications des chercheurs de CentraleSupélec Annuaire des chercheurs Accueil Recherche
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 Isolating malicious code in Android malware in the wild Valerie Viet Triem Tong , Cédric Herzog , Tomás Concepción Miranda , Pierre Graux , Jean-Francois Lalande , Pierre Wilke
Communication dans un congrès 28/03/2025 Experimentation of Privacy Protection for JPEG Contents on Image-Sharing Platforms Kun He , Christophe Bidan , Gaëtan Le Guelvouit
Communication dans un congrès 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 A Precise and Abstract Memory Model for C Using Symbolic Values Frédéric Besson , Sandrine Blazy , Pierre Wilke
Communication dans un congrès 28/03/2025 CORGI: Combination, Organization and Reconstruction through Graphical Interactions Christopher Humphries , Nicolas Prigent , Christophe Bidan , Frédéric Majorczyk
Communication dans un congrès 28/03/2025 Suivi de flux d'information correct sous Linux Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong
Communication dans un congrès 28/03/2025 A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity Matthieu Baty , Pierre Wilke , Guillaume Hiet , Arnaud Fontaine , Alix Trieu
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 Hypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf , David A Naumann , Julien Signoles , Eric Totel , Frederic Tronel
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 CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files Yuting Wang , Xiangzhen Xu , Pierre Wilke , Zhong Shao
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
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
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 Homomorphic Cryptography-based Privacy-Preserving Network Communications Antoine Guellier , Christophe Bidan , Nicolas Prigent
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 Equity-preserving Management of Privacy Conflicts in Social Network Systems Regina Paiva Melo Marin , Guillaume Piolle , Christophe Bidan
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 Preventive Information Flow Control through a Mechanism of Split Addresses Deepak Subramanian , Guillaume Hiet , Christophe Bidan
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
Communication dans un congrès 28/03/2025 Towards Automated Protocol Reverse Engineering Using Semantic Information Georges Bossert , Frédéric Guihéry , Guillaume Hiet
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 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 Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems Georges Bossert , Guillaume Hiet , Thibaut Henin
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
Communication dans un congrès 28/03/2025 Propagation of local alterations using Level-Sets within the Arlequin framework Olivier Jamond , Hachmi Ben Dhia
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 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 Information Flow Control for Intrusion Detection derived from MAC Policy Stéphane Geller , Christophe Hauser , Frederic Tronel , Valerie Viet Triem Tong
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 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
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 Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario
Communication dans un congrès 28/03/2025 Compiling Sandboxes: Formally Verified Software Fault Isolation Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke
Communication dans un congrès 28/03/2025 Privacy Policy Requirements for Distributed Social Network Systems Regina Paiva Melo Marin , Guillaume Piolle , 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 Robust and Secure Image Encryption Schemes During JPEG Compression Process Kun He , Christophe Bidan , Gaëtan Le Guelvouit
Communication dans un congrès 28/03/2025 Protection de la vie privée : appréhension de concepts éthiques par un agent autonome
Communication dans un congrès 28/03/2025 Location-Proof System Based on Secure Multi-party Computations Aurélien Dupin , Jean-Marc Robert , 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 SpecCert: Specifying and Verifying Hardware-based Software Enforcement Thomas Letan , Pierre Chifflier , Guillaume Hiet , Pierre Néron , Benjamin Morin
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 Etude comparative des formats d’alertes Guillaume Hiet , Hervé Debar , Sélim Ménouar , Vérène Houdebine
Communication dans un congrès 28/03/2025 Conception d'un actionneur d'assistance circulatoire Abdelhakim Sahnoune , Maya Hage-Hassan , Guillaume Krebs , Philippe Dessante , Claude Marchand , Olaf Mercier , Julien Guihaire
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 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 A taint marking approach to confidentiality violation detection Christophe Hauser , Frederic Tronel , Jason Reid , Colin Fidge
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 A Parser-Based Data Collector for Intrusion Detection Grégor Quétel , Eric Alata , Pierre-François Gimenez , Laurent Pautet , Thomas Robert
Communication dans un congrès 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ès 28/03/2025 Program Transformation for Non-interference Verification on Programs with Pointers 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 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 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 Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong
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 A secure two-phase data deduplication scheme Pierre Meye , Philippe Raipin , Frederic Tronel , Emmanuelle Anceaume
Communication dans un congrès 28/03/2025 CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics Frédéric Besson , Sandrine Blazy , Pierre Wilke
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
Communication dans un congrès 28/03/2025 DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification Camille Le Bon , Erven Rohou , Frederic Tronel , Guillaume Hiet
Communication dans un congrès 28/03/2025 La protection des données personnelles vue par un informaticien
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
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 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 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
Communication dans un congrès 27/03/2025 A stepwise uncertainty reduction strategy for the estimation of small quantile sets Romain Ait Abdelmalek-Lomenech , Julien Bect , Emmanuel Vazquez
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 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 séquentielle tactique-opérationnelle d'une chaîne logistique textile Zied Jemai , Imen Safra , Aida Jebali , Hanen Bouchriha , Asma Ghaffari
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
Communication dans un congrès 25/03/2025 Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction Jean-Paul Gibson , Idir Aït-Sadoune
Communication dans un congrès 23/03/2025 A Small-Scale Network for Seismic Patterns Classification Monacer da Silva , Jean Charléty , Aurélia Fraysse , Jean-Christophe Pesquet
Communication dans un congrès 23/03/2025 Multistep interface coupling for high-order adaptive black-box multiphysics simulations L. François , M. Massot
Communication dans un congrès 23/03/2025 A cortical-inspired model for orientation-dependent contrast perception: a link with Wilson-Cowan equations Marcelo Bertalmío , Luca Calatroni , Valentina Franceschi , Benedetta Franceschiello , Dario Prandi
Communication dans un congrès 23/03/2025 Limit time optimal synthesis for a two-level quantum system Paolo Mason , Rebecca Salmoni , Ugo Boscain , Yacine Chitour
Communication dans un congrès 23/03/2025 Numerical simulation of a H5 chondrite radiative field: comparison with the experiments performed at the VKI plasmatron facility Bruno Dias , James B Scoggins , Laurent Soucasse , Philippe Riviere , Anouar Soufiani , Thierry E. Magin
Communication dans un congrès 23/03/2025 Modelling load balancing and Carrier Aggregation in mobile networks Florence Bénézit , Salah Eddine Elayoubi , Raluca-Maria Indre , Alain Simonian
Communication dans un congrès 23/03/2025 Second order conditions for a control problem with discontinuous cost Terence Bayen , Laurent Pfeiffer
Communication dans un congrès 23/03/2025 Fully Eulerian simulation of 3D turbulent particle laden flow based on the Anisotropic Gaussian Closure Macole Sabat , Aymeric Vie , Adam Larat , Marc Massot
Communication dans un congrès 23/03/2025 Eulerian modeling of polydisperse evaporating spray under realistic internal combustion engine conditions Oguz Emre , Marc Massot , Stephane de Chaisemartin , Stéphane Jay , Frédérique Laurent
Communication dans un congrès 23/03/2025 Green Communication via HARQ Protocols using Message-Passing Decoder over AWGN Channels Haifa Fares , Baptiste Vrigneau , Olivier Berder
Communication dans un congrès 22/03/2025 Performance and Cost Effectiveness of Caching in Mobile Access Networks Salah Eddine Elayoubi , James Roberts
Communication dans un congrès 22/03/2025 Design and performance evaluation of site sleep mode in LTE mobile networks Arshad Ali , Salah Eddine Elayoubi
Communication dans un congrès 21/03/2025 Nuclear receptor-based affinity columns as an innovative tool for the isolation and the identification of estrogenic substances present in complex matrices Adeline Jondeau-Cabaton , Nicolas Creusot , Amélie Soucasse , Emilien L. Jamin , Marina Grimaldi , Sélim Aït-Aïssa , Patrick Balaguer , Laurent Debrauwer , Daniel Zalko
Communication dans un congrès 21/03/2025 Capturer les biais cognitifs dans un processus de prise de décision erroné Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger
Communication dans un congrès 21/03/2025 Étude de transférabilité des clés pour le liage de données entre graphes de connaissances Thibaut Soulard , Fatiha Saïs , Joe Raad , Gianluca Quercini
Communication dans un congrès 21/03/2025 Modelling the interaction between functioning and organogenesis in a stochastic plant growth model : Methodology for parameter estimation and illustration Philippe de Reffye , Marc Jaeger , Sylvie Sabatier , Véronique Letort
Communication dans un congrès 21/03/2025 OntoEventB: A Generator of Event-B contexts from Ontologies Idir Aït-Sadoune
Communication dans un congrès 21/03/2025 Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger
Communication dans un congrès 21/03/2025 IRSUTE : un concept de minisatellite pour l'estimation des flux de surface échangés par la biosphère continentale à l'échelle locale de la parcelle Bernard Seguin , Fanny Becker , T. Phulpin
Communication dans un congrès 21/03/2025 Point-Cloud-based Deep Learning Models for Finite Element Analysis Meduri Venkata Shivaditya , Francesca Bugiotti , Frédéric Magoules
Communication dans un congrès 21/03/2025 Numerical tools to study hydrogen flame acceleration Luc Lecointre , Sergey Kudriakov , Etienne Studer , Ronan Vicquelin , Christian Tenaud
Communication dans un congrès 21/03/2025 Preliminary Functional-Structural Modeling on Poplar (Salicaceae) Dongxiang Liu , Meng Zhen Kang , Véronique Letort , Meijun Xing , Yang Gang , Xinyuan Huang , Weiqun Cao
Communication dans un congrès 21/03/2025 Biomass degradation during steam treatment assessed at the tissue and parietal scales Julia Parlatore Lancha , Julien Colin , Floran Pierre , Giana Almeida , Sid-Ali Mokdad