IEEE Security and Privacy, S&P 2015


Article Details
Title: Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices
Article URLs:
Alternative Article URLs:
Authors: Beom Heyn Kim
  • University of Toronto, Department of Computer Science
David Lie
  • University of Toronto, Department of Electrical and Computer Engineering
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sp/KimL15
Author Comments:

Discuss this paper and its artifacts below