@TechReport{ tr:LortzMantelStarostinWeber2014, author = {Steffen Lortz and Heiko Mantel and Artem Starostin and Alexandra Weber}, title = {{A Sound Information-Flow Analysis for Cassandra}}, institution = {TU Darmstadt}, year = 2014, month = {March}, number = {TUD-CS-2014-0064}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/Cassandra-TR-03-2014.pdf} }