Dusko Pavlovic

Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic: Information Security as a Resource. Inf. Comput. 226: 1-2 (2013)

Dusko Pavlovic: Monoidal computer I: Basic computability by string diagrams. Inf. Comput. 226: 94-116 (2013)

Wolter Pieters, Trajce Dimkov, Dusko Pavlovic: Security Policy Alignment: A Formal Approach. IEEE Systems Journal 7(2): 275-287 (2013)

Dusko Pavlovic: Bicompletions of distance matrices. CoRR abs/1303.6428 (2013)

Dusko Pavlovic: Tracing the Man in the Middle in Monoidal Categories. CMCS 2012: 191-217

Dusko Pavlovic, Catherine Meadows: Actor-Network Procedures - (Extended Abstract). ICDCIT 2012: 7-26

Dusko Pavlovic: Quantitative Concept Analysis. ICFCA 2012: 260-277

Dusko Pavlovic: Tracing the Man in the Middle in Monoidal Categories. CoRR abs/1203.6324 (2012)

Dusko Pavlovic: Quantitative Concept Analysis. CoRR abs/1204.5802 (2012)

Dusko Pavlovic: Monoidal computer I: Basic computability by string diagrams. CoRR abs/1208.5205 (2012)

Dusko Pavlovic: Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. Electr. Notes Theor. Comput. Sci. 270(2): 121-139 (2011)

Dusko Pavlovic: Gaming security by obscurity. NSPW 2011: 125-140

Michael Johnson, Dusko Pavlovic (Eds.): Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6486, Springer 2011, isbn 978-3-642-17795-8

Dusko Pavlovic, Catherine Meadows: Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. CoRR abs/1106.0706 (2011)

Dusko Pavlovic: Gaming security by obscurity. CoRR abs/1109.5542 (2011)

Dusko Pavlovic, Catherine Meadows: Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. Electr. Notes Theor. Comput. Sci. 265: 97-122 (2010)

Dusko Pavlovic: Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. Formal Aspects in Security and Trust 2010: 1-17

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376

Dusko Pavlovic: The Unreasonable Ineffectiveness of Security Engineering: An Overview. SEFM 2010: 12-18

Dusko Pavlovic: Geometry of abstraction in quantum computation. CoRR abs/1006.1010 (2010)

Dusko Pavlovic: Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories. CoRR abs/1006.1011 (2010)

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010)

Dusko Pavlovic: Quantifying and qualifying trust: Spectral decomposition of trust networks. CoRR abs/1011.5696 (2010)

Dusko Pavlovic: A Semantical Approach to Equilibria and Rationality. CALCO 2009: 317-334

Dusko Pavlovic: Quantum and Classical Structures in Nondeterminstic Computation. QI 2009: 143-157

Dusko Pavlovic, Catherine Meadows: Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 240-261

Dusko Pavlovic: A semantical approach to equilibria and rationality. CoRR abs/0905.3548 (2009)

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314

Dusko Pavlovic: Network as a Computer: Ranking Paths to Find Flows. CSR 2008: 384-397

Dusko Pavlovic: Dynamics, Robustness and Fragility of Trust. Formal Aspects in Security and Trust 2008: 97-113

Dusko Pavlovic: On quantum statistics in data analysis. CoRR abs/0802.1296 (2008)

Dusko Pavlovic: Network as a computer: ranking paths to find flows. CoRR abs/0802.1306 (2008)

Dusko Pavlovic: Dynamics, robustness and fragility of trust. CoRR abs/0808.0732 (2008)

Michael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007)

Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, Paul F. Syverson: Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks 2007: 279-298

Dusko Pavlovic, Michael W. Mislove, James Worrell: Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322

Dusko Pavlovic, Catherine Meadows: Deriving Secrecy in Key Establishment Protocols. ESORICS 2006: 384-403

Dusko Pavlovic: Connector-Based Software Development: Deriving Secure Protocols. FM 2006: 598-599

Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel: Deriving Secure Network Protocols for Enterprise Services Architectures. ICC 2006: 2283-2287

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A derivation system and compositional logic for security protocols. Journal of Computer Security 13(3): 423-482 (2005)

Iliano Cervesato, Catherine Meadows, Dusko Pavlovic: An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW 2005: 48-61

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30-

Catherine Meadows, Dusko Pavlovic: Deriving, Attacking and Defending the GDOI Protocol. ESORICS 2004: 53-72

Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell: Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security 11(4): 677-722 (2003)

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125

Dusko Pavlovic, Vaughan R. Pratt: The continuum as a final coalgebra. Theor. Comput. Sci. 280(1-2): 105-122 (2002)

Dusko Pavlovic, Douglas R. Smith: Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425

Dusko Pavlovic, Douglas R. Smith: Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286

Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. CSFW 2001: 241-

Sava Krstic, John Launchbury, Dusko Pavlovic: Categories of Processes Enriched in Final Coalgebras. FoSSaCS 2001: 303-317

Dusko Pavlovic, Douglas R. Smith: Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165

Dusko Pavlovic: Towards Semantics of Self-Adaptive Software. IWSAS 2000: 65-74

Dusko Pavlovic, Vaughan R. Pratt: On coalgebra of real numbers. Electr. Notes Theor. Comput. Sci. 19: 103-117 (1999)

Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic: Preface. Electr. Notes Theor. Comput. Sci. 29: 1 (1999)

Dusko Pavlovic: Semantics of First Order Parametric Specifications. World Congress on Formal Methods 1999: 155-172

Dusko Pavlovic: Guarded induction on final coalgebras. Electr. Notes Theor. Comput. Sci. 11: 140-157 (1998)

Dusko Pavlovic, Martín Hötzel Escardó: Calculus in Coinductive Form. LICS 1998: 408-417

Dusko Pavlovic: Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. Mathematical Structures in Computer Science 7(1): 49-73 (1997)

Dusko Pavlovic: Categorical logic of Names and Abstraction in Action Calculi. Mathematical Structures in Computer Science 7(6): 619-637 (1997)

Dusko Pavlovic, Samson Abramsky: Specifying Interaction Categories. Category Theory and Computer Science 1997: 147-158

Dusko Pavlovic: Maps II: Chasing Diagrams in Categorical Proof Theory. Logic Journal of the IGPL 4(2): 159-194 (1996)

Dusko Pavlovic: On Completeness and Cocompleteness in an Around Small Categories. Ann. Pure Appl. Logic 74(2): 121-152 (1995)

Dusko Pavlovic: Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. Category Theory and Computer Science 1995: 3-23

Dusko Pavlovic: Categorical Logic of Concurrency and Interaction I: Synchronous Processes. Theory and Formal Methods 1994: 105-141

Dusko Pavlovic: Constructions and Predicates. Category Theory and Computer Science 1991: 173-196