A Datta, A Derek, JC Mitchell, D Pavlovic

Journal of Computer Security 13 (3), 423-482, 2005

B Coecke, D Pavlovic, J Vicary

Mathematical structures in computer science 23 (3), 555-567, 2013

B Coecke, D Pavlovic

Mathematics of Quantum Computation and Quantum Technology, 577-620, 2007

N Durgin, J Mitchell, D Pavlovic

Journal of Computer Security 11 (4), 677-721, 2003

C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson

Secure localization and time synchronization for wireless sensor and ad hoc …, 2007

A Datta, A Derek, JC Mitchell, D Pavlovic

16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 109-125, 2003

A Datta, A Derek, JC Mitchell, D Pavlovic

Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003

B Coecke, EO Paquette, D Pavlovic

Semantic Techniques in Quantum Computation, 29-69, 2008

N Durgin, J Mitchell, D Pavlovic

Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 241,242 …, 2001

D Pavlovic, MH Escardó

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998

I Cervesato, C Meadows, D Pavlovic

18th IEEE Computer Security Foundations Workshop (CSFW'05), 48-61, 2005

D Pavlovic

C Meadows, D Pavlovic

European Symposium on Research in Computer Security, 53-72, 2004

D Pavlovic, DR Smith

Proceedings 16th Annual International Conference on Automated Software …, 2001

D Pavlovic

Information and computation 226, 94-116, 2013

A Datta, A Derek, JC Mitchell, D Pavlovic

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 30-45, 2004

D Pavlovic, M Mislove, JB Worrell

International Conference on Algebraic Methodology and Software Technology …, 2006

D Pavlović

Mathematical Structures in Computer Science 7 (6), 619-637, 1997

D Pavlovic

International Symposium on Quantum Interaction, 143-157, 2009

D Pavlovic, DR Smith

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003