Author Publications

2012

Pavlovic, D. (2012) Geometry of abstraction in quantum computation. In: 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.

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

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.

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

2011

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.

2010

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.

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.

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 .

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.