Concepedia

Duško Pavlović

DP

33

Publications

1.1K

Citations

19

H-Index

1990

Active since

Affiliations

Kestrel Institute(Current)

Stanford University

Royal Holloway University of London

University of Hawaii System

University of Sussex

Duško Pavlović is an author at Kestrel Institute specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsCryptographyData SecurityAutomated ReasoningFormal VerificationInformation SecurityData PrivacyVerification

Publications per year

1990–2021

33

Publications

33

A derivation system and compositional logic for security protocols

Anupam Datta, John C. Mitchell, Duško Pavlović · Journal of Computer Security · 2005 · 151 citations

A compositional logic for proving security properties of protocols*

Nancy Durgin, John C. Mitchell, Duško Pavlović · Journal of Computer Security · 2003 · 129 citations

A compositional logic for protocol correctness

Nancy Durgin, John C. Mitchell, Duško Pavlović · 2005 · 75 citations

Engineering, Information Security, Verification +16

A derivation system for security protocols and its logical formalization

Anupam Datta, John C. Mitchell, Duško Pavlović · 2004 · 73 citations

Cryptographic Primitive, Engineering, Information Security +19

Calculus in coinductive form

Duško Pavlović, Martı́n Hötzel Escardó · 2002 · 58 citations

Coinductive Formalization, Coinductive Form, Symbolic Manipulation +12

Rows per page

1–5 of 33