List of Publications

67 entries « 1 of 2 »

2013

67.

Breaux, Travis; Gordon, David; Papanikolaou, Nick; Pearson, Siani

Mapping Legal Requirements to IT Controls Technical Report

HP Laboratories (HPL-2013-39), 2013.

Abstract | Links | BibTeX | Tags:

66.

Papanikolaou, Nick; Pearson, Siani

Cross-Disciplinary Review of the Concept of Accountability Technical Report

HP Laboratories (HPL-2013-37), 2013.

Links | BibTeX | Tags:

65.

Papanikolaou, Nick; Pearson, Siani

Cross-Disciplinary Review of the Concept of Accountability Inproceedings

Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013.

Abstract | Links | BibTeX | Tags:

64.

Breaux, Travis; Gordon, David; Papanikolaou, Nick; Pearson, Siani

Mapping Legal Requirements to IT Controls Inproceedings

Proceedings of the Sixth International Workshop on Requirements Engineering and Law (RELAW), 2013.

Abstract | Links | BibTeX | Tags:

63.

Catteddu, Daniele; Felici, Massimo; Hogben, Giles; Holcroft, Amy; Kosta, Eleni; Leenes, Ronald; Millard, Christopher; Niezen, Maartje; Nu~nez, David; Papanikolaou, Nick; Pearson, Siani; Pradelles, Daniel; Reed, Chris; Rong, Chunming; Royer, Jean-Claude; Stefanatou, Dimitra; Wlodarczyk, Tomasz

Towards a Model of Accountability for Cloud Computing Services Technical Report

HP Laboratories (HPL-2013-38), 2013.

Abstract | Links | BibTeX | Tags:

62.

Catteddu, Daniele; Felici, Massimo; Hogben, Giles; Holcroft, Amy; Kosta, Eleni; Leenes, Ronald; Millard, Christopher; Niezen, Maartje; Nu~nez, David; Papanikolaou, Nick; Pearson, Siani; Pradelles, Daniel; Reed, Chris; Rong, Chunming; Royer, Jean-Claude; Stefanatou, Dimitra; Wlodarczyk, Tomasz

Towards a Model of Accountability for Cloud Computing Services Inproceedings

Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013.

Abstract | Links | BibTeX | Tags:

61.

Galis, Alex; Gavras, Anastasius; Alvarez, Federico; Bassi, Alessandro; Bezzi, Michele; Ciavaglia, Laurent; Cleary, Frances; Daras, Petros; de Meer, Herman; Demestichas, Panagiotis; Domingue, John; Kanter, Theo; Karnouskos, Stamatis; Krco, Srdjan; Lefevre, Laurent; Lentjes, Jasper; Li, Man-Sze; Malone, Paul; Manzalini, Antonio; Lotz, Volkmar; Muller, Henning; Oberle, Karsten; O'Connor, Noel; Papanikolaou, Nick; Petcu, Dana; Rahmani, Rahim; Raz, Danny; Richards, Gael; Salvadori, Elio; Sargento, Susana; Schaffers, Hans; Serat, Joan; Stiller, Burkhard; Skarmeta, Antonio; Tutschku, Kurt; Zahariadis, Theodore (Ed.)

The Future Internet / Future Internet Assembly 2013: Validated Results and New Horizons Book

Springer, 2013.

BibTeX | Tags:

2012

60.

Cleary, Frances; Howker, Keith; Massacci, Fabio; Wainwright, Nick; Papanikolaou, Nick; Bezzi, Michele; Rodriguez, Pedro Soria

EFFECTS+ Clustering of Trust and Security Research Projects, Identifying Results, Impact and Future Research Roadmap Topics Inproceedings

Proceedings of e-Challenges e-2012 Conference, Lisbon, Portugal, 2012.

Abstract | Links | BibTeX | Tags:

59.

Wainwright, Nick; Papanikolaou, Nick

Forming A Vision for Future Internet Research Inproceedings

Proceedings of e-Challenges e-2012 Conference, Lisbon, Portugal, 2012.

Abstract | Links | BibTeX | Tags:

58.

Papanikolaou, Nick

Natural Language Processing of Rules and Regulations for Compliance in the Cloud Inproceedings

Proceedings of DOA-SVI 2012, Rome, Italy, 2012.

