Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Programming in Paragon., , and . Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)A Datalog Semantics for Paralocks., , and . STM, volume 7783 of Lecture Notes in Computer Science, page 305-320. Springer, (2012)Paragon - Practical programming with information flow control., , and . J. Comput. Secur., 25 (4-5): 323-365 (2017)Very Static Enforcement of Dynamic Policies., , and . POST, volume 9036 of Lecture Notes in Computer Science, page 32-52. Springer, (2015)A Security Analysis of OpenID., and . IDMAN, volume 343 of IFIP Advances in Information and Communication Technology, page 73-84. Springer, (2010)Paragon: Programming with Information Flow Control (Demo)., , and . PLAS@ECOOP, page 79. ACM, (2014)Paragon for Practical Programming with Information-Flow Control., , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 217-232. Springer, (2013)The Anatomy and Facets of Dynamic Policies., , and . CSF, page 122-136. IEEE Computer Society, (2015)