Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

For an alternative listing of publications see Nick’s HP Labs page and also Nick’s (not complete) DBLP entries.

2013

2013, to appear
[8] A Toolkit for Automating Compliance in Cloud Computing Services (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan Ko), In International Journal of Cloud Computing, volume Special Issue on Security Governance and SLAs in Cloud Computing, 2013, to appear. [bibtex] [pdf]
2013
[7] Mapping Legal Requirements to IT Controls (Travis Breaux, David Gordon, Nick Papanikolaou, Siani Pearson), Technical report, HP Laboratories, 2013. [bibtex] [pdf]
[6] Towards a Model of Accountability for Cloud Computing Services (Daniele Catteddu, Massimo Felici, Giles Hogben, Amy Holcroft, Eleni Kosta, Ronald Leenes, Christopher Millard, Maartje Niezen, David Nuñez, Nick Papanikolaou, Siani Pearson, Daniel Pradelles, Chris Reed, Chunming Rong, Jean-Claude Royer, Dimitra Stefanatou, Tomasz Wlodarczyk), Technical report, HP Laboratories, 2013. [bibtex] [pdf]
[5] Cross-Disciplinary Review of the Concept of Accountability (Nick Papanikolaou, Siani Pearson), Technical report, HP Laboratories, 2013. [bibtex] [pdf]
[4] Cross-Disciplinary Review of the Concept of Accountability (Nick Papanikolaou, Siani Pearson), In Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013. [bibtex] [pdf]
[3] Towards a Model of Accountability for Cloud Computing Services (Daniele Catteddu, Massimo Felici, Giles Hogben, Amy Holcroft, Eleni Kosta, Ronald Leenes, Christopher Millard, Maartje Niezen, David Nuñez, Nick Papanikolaou, Siani Pearson, Daniel Pradelles, Chris Reed, Chunming Rong, Jean-Claude Royer, Dimitra Stefanatou, Tomasz Wlodarczyk), In Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013. [bibtex] [pdf]
[2]The Future Internet / Future Internet Assembly 2013: Validated Results and New Horizons, (Alex Galis, Anastasius Gavras, Federico Alvarez, Alessandro Bassi, Michele Bezzi, Laurent Ciavaglia, Frances Cleary, Petros Daras, Herman de Meer, Panagiotis Demestichas, John Domingue, Theo Kanter, Stamatis Karnouskos, Srdjan Krco, Laurent Lefevre, Jasper Lentjes, Man-Sze Li, Paul Malone, Antonio Manzalini, Volkmar Lotz, Henning Muller, Karsten Oberle, Noel O'Connor, Nick Papanikolaou, Dana Petcu, Rahim Rahmani, Danny Raz, Gael Richards, Elio Salvadori, Susana Sargento, Hans Schaffers, Joan Serat, Burkhard Stiller, Antonio Skarmeta, Kurt Tutschku, Theodore Zahariadis, eds.), Springer, 2013. [bibtex]
[1] Mapping Legal Requirements to IT Controls (Travis Breaux, David Gordon, Nick Papanikolaou, Siani Pearson), In Proceedings of the Sixth International Workshop on Requirements Engineering and Law (RELAW), 2013. [bibtex] [pdf]

2012

2012
[16] Refinement Checking for Privacy Policies (Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith), In Science of Computer Programming, volume 77, 2012. [bibtex] [pdf] [doi]
[15] Formal Analysis and Verification of Systems Security Models with Gnosis (Brian Monahan, Nick Papanikolaou), 2012. [bibtex] [pdf]
[14] Security And Privacy Governance In Cloud Computing Via SLAs And A Policy Orchestration Service (Marco Casassa Mont, Kieran McCorry, Nick Papanikolaou, Siani Pearson), Technical report, HP Laboratories, 2012. [bibtex] [pdf]
[13]Automating Compliance for Cloud Computing Services (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan Ko), Technical report, HP Laboratories, 2012. [bibtex]
[12]An online knowledge base store (KB Store) (Nikolaos Papanikolaou, Siani Pearson, Marco Casassa Mont, Richard Brown, Kieran McCorry, Tomas Sander, Prasad Rao.), In Research Disclosure, 2012. (ID 574026) [bibtex]
[11] Security and Privacy Governance In Cloud Computing via SLAs and a Policy Orchestration Service (Marco Casassa Mont, Kieran McCorry, Nick Papanikolaou, Siani Pearson), In Proceedings of the 2\textsuperscriptnd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012. [bibtex] [pdf]
[10] Automating Compliance for Cloud Computing Services (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan Ko), In Proceedings of the 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012. [bibtex] [pdf]
[9] EFFECTS+ Clustering of Trust and Security Research Projects, Identifying Results, Impact and Future Research Roadmap Topics (Frances Cleary, Keith Howker, Fabio Massacci, Nick Wainwright, Nick Papanikolaou, Michele Bezzi, Pedro Soria Rodriguez), In Proceedings of e-Challenges e-2012 Conference, 2012. [bibtex] [pdf]
[8] Natural Language Processing of Rules and Regulations for Compliance in the Cloud (Nick Papanikolaou), In Proceedings of DOA-SVI 2012, 2012. [bibtex] [pdf]
[7] Forming A Vision for Future Internet Research (Nick Wainwright, Nick Papanikolaou), In Proceedings of e-Challenges e-2012 Conference, 2012. [bibtex] [pdf]
[6] Review of Algorithms and Theory of Computation Handbook by Mikhail J. Atallah and Marina Blanton (Nick Papanikolaou), In ACM SIGACT News, volume 43, 2012. [bibtex] [pdf] [doi]
[5] The FIA Research Roadmap: Priorities for Future Internet Research (Nick Wainwright, Nick Papanikolaou), Technical report, HP Laboratories, 2012. [bibtex] [pdf]
[4] The FIA Research Roadmap: Priorities for Future Internet Research (Nick Wainwright, Nick Papanikolaou), Chapter in Future Internet --- From Technological Promises to Reality (F. Alvarez, F. Cleary, P. Daras, J. Domingue, A. Galis, A. Garcia, A. Gavras, S. Karnourskos, S. Krco, M.-S. Li, V. Lotz, H. Müller, E. Salvadori, A.-M. Sassen, H. Schaffers, B. Stiller, G. Tselentis, P. Turkama, T. Zahariadis, eds.), Springer, volume 7281, 2012. [bibtex] [pdf]
[3]Intelligent Information Gathering for Security and Privacy Compliance in Cloud Computing (Nick Papanikolaou), Technical report, HP Laboratories, 2012. [bibtex]
[2] Pattern Detection in Systems Simulation: Towards a Model-Checking Framework for Security Analytics (Brian Monahan, Nick Papanikolaou), Technical report, HP Laboratories, 2012. [bibtex] [pdf]
[1] Model Checking for Communicating Quantum Processes (Timothy Davidson, Simon J. Gay, Hynek Mlnarík, Rajagopal Nagarajan, Nikolaos Papanikolaou), In International Journal of Unconventional Computing, Old City Publishing, Inc., volume 8, 2012. [bibtex] [pdf]

2011

2011
[9] Automated Understanding of Cloud Terms of Service and SLAs (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont), In Proceedings of The 22nd Hewlett-Packard Colloquium on Information Security, 2011. [bibtex] [pdf]
[8] Automated Understanding of Cloud Terms of Service and SLAs (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont), In Proceedings of IEEE CloudCom 2011, 2011. (Poster: [pdf]) [bibtex] [pdf]
[7] Trust and Security in the Future Internet: Setting the Context. Towards a vision and analysis of fundamental change areas, challenges and potential solutions as discussed at EFFECTSPLUS Clustering and Roadmapping Events (Nick Wainwright, Nick), 2011. (Produced under the auspices of the EC EFFECTSPLUS Research Project.) [bibtex] [pdf]
[6] Future Internet Assembly Research Roadmap (Nick Wainwright, Nick Papanikolaou), (Nick Wainwright, Nick Papanikolaou, eds.), European Commission, 2011. (Produced under the auspices of the EC EFFECTSPLUS Research Project.) [bibtex] [pdf]
[5] Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont), Chapter in Secure and Trust Computing, Data Management and Applications, Springer, volume 187, 2011. [bibtex] [pdf]
[4] Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont), In Proceedings of 1st International Workshop on Security and Trust in Virtualised Environments (STAVE 2011), 2011. [bibtex] [pdf]
[3] Towards Greater Accountability in Cloud Computing through Natural-Language Analysis and Automated Policy Enforcement (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan Ko), Technical report, HP Laboratories, 2011. [bibtex] [pdf]
[2]Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography (Nick Papanikolaou, Siani Pearson, Marco Casassa Mont), Technical report, HP Laboratories, 2011. [bibtex]
[1]Achieving Compliance Through Natural-Language Analysis of Service Level Agreements for Cloud Services (Nick Papanikolaou), Technical report, HP Laboratories, 2011. [bibtex]

