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

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

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

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

A dependable intrusion detection architecture based on agreement services

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

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Dependability Evaluation of Cluster-based Systems

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

Towards Better CFG Layouts

Fuzzing des Extensions Noyau de macOS

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

Analytical Study of Adversarial Strategies in Cluster-based Overlays

Detecting illegal system calls using a data-oriented detection model

Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré

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

A secure two-phase data deduplication scheme

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

Bitcoin a Distributed Shared Register

An Invariant-based Approach for Detecting Attacks against Data in Web Applications

Detecting Attacks Against Data in Web Applications

Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems

Dependability Evaluation of Cluster-based Distributed Systems

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

General Feature Extraction In SAR Target Classification: A Contrastive Learning Approach Across Sensor Types

Impact of PolSAR Pre-Processing and Balancing Methods on Complex-Valued Neural Networks Segmentation Tasks

Complex-valued neural networks for polarimetric sar segmentation using pauli representation

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

Performance bounds for change point and time delay estimation

Comparison Between Equivalent Architectures of Complex-valued and Real-valued Neural Networks - Application on Polarimetric SAR Image Segmentation

Performance bounds for coupled models

SAR Anomalies Detection based on Deep Learning

Robust Geometric Metric Learning

Détection d'anomalies en SAR basée sur les réseaux génératifs

Self-Supervised Learning Based Anomaly Detection in Synthetic Aperture Radar Imaging

Asymptotic Performance of Complex $M$ -Estimators for Multivariate Location and Scatter Estimation

On the Maximum Likelihood Estimator Statistics for Unimodal Elliptical Distributions in the High Signal-to-Noise Ratio Regime

A Tyler-type estimator of location and scatter leveraging Riemannian optimization

Hybrid Barankin-Weiss-Weinstein bounds

Probabilistic PCA From Heteroscedastic Signals: Geometric Framework and Application to Clustering

Efficient Estimation of Scatter Matrix with Convex Structure under t-Distribution

Robust-COMET for Covariance Estimation in Convex Structures: Algorithm and Statistical Properties

Information-Estimation relationship in mismatched Gaussian channels