@Misc{ shorttalk:SandP-2015, 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 = {Short Talk at the 36th IEEE Symposium on Security and Privacy (S&P)}, year = 2015 }