Michele Bugliesi [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition usenixsecurity-2017 - vancouver,canada
Formal Verification of Liferay RBAC ESSoS-2015 - Milan,Italy
Gran: model checking grsecurity RBAC policies 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA