@TechReport{ li.mantel.ea:spasca, author = {Ximeng Li and Heiko Mantel and Johannes Schickel and Markus Tasch and Iva Toteva and Alexandra Weber}, title = {SPASCA: Secure-Programming Assistant and Side-Channel Analyzer}, institution = {TU Darmstadt}, year = 2017, number = {TUD-CS-2017-0303}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/SPASCA-tech-report.pdf} }