Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2013 | 2012 | 2011 | 2010
Number of items: 19.


Blakey, Ed and Coecke, Bob and Mislove, Mislove and Pavlovic, Dusko (2013) Information security as a resource. Information and computation, 226 . pp. 1-2. ISSN 0890-5401

Pavlovic, Dusko (2013) Monoidal computer I: Basic computability by string diagrams. Information and computation, 226 . pp. 94-116. ISSN 0890-5401

Pavlovic, Dusko (2013) Bicompletions of distance matrices. In: Computation, logic, games, and quantum foundations. Lecture notes in computer science, 7860 . Springer, Berlin, Germany, pp. 291-310. ISBN 9783642381638


Coecke, Bob and Pavlovic, Dusko and Vicary, Jamie (2012) A new description of orthogonal bases. Mathematical structures in computer science, 23 (3). pp. 555-567. ISSN 0960-1295

Meadows, C. and Pavlovic, D. (2012) Formalizing physical security procedures. In: 8th International Workshop on Security and Trust Management, STM 2012, September 13-14, 2012, Pisa, Italy (pp. pp. 193-208).

Pavlovic, D. (2012) Geometry of abstraction in quantum computation. In: S. Abramsky & M.W. Mislove (Eds.), Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana. Proceedings of symposia in applied mathematics, 71 . American Mathematical Society, pp. 233-267. ISBN 9780821849231

Pavlovic, Dusko (2012) Tracing the man in the middle in monoidal categories. In: 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, 31 March - 1 April 2012, Tallinn, Estonia (pp. pp. 191-217).

Pavlovic, Dusko (2012) Quantitative Concept Analysis. In: 10th International Conference on Formal Concept Analysis, ICFCA 2012, 7-10 May 2012, Leuven, Belgium (pp. pp. 260-277).

Pavlovic, Dusko (2012) Logics of authentication, lieing and obscurity. [Lecture]

Pavlovic, Dusko and Meadows, Catherine (2012) Actor-Network Procedures. In: 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, 2-4 February 2012, Bhubaneswar, India (pp. pp. 7-26).

Pieters, W. and Dimkov, T. and Pavlovic, D. (2012) Security Policy Alignment: A Formal Approach. IEEE Systems Journal . ISSN 1932-8184


Johnson, Michael and Pavlovic, Dusko , eds. (2011) 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 Verlag, Berlin, Germany. ISBN 9783642177958

Pavlovic, Dusko (2011) Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. Electronic Notes in Theoretical Computer Science (ENTCS), 270 (2). pp. 121-139. ISSN 1571-0661

Pavlovic, Dusko (2011) Gaming security by obscurity. In: The New Security Paradigms Workshop (NSPW) , September 12-15, 2011, Marin County, CA, USA.

Pavlovic, Dusko (2011) Gaming security by obscurity. In: New Security Paradigms Workshop, NSPW 2011, September 12-15, 2011, Marin County, CA, USA (pp. pp. 125-140).


Pavlovic, D. (2010) Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. In: 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, 16-17 September 2010, Pisa, Italy (pp. pp. 1-17).

Pavlovic, Dusko (2010) The Unreasonable Ineffectiveness of Security Engineering: An Overview. In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, 13-18 Sep 2010, Pisa, Italy (pp. pp. 12-18).

Pavlovic, Dusko and Meadows, Catherine (2010) Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. In: 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, 6-10 May 2010, Ottawa, Ontario, Canada (pp. pp. 97-122).

Pavlovic, Dusko and Pepper, Peter and Smith, Douglas R. (2010) Formal Derivation of Concurrent Garbage Collectors. In: 10th International Conference on Mathematics of Program Construction, MPC 2010, June 21-23, 2010, Québec City, Canada (pp. pp. 353-376).

This list was generated on Thu May 25 05:41:59 2017 CEST.