Follow
dusko pavlovic
dusko pavlovic
Verified email at hawaii.edu - Homepage
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
2022005
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical structures in computer science 23 (3), 555-567, 2013
1972013
Quantum measurements without sums
B Coecke, D Pavlovic
Mathematics of Quantum Computation and Quantum Technology, 577-620, 2007
1702007
A compositional logic for proving security properties of protocols
N Durgin, J Mitchell, D Pavlovic
Journal of Computer Security 11 (4), 677-721, 2003
1702003
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
1162007
Secure protocol composition
A Datta, A Derek, JC Mitchell, D Pavlovic
Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003
1092003
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
1082003
Classical and quantum structuralism
B Coecke, EO Paquette, D Pavlovic
Semantic Techniques in Quantum Computation, 29-69, 2008
105*2008
A compositional logic for protocol correctness
N Durgin, J Mitchell, D Pavlovic
Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 241,242 …, 2001
982001
Calculus in coinductive form
D Pavlovic, MH Escardó
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
891998
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
702005
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic.
D Pavlovic
591992
Composition and refinement of behavioral specifications
D Pavlovic, DR Smith
Proceedings 16th Annual International Conference on Automated Software …, 2001
572001
Deriving, attacking and defending the GDOI protocol
C Meadows, D Pavlovic
Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004
562004
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
542004
Monoidal computer I: Basic computability by string diagrams
D Pavlovic
Information and computation 226, 94-116, 2013
522013
Testing semantics: Connecting processes and process logics
D Pavlovic, M Mislove, JB Worrell
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
502006
Software development by refinement
D Pavlovic, DR Smith
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003
492003
Quantum and classical structures in nondeterminstic computation
D Pavlovic
International Symposium on Quantum Interaction, 143-157, 2009
482009
Categorical logic of names and abstraction in action calculi
D Pavlović
Mathematical Structures in Computer Science 7 (6), 619-637, 1997
471997
The system can't perform the operation now. Try again later.
Articles 1–20