2010

2010
[11]Taxonomy of Consent and Revocation (Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou), Technical report, , 2010. [bibtex]
[10] Defining Consent and Revocation Policies (Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou, Marco Casassa Mont, Siani Pearson), In Pre-Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, 2010. [bibtex] [pdf]
[9] Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions (Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou), In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010. [bibtex] [pdf]
[8] EnCoRe: Towards a Holistic Approach to Privacy (Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson), In Proceedings of International Conference on Security and Cryptography (SECRYPT 2010), 2010. [bibtex] [pdf]
[7] Review of The Space and Motion of Communicating Agents by Robin Milner, Cambridge University Press, 2009 (ISBN: 978-0-521-73833-0) (Nick Papanikolaou), In ACM SIGACT News, volume 41, 2010. [bibtex] [pdf]
[6]EnCoRe: Towards a holistic approach to privacy (Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson), Technical report, HP Laboratories, 2010. [bibtex]
[5] Specification and Verification of Quantum Protocols (Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou), Chapter in Semantic Techniques in Quantum Computation (S.J. Gay, I. Mackie, eds.), Cambridge University Press, 2010. [bibtex] [pdf]
[4]Towards A Conceptual Model For Privacy Policies (Marco Casassa Mont, Siani Pearson, Michael Goldsmith, Nick Papanikolaou), Technical report, HP Laboratories, 2010. [bibtex]
[3] A Conceptual Model for Privacy Policies with Consent and Revocation Requirements (Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, Nick Papanikolaou), In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Springer-Verlag, 2010. [bibtex] [pdf]
[2] Towards a Logic of Consent and Revocation (Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou), 2010. (Internal Report, EnCoRe Research Project.) [bibtex] [pdf]
[1] Static Analysis of Information Release in Interactive Programs (Adedayo O. Adetoye, Nikolaos Papanikolaou), In Electronic Communications of the EASST, volume 35, 2010. [bibtex] [pdf] [doi]

