( en | de | ru )

 

Disambiguation of "Compagna, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.

, , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 567-572. Springer, (2016)

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.

Diego Compagna

Luca Tuninetti

Luca Rizzini

Luca Tranchini

Luca Criscuolo

 

Other publications of authors with the same name

Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps., , , , and . FMSE, page 1-10. ACM, (2008)Abstraction-Driven SAT-based Analysis of Security Protocols., and . SAT, volume 2919 of Lecture Notes in Computer Science, page 257-271. Springer, (2003)Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios., , , and . DBSec, volume 9149 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 567-572. Springer, (2016)Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation., , and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 30-45. Springer, (2005)WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate., , and . USENIX Security Symposium, page 6079-6096. USENIX Association, (2023)Business Process Compliance via Security Validation as a Service., , and . ICST, page 455-462. IEEE Computer Society, (2013)How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach., , , , and . ICAIL, page 149-153. ACM, (2007)Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning., and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 210-225. Springer, (2002)Security Validation of Business Processes via Model-Checking., , , and . ESSoS, volume 6542 of Lecture Notes in Computer Science, page 29-42. Springer, (2011)