Abstract | Links | BibTeX | Tags:

57.

Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael

Refinement Checking for Privacy Policies Journal Article

Science of Computer Programming, 77 (10, 11), pp. 1198, 2012.

Abstract | Links | BibTeX | Tags:

56.

Monahan, Brian; Papanikolaou, Nick

Formal Analysis and Verification of Systems Security Models with Gnosis Miscellaneous

2012.

Abstract | Links | BibTeX | Tags:

55.

Mont, Marco Casassa; McCorry, Kieran; Papanikolaou, Nick; Pearson, Siani

Security And Privacy Governance In Cloud Computing Via SLAs And A Policy Orchestration Service Technical Report

HP Laboratories (HPL-2012-55), 2012.

Abstract | Links | BibTeX | Tags:

54.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Automating Compliance for Cloud Computing Services Technical Report

HP Laboratories (HPL-2012-56), 2012.

BibTeX | Tags:

53.

Mont, Marco Casassa; McCorry, Kieran; Papanikolaou, Nick; Pearson, Siani

Security and Privacy Governance In Cloud Computing via SLAs and a Policy Orchestration Service Inproceedings

Proceedings of the 2textsuperscriptnd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012.

Abstract | Links | BibTeX | Tags:

52.

Davidson, Timothy; Gay, Simon J; Mlnarík, Hynek; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Model Checking for Communicating Quantum Processes Journal Article

International Journal of Unconventional Computing, 8 (1), pp. 73–98, 2012.

Abstract | Links | BibTeX | Tags:

51.

Monahan, Brian; Papanikolaou, Nick

Pattern Detection in Systems Simulation: Towards a Model-Checking Framework for Security Analytics Technical Report

HP Laboratories (HPL-2012-89), 2012.

Abstract | Links | BibTeX | Tags:

50.

Papanikolaou, Nick

Review of Algorithms and Theory of Computation Handbook by Mikhail J. Atallah and Marina Blanton Journal Article

ACM SIGACT News, 43 (2), pp. 29–32, 2012.

Links | BibTeX | Tags:

49.

Papanikolaou, Nick

Intelligent Information Gathering for Security and Privacy Compliance in Cloud Computing Technical Report

HP Laboratories (HPL-2012-71), 2012.

BibTeX | Tags:

48.

Papanikolaou, Nikolaos; Pearson, Siani; Mont, Marco Casassa; Brown, Richard; McCorry, Kieran; Sander, Tomas; Rao., Prasad

An online knowledge base store (KB Store) Journal Article

Research Disclosure, pp. 114–115, 2012, (ID 574026).

Abstract | BibTeX | Tags:

47.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Automating Compliance for Cloud Computing Services Inproceedings

Proceedings of the 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012.

Abstract | Links | BibTeX | Tags:

46.

Wainwright, Nick; Papanikolaou, Nick

The FIA Research Roadmap: Priorities for Future Internet Research Incollection

Alvarez, F; Cleary, F; Daras, P; Domingue, J; Galis, A; Garcia, A; Gavras, A; Karnourskos, S; Krco, S; Li, M -S; Lotz, V; Müller, H; Salvadori, E; Sassen, A -M; Schaffers, H; Stiller, B; Tselentis, G; Turkama, P; Zahariadis, T (Ed.): Future Internet --- From Technological Promises to Reality, 7281 , Springer, 2012.

Abstract | Links | BibTeX | Tags:

45.

Wainwright, Nick; Papanikolaou, Nick

The FIA Research Roadmap: Priorities for Future Internet Research Technical Report

HP Laboratories (HPL-2012-70), 2012.

Abstract | Links | BibTeX | Tags:

2011

44.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Automated Understanding of Cloud Terms of Service and SLAs Inproceedings

Proceedings of The 22nd Hewlett-Packard Colloquium on Information Security, Royal Holloway, University of London, 2011.

Abstract | Links | BibTeX | Tags:

43.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Automated Understanding of Cloud Terms of Service and SLAs Inproceedings

Proceedings of IEEE CloudCom 2011, Athens, Greece, 2011.

Abstract | Links | BibTeX | Tags:

42.

Wainwright, Nick; Nick,

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 Miscellaneous

