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

Flow Locks: Towards a Core Calculus for Dynamic Flow Policies., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 180-196. Springer, (2006)Haskell server pages through dynamic loading.. Haskell, page 39-48. ACM, (2005)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)Some examples related to the abc-conjecture for algebraic number fields.. Math. Comput., 69 (232): 1707-1710 (2000)Paragon: Programming with Information Flow Control (Demo)., , and . PLAS@ECOOP, page 79. ACM, (2014)Improving the Semantics of Imperfect Security., and . ARSPA-WITS, volume 5511 of Lecture Notes in Computer Science, page 88-91. Springer, (2009)Paragon for Practical Programming with Information-Flow Control., , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 217-232. Springer, (2013)Paralocks: role-based information flow control and beyond., and . POPL, page 431-444. ACM, (2010)The Anatomy and Facets of Dynamic Policies., , and . CSF, page 122-136. IEEE Computer Society, (2015)A Datalog Semantics for Paralocks., , and . STM, volume 7783 of Lecture Notes in Computer Science, page 305-320. Springer, (2012)