@Misc{ lortz.mantel.ea:certifying, author = {Steffen Lortz and Heiko Mantel and David Schneider and Artem Starostin and Timo B\"ahr and Alexandra Weber}, title = {Certifying the Security of Android Applications with Cassandra}, howpublished = {Work-in-Progress Report at the 25th USENIX Security Symposium}, year = 2016 }