@string{oakland15="Proceedings of the 36th IEEE Symposium on Security and Privacy"}
@inproceedings{bkim:oakland2015,
	author = {Beom Heyn Kim and David Lie},
	title = {Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices},
	booktitle = OAKLAND15,
	month = may,
	year = 2015,
	url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/bkim-oakland2015.pdf},
	note = {(Acceptance: 55/407, 14\%)}
}