Implementation and Verification of Programmable Security.

Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale

Browse the full DBSEC paper archive.