Comparing operating systems using robustness benchmarks | IEEE Conference Publication | IEEE Xplore