Skip to content

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices

by Beom Heyn Kim and David Lie
Reference:
Beom Heyn Kim and David Lie, “Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices”, In Proceedings of the 36th IEEE Symposium on Security and Privacy, 2015.
Bibtex Entry:
@inproceedings{bkim:oakland2015,
    author = "Kim, Beom Heyn and Lie, David",
    title = "Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices",
    booktitle = "Proceedings of the 36th {IEEE} Symposium on Security and Privacy",
    month = "May",
    year = "2015",
    url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/bkim-oakland2015.pdf",
    note = "(Acceptance: 55/407, 14\%; \textbf{41 citations})",
    citations = "41",
    gsid = "10833515947006666778"
}