Concepedia

Luca Viganò

LV

Statistics

Publications

44

Citations

1.8K

H-Index

18

Active since

1998

Affiliations

University of Verona(Current)

King's College London

Politecnico di Milano

Instituto Superior de Tecnologias Avançadas

Luca Viganò is an author at University of Verona specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationData SecurityInformation SecurityFormal MethodsSoftware AnalysisVerificationHardware SecuritySecurity

Publications per year

1998–2020

44

Publications

44

OFMC: A symbolic model checker for security protocols

David Basin, Sebastian Mödersheim, Luca Viganò · International Journal of Information Security · 2004 · 497 citations · Full text

Engineering, Symbolic Model Checker, Information Security +9

Automated Security Protocol Analysis With the AVISPA Tool

Luca Viganò · Electronic Notes in Theoretical Computer Science · 2006 · 445 citations · Full text

Automated analysis of RBAC policies with temporal constraints and static role hierarchies

Silvio Ranise, Trương Việt Anh, Luca Viganò · 2015 · 62 citations

Engineering, Rbac Policies, Information Security +24

A Formal Approach to Physics-based Attacks in Cyber-physical Systems

Ruggero Lanotte, Massimo Merro, Andrei Munteanu et al. · ACM Transactions on Privacy and Security · 2020 · 52 citations · Full text

Engineering, Information Security, Formal Approach +17

Natural Deduction for Non-Classical Logics

David Basin, Seán Matthews, Luca Viganò · Studia Logica · 1998 · 41 citations

1–5 of 44