Vers une détection d'intrusions à fiabilité et pertinence prouvables

Détection fiable et pertinente de flux d'information illégaux

Policy-based intrusion detection in web applications by monitoring Java information flows

Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java

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

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

Security at the Hardware/Software Interface

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

Sécurité de la plate-forme d'exécution Java : limites et propositions d'améliorations

Semestre SILM : livre blanc

Preventive Information Flow Control through a Mechanism of Split Addresses

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

SpecCert: Specifying and Verifying Hardware-based Security Enforcement

Preventive Information Flow Control through a Mechanism of Split Addresses

Towards Automated Protocol Reverse Engineering Using Semantic Information

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

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

Intrusion Survivability for Commodity Operating Systems

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

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

Etude comparative des formats d’alertes

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

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

Plateforme de protection de binaires configurable et dynamiquement adaptative

Modular Verification of Programs with Effects and Effect Handlers in Coq

Modular verification of programs with effects and effects handlers

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

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

Classification des approches de détection d'intrusions dans les systèmes de contrôle industriels et axes d'amélioration

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

A portable approach for SoC-based Dynamic Information Flow Tracking implementations

HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking

A small and adaptive coprocessor for information flow tracking in ARM SoCs

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

Cross-domain Alert Correlation methodology for Industrial Control Systems

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

ARMHEx: a framework for efficient DIFT in real-world SoCs

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

ARMHEx: embedded security through hardware-enhanced information flow tracking

Detecting Process-Aware Attacks in Sequential Control Systems

Droits et obligations à l'ère numérique : protection de la vie privée

Des systèmes normatifs comme outils de protection de la vie privée

Les systèmes multi-agents normatifs : organisations, institutions et normes

Affective computing, software agents and online communities

Proposing new ways of resolving online conflicts: an intelligent facilitation of forgiveness in {CMC}

Protection de la vie privée : droit, modèles et outils

Trust management formal techniques and systems

Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL