Dusko Pavlovic

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 42

Top Venues

CoRR

LICS

Ann. Math. Artif. Intell.

J. Log. Algebraic Methods Program.

Publications

Dusko Pavlovic
Language processing in humans and computers. CoRR (2024)
Dusko Pavlovic, Temra Pavlovic
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). WoLLIC (2023)
Dusko Pavlovic, Temra Pavlovic
From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). CoRR (2023)
Dusko Pavlovic
Lambek pregroups are Frobenius spiders in preorders. Compositionality 4 (2022)
Dusko Pavlovic, Dominic J. D. Hughes
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. CoRR (2022)
Dusko Pavlovic
Categorical Computability in Monoidal Computer: Programs as Diagrams. CoRR (2022)
Dusko Pavlovic
Probabilistic annotations for protocol models. CoRR (2021)
Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic
Decision Support for Sharing Data using Differential Privacy. VizSec (2021)
Dusko Pavlovic
Lambek pregroups are Frobenius spiders in preorders. CoRR (2021)
Dusko Pavlovic
Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman. Protocols, Strands, and Logic (2021)
Dusko Pavlovic, Dominic J. D. Hughes
The nucleus of an adjunction and the Street monad on monads. CoRR (2020)
Dusko Pavlovic
Logic of fusion. CoRR (2020)
Jason Castiglione, Dusko Pavlovic
Dynamic Distributed Secure Storage Against Ransomware. IEEE Trans. Comput. Soc. Syst. 7 (6) (2020)
Dusko Pavlovic
Logic of Fusion - - Dedicated to Andre Scedrov -. Logic, Language, and Security (2020)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4 (POPL) (2020)
Dusko Pavlovic
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers. CoRR (2020)
Dusko Pavlovic, Temra Pavlovic
Causality and deceit: Do androids watch action movies? CoRR (2019)
Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
Privacy protocols. CoRR (2019)
Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
Privacy Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106 (2019)
Linda Briesemeister, Woodrow Gustafson, Grit Denker, April Martin, Karsten Martiny, Ron Moore, Dusko Pavlovic, Mark F. St. John
Policy Creation for Enterprise-Level Data Sharing. HCI (29) (2019)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. CoRR (2018)
Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep. 2018 (2018)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. LICS (2018)
Dusko Pavlovic, Muzamil Yahia
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). CMCS (2018)
Dusko Pavlovic, Muzamil Yahia
Monoidal computer III: A coalgebraic view of computability and complexity. CoRR (2017)
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
Refinement for Signal Flow Graphs. CONCUR (2017)
Dusko Pavlovic, Bertfried Fauser
Smooth coalgebra: testing vector analysis. Math. Struct. Comput. Sci. 27 (7) (2017)
Dusko Pavlovic, Peter-Michael Seidel
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS (2017)
Vladimir Vovk, Dusko Pavlovic
Universal probability-free prediction. Ann. Math. Artif. Intell. 81 (1-2) (2017)
Dusko Pavlovic, Peter-Michael Seidel
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. CoRR (2017)
Depeng Li, Rui Zhang, Yingfei Dong, Fangjin Zhu, Dusko Pavlovic
A Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management. IEEE Internet Things J. 4 (6) (2017)
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
Functorial Semantics for Relational Theories. CoRR (2017)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX (2017)
Dusko Pavlovic, Peter-Michael Seidel
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. QPL (2016)
Vladimir Vovk, Dusko Pavlovic
Universal probability-free conformal prediction. CoRR (2016)
Vladimir Vovk, Dusko Pavlovic
Universal Probability-Free Conformal Prediction. COPA (2016)
Dusko Pavlovic
Towards a science of trust. HotSoS (2015)
Dusko Pavlovic
Testing randomness by Matching Pennies. CoRR (2015)
Toshiki Kataoka, Dusko Pavlovic
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. CALCO (2015)
Toshiki Kataoka, Dusko Pavlovic
Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra. CoRR (2015)
Dusko Pavlovic
Towards a Science of Trust. CoRR (2015)
Dusko Pavlovic
Chasing diagrams in cryptography. CoRR (2014)
Dusko Pavlovic
Chasing Diagrams in Cryptography. Categories and Types in Logic, Language, and Physics (2014)
Dusko Pavlovic
Monoidal computer II: Normal complexity by string diagrams. CoRR (2014)
Bertfried Fauser, Dusko Pavlovic
Smooth coalgebra: testing vector analysis. CoRR (2014)
Bob Coecke, Dusko Pavlovic, Jamie Vicary
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23 (3) (2013)
Dusko Pavlovic
Bicompletions of distance matrices CoRR (2013)
Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic
Information Security as a Resource. Inf. Comput. 226 (2013)
Dusko Pavlovic
Monoidal computer I: Basic computability by string diagrams. Inf. Comput. 226 (2013)
Dusko Pavlovic
Bicompletions of Distance Matrices. Computation, Logic, Games, and Quantum Foundations (2013)
Wolter Pieters, Trajce Dimkov, Dusko Pavlovic
Security Policy Alignment: A Formal Approach. IEEE Syst. J. 7 (2) (2013)
Dusko Pavlovic
Tracing the Man in the Middle in Monoidal Categories. CMCS (2012)
Dusko Pavlovic
Tracing the Man in the Middle in Monoidal Categories CoRR (2012)
Dusko Pavlovic
Quantitative Concept Analysis. ICFCA (2012)
Catherine A. Meadows, Dusko Pavlovic
Formalizing Physical Security Procedures. STM (2012)
Dusko Pavlovic
Quantitative Concept Analysis CoRR (2012)
Dusko Pavlovic, Catherine A. Meadows
Actor-Network Procedures - (Extended Abstract). ICDCIT (2012)
Dusko Pavlovic
Monoidal computer I: Basic computability by string diagrams CoRR (2012)
Dusko Pavlovic
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Dusko Pavlovic
Gaming security by obscurity CoRR (2011)
Dusko Pavlovic, Catherine A. Meadows
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions CoRR (2011)
Dusko Pavlovic
Gaming security by obscurity. NSPW (2011)
Dusko Pavlovic
The Unreasonable Ineffectiveness of Security Engineering: An Overview. SEFM (2010)
Dusko Pavlovic
Geometry of abstraction in quantum computation CoRR (2010)
Dusko Pavlovic
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. Formal Aspects in Security and Trust (2010)
Dusko Pavlovic
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories CoRR (2010)
Dusko Pavlovic, Catherine A. Meadows
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. MFPS (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors CoRR (2010)
Dusko Pavlovic
Quantifying and qualifying trust: Spectral decomposition of trust networks CoRR (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors. MPC (2010)
Dusko Pavlovic, Catherine A. Meadows
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop (2009)
Dusko Pavlovic
A semantical approach to equilibria and rationality CoRR (2009)
Dusko Pavlovic
A Semantical Approach to Equilibria and Rationality. CALCO (2009)
Dusko Pavlovic
Geometry of abstraction in quantum computation. Classical and Quantum Information Assurance Foundations and Practice (2009)
Dusko Pavlovic, Catherine A. Meadows
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. CoRR (2009)
Dusko Pavlovic
Quantum and Classical Structures in Nondeterminstic Computation. QI (2009)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Evolving Specification Engineering. AMAST (2008)
Dusko Pavlovic
On quantum statistics in data analysis CoRR (2008)
Dusko Pavlovic
Dynamics, Robustness and Fragility of Trust. Formal Aspects in Security and Trust (2008)
Dusko Pavlovic
Network as a Computer: Ranking Paths to Find Flows. CSR (2008)
Dusko Pavlovic
Dynamics, robustness and fragility of trust CoRR (2008)
Dusko Pavlovic
Network as a computer: ranking paths to find flows CoRR (2008)
Michael W. Mislove, Dusko Pavlovic, James Worrell
Labelled Markov Processes as Generalised Stochastic Relations. Electron. Notes Theor. Comput. Sci. 172 (2007)
Dusko Pavlovic, Michael W. Mislove, James Worrell
Testing Semantics: Connecting Processes and Process Logics. AMAST (2006)
Dusko Pavlovic
Connector-Based Software Development: Deriving Secure Protocols. FM (2006)
Dusko Pavlovic, Catherine A. Meadows
Deriving Secrecy in Key Establishment Protocols. ESORICS (2006)
Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel
Deriving Secure Network Protocols for Enterprise Services Architectures. ICC (2006)
Iliano Cervesato, Catherine A. Meadows, Dusko Pavlovic
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
A derivation system and compositional logic for security protocols. J. Comput. Secur. 13 (3) (2005)
Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
Duality for Labelled Markov Processes. FoSSaCS (2004)
Catherine A. Meadows, Dusko Pavlovic
Deriving, Attacking and Defending the GDOI Protocol. ESORICS (2004)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Abstraction and Refinement in Protocol Derivation. CSFW (2004)
Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur. 11 (4) (2003)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Colimits for Concurrent Collectors. Verification: Theory and Practice (2003)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Secure protocol composition. FMSE (2003)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
A Derivation System for Security Protocols and its Logical Formalization. CSFW (2003)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Secure Protocol Composition. MFPS (2003)
Dusko Pavlovic, Douglas R. Smith
Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST (2002)
Dusko Pavlovic, Vaughan R. Pratt
The continuum as a final coalgebra. Theor. Comput. Sci. 280 (1-2) (2002)

Dusko Pavlovic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dusko Pavlovic