Concepedia

Luca Compagna

LC

Statistics

Publications

19

Citations

986

H-Index

15

Active since

2004

Affiliations

University of Genoa(Current)

Centre Azuréen de Cancérologie

University of Trento

Siemens (Germany)

Luca Compagna is an author at University of Genoa specializing in information security, engineering, and data security.

Top concepts

EngineeringInformation SecurityData SecurityComputer ScienceFormal VerificationVerificationSoftware AnalysisCryptographyData PrivacyFormal Methods

Publications per year

2004–2022

19

Publications

19

Formal analysis of SAML 2.0 web browser single sign-on

Alessandro Armando, Roberto Carbone, Luca Compagna et al. · 2008 · 235 citations · Full text

Service Provider, Secure Service, Authentication Authorization +15

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Yannick Chevalier, Luca Compagna, Jorge Cuéllar et al. · 2004 · 143 citations · Full text

SAT-based model-checking for security protocols analysis

Alessandro Armando, Luca Compagna · International Journal of Information Security · 2007 · 102 citations

Engineering, Information Security, Verification +9

An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations

Alessandro Armando, Roberto Carbone, Luca Compagna et al. · Computers & Security · 2012 · 60 citations

Authentication Flaw, Lightweight Authentication Mechanism, Engineering +6

LTL Model Checking for Security Protocols

Alessandro Armando, Roberto Carbone, Luca Compagna · 2007 · 51 citations

Engineering, Information Security, Verification +19

1–5 of 19