#Jean-Yang article on #formal-methods for #security.
on 02017-06-14#Jean-Yang #paper on #formal-methods for #security, ”A language for automatically enforcing #privacy policies” #toread
on 02017-06-14#Jean-Yang #paper on #formal-methods for #security, “Faceted execution of policy-agnostic programs” #toread
on 02017-06-14#Jean-Yang #paper on #formal-methods for #security, “Secure distributed programming with value-dependent types” #toread
on 02017-06-14