A. Bohannon

Reactive noninterference

Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2009, CCS.

Boomerang: resourceful lenses for string data

Benjamin C. Pierce, Nate Foster, Alan Schmitt, 2008, POPL '08.

Sequent calculi and abstract machines

Amr Sabry, Zena M. Ariola, Aaron Bohannon, 2009, TOPL.

Foundations of web script security

Benjamin C. Pierce, Aaron Bohannon, B. Pierce, 2012 .