List of Publications

67 entries « 2 of 2 »

2009

17.

Mont, Marco Casassa; Pearson, Siani; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Towards an Integrated Approach to the Management, Specification and Enforcement of Privacy Policies Inproceedings

Proceedings of W3C Workshop on Access Control Application Scenarios, Abbaye de Neumünster, Luxembourg, 2009.

Abstract | Links | BibTeX | Tags:

16.

Papanikolaou, Nikolaos

Model Checking Quantum Protocols PhD Thesis

Department of Computer Science, University of Warwick, 2009.

Abstract | Links | BibTeX | Tags:

15.

Papanikolaou, Nick

Security versus Quantum Computers Journal Article

BCS Information Security Now (ISNow), 4 (2), pp. 6–7, 2009.

Abstract | Links | BibTeX | Tags:

2008

14.

Davidson, Tim; Mlnařík, Hynek; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Verifying Communicating Quantum Processes using QMC Technical Report

Department of Computer Science, University of Warwick. 2008.

BibTeX | Tags:

13.

Gay, Simon; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

QMC: A Model Checker for Quantum Systems Inproceedings

Proceedings of 20textsuperscriptth International Conference on Automated Verification (CAV 2008), Springer, Princeton, NJ, USA, 2008.

Abstract | Links | BibTeX | Tags:

2007

12.

Gay, Simon; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

QMC: A Model Checker for Quantum Systems Inproceedings

Proceedings of Workshop on Quantum Cryptography and Security (Lisbon Quantum Computation, Information and Logic Meetings Series: LQCIL'07), Lisbon, Portugal, 2007.

Abstract | Links | BibTeX | Tags:

11.

Baltazar, Pedro; Mateus, Paulo; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Exogenous Probabilistic Computation Tree Logic Inproceedings

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL '07), Braga, Portugal, 2007.

Abstract | Links | BibTeX | Tags:

2006

10.

Gay, Simon; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Probabilistic Model-Checking of Quantum Protocols Inproceedings

Proceedings of 2textsuperscriptnd International Workshop on Developments on Computational Models (DCM 2006), San Servolo, Venice, Italy, 2006.

Abstract | Links | BibTeX | Tags:

9.

Papanikolaou, Nikolaos; Nagarajan, Rajagopal

Classical Security Protocols for QKD Systems Technical Report

EU FP6 SECOQC Project 2006.

Abstract | Links | BibTeX | Tags:

2005

8.

Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Bowen, Garry; Gay, Simon

An Automated Analysis of the Security of Quantum Key Distribution Inproceedings

Proceedings of the Third International Workshop on Security Issues in Concurrency (SECCO'05), San Francisco, USA, 2005.

Abstract | Links | BibTeX | Tags:

7.

Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David

Simulating and Compiling Code for the Sequential Quantum Random Access Machine Inproceedings

Proceedings of the Third International Workshop on Quantum Programming Languages (QPL 2005), pp. 101–124, DePaul University, Chicago, USA, 2005.

Abstract | Links | BibTeX | Tags:

6.

Papanikolaou, Nick

An Introduction to Quantum Cryptography Journal Article

ACM Crossroads, 11 (3), pp. 10–16, 2005, (Also available at http://www.xrds.org.).

Abstract | Links | BibTeX | Tags:

5.

Papanikolaou, Nick

Reasoning Formally About Quantum Systems: An Overview Journal Article

ACM SIGACT News, 36 (3), pp. 51–66, 2005.

Abstract | Links | BibTeX | Tags:

4.

Papanikolaou, Nick

Review of Classical and Quantum Computing by Yorick Hardy and Willi-Hans Steeb, Birkhauser Verlag, 2001 (ISBN: 3-7643-6610-9) Journal Article

ACM SIGACT News, 36 (3), pp. 5–9, 2005.

Links | BibTeX | Tags:

3.

Papanikolaou, Nick

Review of Data Privacy and Security by David Salomon, Springer-Verlag, 2003 (ISBN: 0-387-00311-8) Journal Article

ACM SIGACT News, 36 (2), pp. 8–13, 2005.

Links | BibTeX | Tags:

2004

2.

Papanikolaou, Nikolaos

A Programming Language for Quantum Communication Systems Design Inproceedings

Proceedings of the IEEE Postgraduate Research in Electronics, Photonics, Communications and Software Conference (PREP2004), University of Hertfordshire, United Kingdom, 2004.

Abstract | Links | BibTeX | Tags:

1.

Papanikolaou, Nikolaos

Techniques for Design and Validation of Quantum Protocols Masters Thesis

Department of Computer Science, University of Warwick, 2004.

Abstract | Links | BibTeX | Tags:

67 entries « 2 of 2 »