Iliano Cervesato

A meta-notation for protocol analysis

Iliano Cervesato, Nancy Durgin, Patrick Lincoln et al. · 2003 · 249 citations

Engineering, Information Security, Verification +19

A Linear Logical Framework

Iliano Cervesato, Frank Pfenning · Information and Computation · 2002 · 130 citations

Linear Logical Framework, Engineering, Automated Reasoning +6

On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters

Baljit Singh, Dmitry Evtyushkin, Jesse Elwell et al. · 2017 · 108 citations

Engineering, Machine Learning, Evasion Technique +24

Relating strands and multiset rewriting for security protocol analysis

Iliano Cervesato, Nancy Durgin, John C. Mitchell et al. · 2002 · 88 citations

Parametric Strands, Formal Specification, Engineering +15

A linear logical framework

Iliano Cervesato, Frank Pfenning · 2002 · 83 citations · Full text

Linear Logical Framework, Engineering, Operational Semantics +13