Types for Location and Data Security in Cloud Environments

Article Details
Title:	Types for Location and Data Security in Cloud Environments
Article URLs:	https://doi.org/10.1109/CSF.2017.25 http://doi.ieeecomputersociety.org/10.1109/CSF.2017.25
Alternative Article URLs:
Authors:	Ivan Gazeau	INRIA Nancy - Grand-Est, LORIA
	Tom Chothia	Univ. of Birmingham, School of Computer Science
	Dominic Duggan	Stevens Inst of Technology
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/gazeaui/secure-type-for-cloud
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/csfw/GazeauCD17
Author Comments:

IEEE Computer Security Foundations Symposium, CSF 2017