sMVX: Multi-Variant Execution on Selected Code Paths

Multi-Variant Execution (MVX) is an effective way to detect memory corruption vulnerabilities, intrusions, or live software updates. A traditional MVX system concurrently runs multiple copies of functionally identical, layout-different program variants. Therefore, a typical memory corruption attack that forges pointers can succeed on at most one variant, leading the other variant(s) to crash. The replicated execution adds software security and reliability but also brings multiple times of CPU and memory usage.

Authors

Institutions

Publication Details

Published
2024-11-27
DOI
https://doi.org/10.1145/3652892.3654794
Citations
3
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
1.04

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

sMVX: Multi-Variant Execution on Selected Code Paths

Joo-Young Jang, Binoy Ravindran, SengMing Yeoh, Xiaoguang Wang
3 citations
Security and Verification in Computing
1.04
article

sMVX: Multi-Variant Execution on Selected Code Paths

Joo-Young Jang, Binoy Ravindran, SengMing Yeoh, Xiaoguang Wang
article en
3 citations

Abstract

Multi-Variant Execution (MVX) is an effective way to detect memory corruption vulnerabilities, intrusions, or live software updates. A traditional MVX system concurrently runs multiple copies of functionally identical, layout-different program variants. Therefore, a typical memory corruption attack that forges pointers can succeed on at most one variant, leading the other variant(s) to crash. The replicated execution adds software security and reliability but also brings multiple times of CPU and memory usage.

University of Illinois Chicago (US), Virginia Tech (US)
National Science Foundation, Office of Naval Research
Openalex Percentile: Top 18%
Security and Verification in Computing
1.04
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.