Vasily Sartakov

sss'13 genode "ksys labs" sss'12 "norman feske" "genode l microkernel operating systems security intel sgx sev sme sgx memory genode norman feske sss'12 tcb "trusted compting base" "ksys labs" sss'12 virtualization sandboxing "ksys labs" sss'12 vmi fma "ksys labs" sss'12 microkernel "system integrity" "ksys labs" sss'12 microkernel "ksys labs" sss'12 microkernel l4re fiasco.oc "sigma0. ksys la sss'12 microkernel l4re fiasco.oc "ksys labs" l4re l4linux "ksys labs" sss'12 embedded mach kernel skolkovo