Security Impact Ratings Considered Harmful. - Jeff Arnold; Tim Abbott; Waseem Daher; Gregory Price; Nelson Elhage; Geoffrey Thomas; Anders Kaseorg (HotOS, 2009)

C4: verified transactional objects. - Mohsen Lesani; Li-yao Xia; Anders Kaseorg; Christian J. Bell; Adam Chlipala; Benjamin C. Pierce; Steve Zdancewic (Proc. ACM Program. Lang., 2022)