Author of the publication

Compile-Time Detection of Information Flow in Sequential Programs.

, , and . ESORICS, volume 875 of Lecture Notes in Computer Science, page 55-73. Springer, (1994)

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 by Design: From Technologies to Architectures - (Position Paper)., and . APF, volume 8450 of Lecture Notes in Computer Science, page 1-17. Springer, (2014)A General Trace-Based Framework of Logical Causality., and . FACS, volume 8348 of Lecture Notes in Computer Science, page 157-173. Springer, (2013)Compile-Time Detection of Information Flow in Sequential Programs., , and . ESORICS, volume 875 of Lecture Notes in Computer Science, page 55-73. Springer, (1994)Lazy Type Inference for the Strictness Analysis of Lists., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 257-271. Springer, (1994)Formal Methods in Practice: The Missing Links. A Perspective from the Security Area., , and . MOVEP, volume 2067 of Lecture Notes in Computer Science, page 169-182. Springer, (2000)A Calculus of Gamma Programs., , and . LCPC, volume 757 of Lecture Notes in Computer Science, page 342-355. Springer, (1992)Analysis of Privacy Policies to Enhance Informed Consent., and . DBSec, volume 11559 of Lecture Notes in Computer Science, page 177-198. Springer, (2019)From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles., and . European Data Protection, Springer, (2012)Describing Software Architecture Styles Using Graph Grammars.. IEEE Trans. Software Eng., 24 (7): 521-533 (1998)Position Paper: Analyzing the Impacts of Facial Recognition., and . APF, volume 12121 of Lecture Notes in Computer Science, page 43-57. Springer, (2020)