Nikolaos Papanikolaou

Siani Pearson

Dimitris Gritzalis

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

Review of algorithms and theory of computation handbook by Mikhail J. Atallah and Marina Blanton.

[BibT_eX]

[DOI]

SIGACT News, 2012

Refinement checking for privacy policies.

[BibT_eX]

[DOI]

Sadie Creese

Michael Goldsmith

Sci. Comput. Program., 2012

Model Checking for Communicating Quantum Processes.

[BibT_eX]

[DOI]

Timothy A. S. Davidson

Int. J. Unconv. Comput., 2012

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

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Introduction: The FIA Research Roadmap, Priorities for Future Internet Research.

[BibT_eX]

[DOI]

Nick Wainwright

Proceedings of the Future Internet, 2012

Automating Compliance for Cloud Computing Services.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

Security and Privacy Governance in Cloud Computing via SLAs and a Policy Orchestration Service.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011

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

[BibT_eX]

[DOI]

Siani Pearson

Marco Casassa Mont

Proceedings of the Secure and Trust Computing, Data Management, and Applications, 2011

2010

The space and motion of communicating agents author: Robin Milner publisher: cambridge university press, 2009 isbn 978-0-521-73833-0.

[BibT_eX]

[DOI]

SIGACT News, 2010

Static Analysis of Information Release in Interactive Programs.

[BibT_eX]

[DOI]

Adedayo Oyelakin Adetoye

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

EnCoRe: Towards a Holistic Approach to Privacy.

[BibT_eX]

Proceedings of the SECRYPT 2010, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Privacy and Identity Management for Life, 2010

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.

[BibT_eX]

[DOI]

Proceedings of the Privacy and Identity Management for Life, 2010

2009

Model checking quantum protocols.

[BibT_eX]

[DOI]

PhD thesis, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Privacy and Identity Management for Life, 2009

2008

QMC: A Model Checker for Quantum Systems.

[BibT_eX]

[DOI]

Simon J. Gay

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Exogenous Probabilistic Computation Tree Logic.

[BibT_eX]

[DOI]

Pedro Baltazar

Paulo Mateus

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

2005

Review of "Classical and Quantum Computing with C++ and Java Simulations, by Yorick Hardy and Willi-Hans Steeb", Birkhauser Verlag, 2001.

[BibT_eX]

[DOI]

SIGACT News, 2005

Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover.

[BibT_eX]

[DOI]

SIGACT News, 2005

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

[BibT_eX]

[DOI]

David Williams

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

An introduction to quantum cryptography.

[BibT_eX]

[DOI]

ACM Crossroads, 2005

Probabilistic Model-Checking of Quantum Protocols

[BibT_eX]

[DOI]

Simon J. Gay

CoRR, 2005

Logic Column 13: Reasoning Formally about Quantum Systems: An Overview

[BibT_eX]

[DOI]

CoRR, 2005

An Automated Analysis of the Security of Quantum Key Distribution

[BibT_eX]

[DOI]