Automating Security Mediation Placement.

Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia

Browse the full ESOP paper archive.