Boniface Hicks

A logical specification and analysis for SELinux MLS policy

Boniface Hicks, Sandra Rueda, Luke St. Clair et al. · ACM Transactions on Information and System Security · 2010 · 54 citations

Computing, Computer Science, Cybersecurity +17

From Languages to Systems: Understanding Practical Application Development in Security-typed Languages

Boniface Hicks, Kiyan Ahmadizadeh, Patrick McDaniel · 2006 · 47 citations

Computing, Computer Science, Computer Systems +17

Trusted declassification:

Boniface Hicks, Dave King, Patrick McDaniel et al. · 2006 · 38 citations

Computing, Computer Science, Computer Systems +10

Dynamic updating of information-flo w policies

Stephan A Zdancewic, Michael Hicks, Stephen Tse et al. · ScholarlyCommons (University of Pennsylvania) · 2005 · 37 citations · Full text

Computing, Computer Science, Computer Systems +14

From trusted to secure: building and executing applications that enforce system security

Boniface Hicks, Sandra Rueda, Trent Jaeger et al. · 2007 · 34 citations

Computing, Computer Science, Computer Systems +16