Simulation précise du réseau interconnectant des machines virtuelles basées sur de la virtualisation matérielle pour une analyse minimisant les perturbations

Pour analyser des logiciels malveillants, les spécialistes en sécurité étudient des échantillons dans des sandboxes. Les logiciels malveillants utilisent des méthodes dites d’évasion pour détecter la présence d’une sandbox d’analyse, et masquer leurcomportement malveillant. Une partie de ces méthodes d’évasion reposent sur de l’analyse temporelle, qui peut être basée sur les performances du réseau. Par exemple, un logiciel malveillant peut faire des mesures de performances sur sa communication avec un serveur distant, et comparer ses résultats avec ceux d’une distribution connue à l’avance. Pour rendre les sandboxes résistantes à ce type d’attaques, notre approche consiste à interconnecter des machines virtuelles avec un simulateur réseau. Notre solution découple l’horloge virtuelle de chaque machine virtuelle de l’horloge physique de l’hôte, afin de synchroniser chaque horloge virtuelle avec l’horloge du simulateur. Ces travaux de thèse s’articulent selon deux axes applicatifs. Le premier axe « système » consiste à étudier comment créer un environnement réseau permettant de prédire les performances d’applications distribués. Le second axe « sécurité » est l’étude de l’intégration avec des sandboxes, dont certains outils d’analyse liés au temps peuvent interférer avec notre approche.

Authors

Publication Details

Journal
theses.fr (ABES)
Published
2025-12-08
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Simulation précise du réseau interconnectant des machines virtuelles basées sur de la virtualisation matérielle pour une analyse minimisant les perturbations

Léo Cosseron
theses.fr (ABES)
Security and Verification in Computing
article

Simulation précise du réseau interconnectant des machines virtuelles basées sur de la virtualisation matérielle pour une analyse minimisant les perturbations

Léo Cosseron
article en

Abstract

Pour analyser des logiciels malveillants, les spécialistes en sécurité étudient des échantillons dans des sandboxes. Les logiciels malveillants utilisent des méthodes dites d’évasion pour détecter la présence d’une sandbox d’analyse, et masquer leurcomportement malveillant. Une partie de ces méthodes d’évasion reposent sur de l’analyse temporelle, qui peut être basée sur les performances du réseau. Par exemple, un logiciel malveillant peut faire des mesures de performances sur sa communication avec un serveur distant, et comparer ses résultats avec ceux d’une distribution connue à l’avance. Pour rendre les sandboxes résistantes à ce type d’attaques, notre approche consiste à interconnecter des machines virtuelles avec un simulateur réseau. Notre solution découple l’horloge virtuelle de chaque machine virtuelle de l’horloge physique de l’hôte, afin de synchroniser chaque horloge virtuelle avec l’horloge du simulateur. Ces travaux de thèse s’articulent selon deux axes applicatifs. Le premier axe « système » consiste à étudier comment créer un environnement réseau permettant de prédire les performances d’applications distribués. Le second axe « sécurité » est l’étude de l’intégration avec des sandboxes, dont certains outils d’analyse liés au temps peuvent interférer avec notre approche.

theses.fr (ABES)
Openalex Percentile: Top 17%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.