Concepedia

Thesis Supervisors

TS

Statistics

Publications

1

Citations

18

H-Index

1

Active since

2005

Thesis Supervisors is an author specializing in formal specification, data security, and security protocols.

Top concepts

EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceHardware SecuritySoftware AnalysisSecurity ProtocolsAutomated Reasoning

Publications per year

2005–2005

1

Publications

1

SAT-based Model-Checking of Security Protocols

Luca Compagna, Thesis Supervisors, Alessandro Armando et al. · 2005 · 18 citations

Engineering, Information Security, Verification +20

1–1 of 1