4 citations · 7 across the 5 of their papers we have counts for
6 papers
Garmr: Defending the gates of PKU-based sandboxing
Alexios Voulimeneas, Jonas Vinck, Ruben Mechelinck +1
Memory Protection Keys for Userspace (PKU) is a recent hardware feature that allows programs to assign virtual memory pages to protection domains, and to change domain access permi…
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting
Alexios Voulimeneas, Dokyung Song, Per Larsen +2
Multi-variant execution (MVX) systems amplify the effectiveness of software diversity techniques. The key idea is to run multiple diversified program variants in lockstep while pro…
DMON: A Distributed Heterogeneous N-Variant System
Alexios Voulimeneas, Dokyung Song, Fabian Parzefall +4
N-Variant Execution (NVX) systems utilize software diversity techniques for enhancing software security. The general idea is to run multiple different variants of the same program…
SoK: Sanitizing for Security
Dokyung Song, Julian Lettner, Prabhu Rajasekaran +4
The C and C++ programming languages are notoriously insecure yet remain indispensable. Developers therefore resort to a multi-pronged approach to find security issues before advers…
PartiSan: Fast and Flexible Sanitization via Run-time Partitioning
Julian Lettner, Dokyung Song, Taemin Park +3
Sanitizers can detect security vulnerabilities in C/C++ code that elude static analysis. Current practice is to continuously fuzz and sanitize internal pre-release builds. Sanitiza…
Multi-Variant Execution of Parallel Programs
Stijn Volckaert, Bjorn De Sutter, Koen De Bosschere +1
Multi-Variant Execution Environments (MVEEs) are a promising technique to protect software against memory corruption attacks. They transparently execute multiple, diversified varia…