@ARTICLE{giantleap,
author={Hamed Okhravi and Nathan Burow and Richard Skowyra and Bryan Ward and Samuel Jero and Roger Khazan and Howard Shrobe},
journal={Security Privacy, IEEE},
title={One Giant Leap for Computer Security},
year={2020}
}