| 2023 | WoLLIC | From Gdel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). | Dusko Pavlovic, Temra Pavlovic |
| 2021 | VizSec | Decision Support for Sharing Data using Differential Privacy. | Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic |
| 2019 | HCI | Policy Creation for Enterprise-Level Data Sharing. | Linda Briesemeister, Woodrow Gustafson, Grit Denker, April Martin, Karsten Martiny, Ron Moore, Dusko Pavlovic, Mark F. St. John |
| 2018 | LICS | Sound up-to techniques and Complete abstract domains. | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
| 2017 | CONCUR | Refinement for Signal Flow Graphs. | Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski |
| 2017 | LICS | Quotients in monadic programming: Projective algebras are equivalent to coalgebras. | Dusko Pavlovic, Peter-Michael Seidel |
| 2017 | TABLEAUX | Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. | Jos Luiz Fiadeiro, Ionut Tutu, Antnia Lopes, Dusko Pavlovic |
| 2015 | CALCO | Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. | Toshiki Kataoka, Dusko Pavlovic |
| 2012 | ICDCIT | Actor-Network Procedures - (Extended Abstract). | Dusko Pavlovic, Catherine Meadows |
| 2012 | ICFCA | Quantitative Concept Analysis. | Dusko Pavlovic |
| 2011 | NSPW | Gaming security by obscurity. | Dusko Pavlovic |
| 2010 | MPC | Formal Derivation of Concurrent Garbage Collectors. | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
| 2010 | SEFM | The Unreasonable Ineffectiveness of Security Engineering: An Overview. | Dusko Pavlovic |
| 2009 | CALCO | A Semantical Approach to Equilibria and Rationality. | Dusko Pavlovic |
| 2008 | CSR | Network as a Computer: Ranking Paths to Find Flows. | Dusko Pavlovic |
| 2006 | ESORICS | Deriving Secrecy in Key Establishment Protocols. | Dusko Pavlovic, Catherine Meadows |
| 2006 | FM | Connector-Based Software Development: Deriving Secure Protocols. | Dusko Pavlovic |
| 2004 | ESORICS | Deriving, Attacking and Defending the GDOI Protocol. | Catherine Meadows, Dusko Pavlovic |
| 2004 | FOSSACS | Duality for Labelled Markov Processes. | Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell |
| 2003 | CCS | Secure protocol composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | MFPS | Secure Protocol Composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2001 | FOSSACS | Categories of Processes Enriched in Final Coalgebras. | Sava Krstic, John Launchbury, Dusko Pavlovic |
| 1999 | FM | Semantics of First Order Parametric Specifications. | Dusko Pavlovic |
| 1998 | LICS | Calculus in Coinductive Form. | Dusko Pavlovic, Martn Htzel Escard |