2009

2009
[5] Towards an Integrated Approach to the Management, Specification and Enforcement of Privacy Policies (Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, Nick Papanikolaou), In Proceedings of W3C Workshop on Access Control Application Scenarios, 2009. [bibtex] [pdf]
[4] Reaching for Informed Revocation: Shutting Off the Tap on Personal Data (Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nikolaos Papanikolaou), In Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, 2009. [bibtex] [pdf]
[3] Policy Refinement Checking (Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith), In Proceedings of Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), 2009. [bibtex] [pdf]
[2] Security versus Quantum Computers (Nick Papanikolaou), In BCS Information Security Now (ISNow), volume 4, 2009. [bibtex] [pdf]
[1] Model Checking Quantum Protocols (Nikolaos Papanikolaou), PhD thesis, Department of Computer Science, University of Warwick, 2009. [bibtex] [pdf]

2008

2008
[2] QMC: A Model Checker for Quantum Systems (Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou), In Proceedings of 20\textsuperscriptth International Conference on Automated Verification (CAV 2008), Springer, volume 5123, 2008. [bibtex] [pdf]
[1]Verifying Communicating Quantum Processes using QMC (Tim Davidson, Hynek Mlna\vrík, Rajagopal Nagarajan, Nikolaos Papanikolaou), Technical report, Department of Computer Science, University of Warwick., 2008. [bibtex]

2007

2007
[2] QMC: A Model Checker for Quantum Systems (Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou), In Proceedings of Workshop on Quantum Cryptography and Security (Lisbon Quantum Computation, Information and Logic Meetings Series: LQCIL'07), 2007. [bibtex] [pdf]
[1] Exogenous Probabilistic Computation Tree Logic (Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou), In Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL '07), 2007. [bibtex] [pdf]

2006

2006
[2] Probabilistic Model-Checking of Quantum Protocols (Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou), In Proceedings of 2\textsuperscriptnd International Workshop on Developments on Computational Models (DCM 2006), 2006. [bibtex] [pdf]
[1] Classical Security Protocols for QKD Systems (Nikolaos Papanikolaou, Rajagopal Nagarajan), Technical report, EU FP6 SECOQC Project, 2006. [bibtex] [pdf]

2005

2005
[6] An Automated Analysis of the Security of Quantum Key Distribution (Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon Gay), In Proceedings of the Third International Workshop on Security Issues in Concurrency (SECCO'05), 2005. [bibtex] [pdf]
[5] Simulating and Compiling Code for the Sequential Quantum Random Access Machine (Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams), In Proceedings of the Third International Workshop on Quantum Programming Languages (QPL 2005), volume 170, 2005. [bibtex] [pdf]
[4] Review of Data Privacy and Security by David Salomon, Springer-Verlag, 2003 (ISBN: 0-387-00311-8) (Nick Papanikolaou), In ACM SIGACT News, volume 36, 2005. [bibtex] [pdf]
[3] Review of Classical and Quantum Computing by Yorick Hardy and Willi-Hans Steeb, Birkhauser Verlag, 2001 (ISBN: 3-7643-6610-9) (Nick Papanikolaou), In ACM SIGACT News, volume 36, 2005. [bibtex] [pdf]
[2] Reasoning Formally About Quantum Systems: An Overview (Nick Papanikolaou), In ACM SIGACT News, volume 36, 2005. [bibtex] [pdf]
[1] An Introduction to Quantum Cryptography (Nick Papanikolaou), In ACM Crossroads, volume 11, 2005. (Also available at http://www.xrds.org.) [bibtex] [pdf]

2004

2004
[2] Techniques for Design and Validation of Quantum Protocols (Nikolaos Papanikolaou), Master's thesis, Department of Computer Science, University of Warwick, 2004. [bibtex] [pdf]
[1] A Programming Language for Quantum Communication Systems Design (Nikolaos Papanikolaou), In Proceedings of the IEEE Postgraduate Research in Electronics, Photonics, Communications and Software Conference (PREP2004), 2004. [bibtex] [pdf]