dusko pavlovic

Cited by

	All	Since 2017
Citations	2765	695
h-index	28	13
i10-index	54	21

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120229 20 9 12 10 20 17 12 61 44 69 103 184 139 196 149 142 162 197 135 109 132 95 115 110 134 149 152 34

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
Bob CoeckeProfessor of Quantum Foundations, Logics and Structures, University of OxfordVerified email at cs.ox.ac.uk
Michael MisloveTulane UniversityVerified email at tulane.edu
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
Jamie VicaryUniversity of CambridgeVerified email at cl.cam.ac.uk
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleVerified email at uw.edu
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Sava KrsticResearch Scientist, Intel Corp.Verified email at intel.com
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerified email at ru.nl
Trajce DimkovPhD Researcher, University of TwenteVerified email at utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Bertfried FauserKonstanz Germany

dusko pavlovic

Professor at University of Hawaii

Verified email at hawaii.edu - Homepage

security semantics networks


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A derivation system and compositional logic for security protocols A Datta, A Derek, JC Mitchell, D Pavlovic Journal of Computer Security 13 (3), 423-482, 2005	197	2005
A new description of orthogonal bases B Coecke, D Pavlovic, J Vicary Mathematical Structures in Computer Science 23 (3), 555-567, 2013	183	2013
A compositional logic for proving security properties of protocols N Durgin, J Mitchell, D Pavlovic Journal of Computer Security 11 (4), 677-721, 2003	169	2003
Quantum measurements without sums B Coecke, D Pavlovic arXiv preprint quant-ph/0608035, 2006	155	2006
Distance bounding protocols: Authentication logic analysis and collusion attacks C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson Secure localization and time synchronization for wireless sensor and ad hoc …, 2007	115	2007
Secure protocol composition A Datta, A Derek, JC Mitchell, D Pavlovic Electronic Notes in Theoretical Computer Science 83, 201-226, 2003	107	2003
A derivation system for security protocols and its logical formalization A Datta, A Derek, JC Mitchell, D Pavlovic 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 109-125, 2003	104	2003
A compositional logic for protocol correctness N Durgin, J Mitchell, D Pavlovic Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 241,242 …, 2001	93	2001
Classical and quantum structuralism B Coecke, EO Paquette, D Pavlovic Semantic Techniques in Quantum Computation, 29-69, 2008	91	2008
Calculus in coinductive form D Pavlovic, MH Escardó Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	82	1998
An encapsulated authentication logic for reasoning about key distribution protocols I Cervesato, C Meadows, D Pavlovic 18th IEEE Computer Security Foundations Workshop (CSFW'05), 48-61, 2005	70	2005
Deriving, attacking and defending the GDOI protocol C Meadows, D Pavlovic European Symposium on Research in Computer Security, 53-72, 2004	57	2004
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic. D Pavlovic	55	1992
Composition and refinement of behavioral specifications D Pavlovic, DR Smith Proceedings 16th Annual International Conference on Automated Software …, 2001	53	2001
Abstraction and refinement in protocol derivation A Datta, A Derek, JC Mitchell, D Pavlovic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 30-45, 2004	51	2004
Testing semantics: connecting processes and process logics D Pavlovic, M Mislove, JB Worrell International Conference on Algebraic Methodology and Software Technology …, 2006	46	2006
Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support, 267-286, 2003	46	2003
Quantum and classical structures in nondeterminstic computation D Pavlovic International Symposium on Quantum Interaction, 143-157, 2009	42	2009
Deriving secrecy in key establishment protocols D Pavlovic, C Meadows European Symposium on Research in Computer Security, 384-403, 2006	42	2006
Monoidal computer I: Basic computability by string diagrams D Pavlovic Information and computation 226, 94-116, 2013	41	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors