109 citations · 109 across the 2 of their papers we have counts for
3 papers
FlexOS: Towards Flexible OS Isolation
Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung +5
At design time, modern operating systems are locked in a specific safety and isolation strategy that mixes one or more hardware/software protection mechanisms (e.g. user/kernel sep…
Unikraft: Fast, Specialized Unikernels the Easy Way
Simon Kuenzer, Vlad-Andrei Bădoiu, Hugo Lefeuvre +12
Unikernels are famous for providing excellent performance in terms of boot times, throughput and memory consumption, to name a few metrics. However, they are infamous for making it…
SymNet: scalable symbolic execution for modern networks
Radu Stoenescu, Matei Popovici, Lorina Negreanu +1
We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the net…