Survey on system-level graph-based and anomaly-based intrusion detection

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)

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

Security at the Hardware/Software Interface

Les techniques d'effacement des données

OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications

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

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

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

FlowChronicle: synthetic network flow generation through pattern set mining

Modeling the Operational Phases of APT Campaigns

Program Transformation for Non-interference Verification on Programs with Pointers

Modular verification of programs with effects and effects handlers

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

Netzob : un outil pour la rétro-conception de protocoles de communication

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

Designing information flow policies for Android's operating system

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

Teaching Android Mobile Security

Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems

Protection de la vie privée : appréhension de concepts éthiques par un agent autonome

La protection des données personnelles vue par un informaticien

A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity

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

Equity-preserving Management of Privacy Conflicts in Social Network Systems

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?

A taint marking approach to confidentiality violation detection

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

Suivi de flux d'information correct sous Linux

Privacy Protection for JPEG Content on Image-Sharing Platforms

Capturing Android Malware Behaviour using System Flow Graph

Visualization for Monitoring Network Security Events

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

User Data on Androïd Smartphone Must be Protected

Errors in the CICIDS2017 dataset and the significant differences in detection performances it makes

Orchestrating Android Malware Experiments

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

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

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

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

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

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

Plateforme de protection de binaires configurable et dynamiquement adaptative

Apport du suivi de flux d'information pour la sécurité des systèmes

Towards Automated Protocol Reverse Engineering Using Semantic Information

The robustness of security and privacy properties in decentralized applications

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

Privacy Policy Requirements for Distributed Social Network Systems

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