Concepedia

Iliano Cervesato

IC

37

Publications

1.7K

Citations

21

H-Index

1979

Active since

Affiliations

Carnegie Mellon University(Current)

University of Pennsylvania

Carnegie Mellon University Qatar

Stanford University

PAT Industries (United States)

Iliano Cervesato is an author at Carnegie Mellon University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningCryptographyVerificationData SecurityInformation SecurityFormal Specification

Publications per year

1979–2017

37

Publications

37

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

Rows per page

1–5 of 37