Dusko Pavlovic

126 papers A* 4A 2B 10C 4Misc 2Journal 58Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Introduction to Security Science - Basic Concepts and Mathematical Foundations Dusko Pavlovic, Peter-Michael Seidel
2025	J	`jnl`	Security Science (SecSci), Basic Concepts and Mathematical Foundations. CoRR Dusko Pavlovic, Peter-Michael Seidel
2024	J	`jnl`	Language processing in humans and computers. CoRR Dusko Pavlovic
2023	C	`conf`	From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). WoLLIC Dusko Pavlovic, Temra Pavlovic
2023	J	`jnl`	From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). CoRR Dusko Pavlovic, Temra Pavlovic
2023	—	`book`	Programs as Diagrams - In cooperation with the association Computability in Europe Dusko Pavlovic
2022	J	`jnl`	Categorical Computability in Monoidal Computer: Programs as Diagrams. CoRR Dusko Pavlovic
2022	J	`jnl`	Lambek pregroups are Frobenius spiders in preorders. Compositionality Dusko Pavlovic
2022	J	`jnl`	Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. CoRR Dusko Pavlovic, Dominic J. D. Hughes
2021	C	`conf`	Decision Support for Sharing Data using Differential Privacy. VizSec Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic
2021	J	`jnl`	Lambek pregroups are Frobenius spiders in preorders. CoRR Dusko Pavlovic
2021	—	`conf`	Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman. Protocols, Strands, and Logic Dusko Pavlovic
2021	J	`jnl`	Probabilistic annotations for protocol models. CoRR Dusko Pavlovic
2020	J	`jnl`	Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
2020	J	`jnl`	Dynamic Distributed Secure Storage Against Ransomware. IEEE Trans. Comput. Soc. Syst. Jason Castiglione, Dusko Pavlovic
2020	—	`conf`	Logic of Fusion - - Dedicated to Andre Scedrov -. Logic, Language, and Security Dusko Pavlovic
2020	J	`jnl`	Logic of fusion. CoRR Dusko Pavlovic
2020	J	`jnl`	Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers. CoRR Dusko Pavlovic
2020	J	`jnl`	The nucleus of an adjunction and the Street monad on monads. CoRR Dusko Pavlovic, Dominic J. D. Hughes
2019	J	`jnl`	Causality and deceit: Do androids watch action movies? CoRR Dusko Pavlovic, Temra Pavlovic
2019	—	`ed.`	Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows Foundations of Security, Protocols, and Equational Reasoning Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
2019	J	`jnl`	Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2019	—	`conf`	Policy Creation for Enterprise-Level Data Sharing. HCI (29) Linda Briesemeister, Woodrow Gustafson, Grit Denker, April Martin, Karsten Martiny, Ron Moore, Dusko Pavlovic, Mark F. St. John
2019	—	`conf`	Privacy Protocols. Foundations of Security, Protocols, and Equational Reasoning Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
2019	J	`jnl`	Privacy protocols. CoRR Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
2018	J	`jnl`	Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep. Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi
2018	—	`conf`	Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). CMCS Dusko Pavlovic, Muzamil Yahia
2018	A*	`conf`	Sound up-to techniques and Complete abstract domains. LICS Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2018	J	`jnl`	Sound up-to techniques and Complete abstract domains. CoRR Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2017	J	`jnl`	A Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management. IEEE Internet Things J. Depeng Li, Rui Zhang, Yingfei Dong, Fangjin Zhu, Dusko Pavlovic
2017	J	`jnl`	Functorial Semantics for Relational Theories. CoRR Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
2017	—	`conf`	Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2017	J	`jnl`	Monoidal computer III: A coalgebraic view of computability and complexity. CoRR Dusko Pavlovic, Muzamil Yahia
2017	A*	`conf`	Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS Dusko Pavlovic, Peter-Michael Seidel
2017	J	`jnl`	Quotients in monadic programming: Projective algebras are equivalent to coalgebras. CoRR Dusko Pavlovic, Peter-Michael Seidel
2017	B	`conf`	Refinement for Signal Flow Graphs. CONCUR Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
2017	J	`jnl`	Smooth coalgebra: testing vector analysis. Math. Struct. Comput. Sci. Dusko Pavlovic, Bertfried Fauser
2017	J	`jnl`	Universal probability-free prediction. Ann. Math. Artif. Intell. Vladimir Vovk, Dusko Pavlovic
2016	—	`conf`	(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. QPL Dusko Pavlovic, Peter-Michael Seidel
2016	—	`conf`	Universal Probability-Free Conformal Prediction. COPA Vladimir Vovk, Dusko Pavlovic
2016	J	`jnl`	Universal probability-free conformal prediction. CoRR Vladimir Vovk, Dusko Pavlovic
2015	J	`jnl`	Testing randomness by Matching Pennies. CoRR Dusko Pavlovic
2015	B	`conf`	Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. CALCO Toshiki Kataoka, Dusko Pavlovic
2015	J	`jnl`	Towards a Science of Trust. CoRR Dusko Pavlovic
2015	—	`conf`	Towards a science of trust. HotSoS Dusko Pavlovic
2015	J	`jnl`	Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra. CoRR Toshiki Kataoka, Dusko Pavlovic
2014	—	`conf`	Chasing Diagrams in Cryptography. Categories and Types in Logic, Language, and Physics Dusko Pavlovic
2014	J	`jnl`	Chasing diagrams in cryptography. CoRR Dusko Pavlovic
2014	J	`jnl`	Monoidal computer II: Normal complexity by string diagrams. CoRR Dusko Pavlovic
2014	J	`jnl`	Smooth coalgebra: testing vector analysis. CoRR Bertfried Fauser, Dusko Pavlovic
2013	J	`jnl`	A new description of orthogonal bases. Math. Struct. Comput. Sci. Bob Coecke, Dusko Pavlovic, Jamie Vicary
2013	—	`conf`	Bicompletions of Distance Matrices. Computation, Logic, Games, and Quantum Foundations Dusko Pavlovic
2013	J	`jnl`	Bicompletions of distance matrices CoRR Dusko Pavlovic
2013	J	`jnl`	Information Security as a Resource. Inf. Comput. Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic
2013	J	`jnl`	Monoidal computer I: Basic computability by string diagrams. Inf. Comput. Dusko Pavlovic
2013	J	`jnl`	Security Policy Alignment: A Formal Approach. IEEE Syst. J. Wolter Pieters, Trajce Dimkov, Dusko Pavlovic
2012	Misc	`conf`	Actor-Network Procedures - (Extended Abstract). ICDCIT Dusko Pavlovic, Catherine Meadows
2012	—	`conf`	Formalizing Physical Security Procedures. STM Catherine Meadows, Dusko Pavlovic
2012	J	`jnl`	Monoidal computer I: Basic computability by string diagrams CoRR Dusko Pavlovic
2012	J	`jnl`	Quantitative Concept Analysis CoRR Dusko Pavlovic
2012	C	`conf`	Quantitative Concept Analysis. ICFCA Dusko Pavlovic
2012	J	`jnl`	Tracing the Man in the Middle in Monoidal Categories CoRR Dusko Pavlovic
2012	—	`conf`	Tracing the Man in the Middle in Monoidal Categories. CMCS Dusko Pavlovic
2011	J	`jnl`	Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions CoRR Dusko Pavlovic, Catherine Meadows
2011	—	`ed.`	Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers AMAST Michael Johnson, Dusko Pavlovic
2011	J	`jnl`	Gaming security by obscurity CoRR Dusko Pavlovic
2011	C	`conf`	Gaming security by obscurity. NSPW Dusko Pavlovic
2010	B	`conf`	Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. MFPS Dusko Pavlovic, Catherine Meadows
2010	J	`jnl`	Formal Derivation of Concurrent Garbage Collectors CoRR Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010	B	`conf`	Formal Derivation of Concurrent Garbage Collectors. MPC Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010	J	`jnl`	Geometry of abstraction in quantum computation CoRR Dusko Pavlovic
2010	—	`conf`	Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. Formal Aspects in Security and Trust Dusko Pavlovic
2010	J	`jnl`	Quantifying and qualifying trust: Spectral decomposition of trust networks CoRR Dusko Pavlovic
2010	J	`jnl`	Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories CoRR Dusko Pavlovic
2010	B	`conf`	The Unreasonable Ineffectiveness of Security Engineering: An Overview. SEFM Dusko Pavlovic
2009	B	`conf`	A Semantical Approach to Equilibria and Rationality. CALCO Dusko Pavlovic
2009	J	`jnl`	A semantical approach to equilibria and rationality CoRR Dusko Pavlovic
2009	—	`conf`	Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop Dusko Pavlovic, Catherine Meadows
2009	—	`conf`	Geometry of abstraction in quantum computation. Classical and Quantum Information Assurance Foundations and Practice Dusko Pavlovic
2009	J	`jnl`	Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. CoRR Dusko Pavlovic, Catherine Meadows
2009	—	`conf`	Quantum and Classical Structures in Nondeterminstic Computation. QI Dusko Pavlovic
2009	—	`conf`	Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. QPL@MFPS Dusko Pavlovic
2008	—	`conf`	Dynamics, Robustness and Fragility of Trust. Formal Aspects in Security and Trust Dusko Pavlovic
2008	J	`jnl`	Dynamics, robustness and fragility of trust CoRR Dusko Pavlovic
2008	—	`conf`	Evolving Specification Engineering. AMAST Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2008	Misc	`conf`	Network as a Computer: Ranking Paths to Find Flows. CSR Dusko Pavlovic
2008	J	`jnl`	Network as a computer: ranking paths to find flows CoRR Dusko Pavlovic
2008	J	`jnl`	On quantum statistics in data analysis CoRR Dusko Pavlovic
2007	—	`ch.`	Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks Catherine Meadows, Radha Poovendran, Dusko Pavlovic, Liwu Chang, Paul F. Syverson
2007	—	`conf`	Labelled Markov Processes as Generalised Stochastic Relations. Computation, Meaning, and Logic Michael W. Mislove, Dusko Pavlovic, James Worrell
2006	B	`conf`	Connector-Based Software Development: Deriving Secure Protocols. FM Dusko Pavlovic
2006	A	`conf`	Deriving Secrecy in Key Establishment Protocols. ESORICS Dusko Pavlovic, Catherine Meadows
2006	—	`conf`	Deriving Secure Network Protocols for Enterprise Services Architectures. ICC Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel
2006	—	`conf`	Testing Semantics: Connecting Processes and Process Logics. AMAST Dusko Pavlovic, Michael W. Mislove, James Worrell
2005	J	`jnl`	A derivation system and compositional logic for security protocols. J. Comput. Secur. Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2005	—	`conf`	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
2004	—	`conf`	Abstraction and Refinement in Protocol Derivation. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2004	A	`conf`	Deriving, Attacking and Defending the GDOI Protocol. ESORICS Catherine Meadows, Dusko Pavlovic
2004	B	`conf`	Duality for Labelled Markov Processes. FoSSaCS Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
2003	J	`jnl`	A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur. Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	A Derivation System for Security Protocols and its Logical Formalization. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	Colimits for Concurrent Collectors. Verification: Theory and Practice Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2003	B	`conf`	Secure Protocol Composition. MFPS Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	Secure protocol composition. FMSE Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2002	—	`conf`	Guarded Transitions in Evolving Specifications. AMAST Dusko Pavlovic, Douglas R. Smith
2002	—	`conf`	Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST Dusko Pavlovic, Douglas R. Smith
2002	J	`jnl`	The continuum as a final coalgebra. Theor. Comput. Sci. Dusko Pavlovic, Vaughan R. Pratt
2001	—	`conf`	A Compositional Logic for Protocol Correctness. CSFW Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
2001	B	`conf`	Categories of Processes Enriched in Final Coalgebras. FoSSaCS Sava Krstic, John Launchbury, Dusko Pavlovic
2001	A*	`conf`	Composition and Refinement of Behavioral Specifications. ASE Dusko Pavlovic, Douglas R. Smith
2000	—	`conf`	Towards Semantics of Self-Adaptive Software. IWSAS Dusko Pavlovic
1999	—	`ed.`	Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999 CTCS Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
1999	—	`conf`	On coalgebra of real numbers. CMCS Dusko Pavlovic, Vaughan R. Pratt
1999	—	`conf`	Preface. CTCS Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
1999	—	`conf`	Semantics of First Order Parametric Specifications. World Congress on Formal Methods Dusko Pavlovic
1998	A*	`conf`	Calculus in Coinductive Form. LICS Dusko Pavlovic, Martín Hötzel Escardó
1998	—	`conf`	Guarded induction on final coalgebras. CMCS Dusko Pavlovic
1997	J	`jnl`	Categorical logic of Names and Abstraction in Action Calculi. Math. Struct. Comput. Sci. Dusko Pavlovic
1997	J	`jnl`	Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. Math. Struct. Comput. Sci. Dusko Pavlovic
1997	—	`conf`	Specifying Interaction Categories. Category Theory and Computer Science Dusko Pavlovic, Samson Abramsky
1996	J	`jnl`	Maps II: Chasing Diagrams in Categorical Proof Theory. Log. J. IGPL Dusko Pavlovic
1995	—	`conf`	Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. Category Theory and Computer Science Dusko Pavlovic
1995	J	`jnl`	On Completeness and Cocompleteness in an Around Small Categories. Ann. Pure Appl. Log. Dusko Pavlovic
1994	—	`conf`	Categorical Logic of Concurrency and Interaction I: Synchronous Processes. Theory and Formal Methods Dusko Pavlovic
1992	J	`jnl`	On the structure of paradoxes. Arch. Math. Log. Dusko Pavlovic
1991	—	`conf`	Constructions and Predicates. Category Theory and Computer Science Dusko Pavlovic