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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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

In: 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 »