Detection and Identification of Android Malware Based on Information Flow Monitoring

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

Preventing Serialization Vulnerabilities through Transient Field Detection

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

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

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

Vers une catégorisation par objectif des outils de visualisation pour la sécurité

A Parser-Based Data Collector for Intrusion Detection

Intrusion Survivability for Commodity Operating Systems

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

DaViz: Visualization for Android Malware Datasets

CompCertS: A Memory-Aware Verified C Compiler using a Pointer as Integer Semantics

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Information Flow Control for Intrusion Detection derived from MAC Policy

SpecCert: Specifying and Verifying Hardware-based Security Enforcement

Diagnosing intrusions in Android operating system using system flow graph

CORGI: Combination, Organization and Reconstruction through Graphical Interactions

A Concrete Memory Model for CompCert

Mise en œuvre de politiques de protection des flux d'information dans l'environnement Android

La vie privée sur Internet, une question de confiance ?

The articulation between the legal and technical means of erasure of data online, from the perspective of the user

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

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

Outils informatiques pour la protection de la vie privée

TADAM: Learning Timed Automata from Noisy Observations

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

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

Lutter contre les codes malveillants

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

User Defined Control Flow Policy for Web Service Orchestration

Isolating malicious code in Android malware in the wild

Compiling Sandboxes: Formally Verified Software Fault Isolation

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

The complexity of unsupervised learning of lexicographic preferences

Abusing Android Runtime for Application Obfuscation

Semestre SILM : livre blanc

Preventive Information Flow Control through a Mechanism of Split Addresses

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

Information Flow Policies vs Malware

The Cardinal Abstraction for Quantitative Information Flow

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification

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

La protection des données personnelles, un enjeu organisationnel et technique

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

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

Supply chain agility: review of situations

An investigation on bootstrapping forecasting methods for intermittent demands

Spare parts demand forecasting: a review on bootstrapping methods