Les techniques d'effacement des données

From theory to practice: forgiveness as a mechanism to repair conflicts in {CMC}

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

A dyadic operator for the gradation of desirability

Outils informatiques pour la protection de la vie privée

Obligations with deadlines and maintained interdictions in privacy regulation frameworks

Privacy Policy Requirements for Distributed Social Network Systems

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

La protection des données personnelles vue par un informaticien

The robustness of security and privacy properties in decentralized applications

Une Logique pour Raisonner sur la Protection des Données Personnelles

Une architecture pour la protection étendue des données personnelles

Addressing Temporal Aspects of Privacy-Related Norms

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

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

Privacy Management in User-Centred Multi-Agent Systems

Equity-preserving Management of Privacy Conflicts in Social Network Systems

Déléguer la protection des données personnelles à des agents cognitifs

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

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

Generation et evaluation de mecanismes de detection d'intrusion au niveau applicatif

Automatic Software Instrumentation for the Detection of Non-control-data Attacks

SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data

Computing Global Functions in Asynchronous Distributed Systems with Process Crashes

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework

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

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

Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components

A taint marking approach to confidentiality violation detection

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

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

Program Transformation for Non-interference Verification on Programs with Pointers

The Cardinal Abstraction for Quantitative Information Flow

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

Information Flow Control for Intrusion Detection derived from MAC Policy

Dependability Evaluation of Cluster-based Systems

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

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

A dependable intrusion detection architecture based on agreement services

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

Suivi de flux d'information correct sous Linux

Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains

Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems

A secure two-phase data deduplication scheme

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement

Analytical Study of Adversarial Strategies in Cluster-based Overlays

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

Merits of Complex-Valued Neural Networks for PolSAR image segmentation

Complex-Valued vs. Real-Valued Neural Networks for Classification Perspectives: An Example on Non-Circular Data