Author of the publication

FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules.

, and . POLICY, page 1-8. IEEE Computer Society, (2011)

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

Privacy Architectures: Reasoning about Data Minimisation and Integrity., and . STM, volume 8743 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)Consistency Checking for Multiple View Software Architectures., , and . ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 410-428. Springer, (1999)Shape Types., and . POPL, page 27-39. ACM Press, (1997)Gamma and the Chemical Reaction Model: Fifteen Years After., , and . WMP, volume 2235 of Lecture Notes in Computer Science, page 17-44. Springer, (2000)A Type-based Framework for Program Analysis., and . SAS, volume 864 of Lecture Notes in Computer Science, page 380-394. Springer, (1994)Privacy Risk Analysis to Enable Informed Privacy Settings., and . EuroS&P Workshops, page 95-102. IEEE, (2018)Introduction to Gamma., and . Research Directions in High-Level Parallel Programming Languages, volume 574 of Lecture Notes in Computer Science, page 197-202. Springer, (1991)The Chemical Reaction Model.. Research Directions in High-Level Parallel Programming Languages, volume 574 of Lecture Notes in Computer Science, page 196. Springer, (1991)Model Checking Security Properties of Control Flow Graphs., , and . J. Comput. Secur., 9 (3): 217-250 (2001)Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis., and . J. Funct. Program., 6 (1): 75-109 (1996)