Author of the publication

Using Equivalence Relations for Corrective Enforcement of Security Policies.

, and . MMM-ACNS, volume 6258 of Lecture Notes in Computer Science, page 139-154. Springer, (2010)

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

Processor allocation and loop scheduling on multiprocessor computers., and . ICS, page 63-71. ACM, (1992)Generating In-Line Monitors for Rabin Automata., , and . NordSec, volume 5838 of Lecture Notes in Computer Science, page 287-301. Springer, (2009)A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor., , , and . SEC, volume 471 of IFIP Advances in Information and Communication Technology, page 352-366. Springer, (2016)Andrana: Quick and Accurate Malware Detection for Android., , , , , , and . FPS, volume 10128 of Lecture Notes in Computer Science, page 20-35. Springer, (2016)From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm., , , and . WETICE, page 256-262. IEEE Computer Society, (1997)Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra.. IPPS, page 217-221. IEEE Computer Society, (1994)Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement., , , , and . CSF, page 351-366. IEEE, (2019)Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm., , , and . FPS, volume 10128 of Lecture Notes in Computer Science, page 161-178. Springer, (2016)Enforcing Information Flow by Combining Static and Dynamic Analysis., , , and . FPS, volume 8352 of Lecture Notes in Computer Science, page 83-101. Springer, (2013)Method Call Acceleration in Embedded Java Virtual Machines., , , , , and . International Conference on Computational Science, volume 2659 of Lecture Notes in Computer Science, page 750-759. Springer, (2003)