2011, (Produced under the auspices of the EC EFFECTSPLUS Research Project.).

Abstract | Links | BibTeX | Tags:

41.

Papanikolaou, Nick

Achieving Compliance Through Natural-Language Analysis of Service Level Agreements for Cloud Services Technical Report

HP Laboratories (HPL-2011-167), 2011.

Abstract | BibTeX | Tags:

40.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Technical Report

HP Laboratories (HPL-2011-117), 2011.

Abstract | BibTeX | Tags:

39.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Inproceedings

Proceedings of 1st International Workshop on Security and Trust in Virtualised Environments (STAVE 2011), 2011.

Abstract | Links | BibTeX | Tags:

38.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Incollection

Secure and Trust Computing, Data Management and Applications, 187 , pp. 166–173, Springer, 2011.

Links | BibTeX | Tags:

37.

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Towards Greater Accountability in Cloud Computing through Natural-Language Analysis and Automated Policy Enforcement Technical Report

HP Laboratories (HPL-2011-118), 2011.

Abstract | Links | BibTeX | Tags:

36.

Wainwright, Nick; Papanikolaou, Nick

Future Internet Assembly Research Roadmap Miscellaneous

2011, (Produced under the auspices of the EC EFFECTSPLUS Research Project.).

Abstract | Links | BibTeX | Tags:

2010

35.

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

Defining Consent and Revocation Policies Inproceedings

Pre-Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

34.

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

EnCoRe: Towards a Holistic Approach to Privacy Inproceedings

Proceedings of International Conference on Security and Cryptography (SECRYPT 2010), Athens, Greece, 2010.

Abstract | Links | BibTeX | Tags:

33.

Adetoye, Adedayo O; Papanikolaou, Nikolaos

Static Analysis of Information Release in Interactive Programs Journal Article

Electronic Communications of the EASST, 35 , 2010.

Abstract | Links | BibTeX | Tags:

32.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions Inproceedings

Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

31.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Towards a Logic of Consent and Revocation Miscellaneous

2010, (Internal Report, EnCoRe Research Project.).

Abstract | Links | BibTeX | Tags:

30.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Taxonomy of Consent and Revocation Technical Report

2010.

Abstract | BibTeX | Tags:

29.

Adetoye, Adedayo O; Papanikolaou, Nikolaos

Static Analysis of Information Release in Interactive Programs Journal Article

Electronic Communications of the EASST, 35 , 2010.

Abstract | Links | BibTeX | Tags:

28.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions Inproceedings

Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

27.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Towards a Logic of Consent and Revocation Miscellaneous

2010, (Internal Report, EnCoRe Research Project.).

Abstract | Links | BibTeX | Tags:

26.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Taxonomy of Consent and Revocation Technical Report

2010.

Abstract | BibTeX | Tags:

25.

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

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements Inproceedings

Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Springer-Verlag, 2010.

Abstract | Links | BibTeX | Tags:

24.

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

Towards A Conceptual Model For Privacy Policies Technical Report

HP Laboratories (HPL-2010-82), 2010.

Abstract | BibTeX | Tags:

23.

Gay, Simon J; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Specification and Verification of Quantum Protocols Incollection

Gay, S J; Mackie, I (Ed.): Semantic Techniques in Quantum Computation, Cambridge University Press, 2010.

Abstract | Links | BibTeX | Tags:

22.

Papanikolaou, Nick

Review of The Space and Motion of Communicating Agents by Robin Milner, Cambridge University Press, 2009 (ISBN: 978-0-521-73833-0) Journal Article

ACM SIGACT News, 41 (3), pp. 51–-55, 2010.

Links | BibTeX | Tags:

21.

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

EnCoRe: Towards a holistic approach to privacy Technical Report

HP Laboratories (HPL-2010-83), 2010.

Abstract | BibTeX | Tags:

2009

20.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nikolaos

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data Inproceedings

Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, Nice, France, 2009.

Abstract | Links | BibTeX | Tags:

19.

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nikolaos

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data Inproceedings

Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, Nice, France, 2009.

Abstract | Links | BibTeX | Tags:

18.

Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael

Policy Refinement Checking Inproceedings

Proceedings of Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), Swansea University, 2009.

Abstract | Links | BibTeX | Tags:

67 entries « 1 of 2 »