S
C. Atkinson, Gerbig, R., and Kennel, B.,
“Symbiotic general-purpose and domain-specific languages”, in
Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), 2012.
R. Accorsi and Wonnemann, C.,
“Strong non-leak guarantees for workflow models”, in
Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011), 2011.
S. Arzt, Bartel, A., Gay, R., Lortz, S., Lovat, E., Mantel, H., Mohr, M., Nordhoff, B., Perner, M., Rasthofer, S., Schneider, D., Snelting, G., Starostin, A., and Weber, A.,
“Software Security for Mobile Devices”,
Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
K
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P. H., and Ulbrich, M.,
“The KeY Platform for Verification and Analysis of Java Programs”, in
Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.
I
L. Li, Bartel, A., Bissyandé, T. F., Klein, J., Le Traon, Y., Arzt, S., Rasthofer, S., Bodden, E., Octeau, D., and McDaniel, P.,
“IccTA: Detecting Inter-Component Privacy Leaks in Android Apps”, in
Proceedings of the 37th International Conference on Software Engineering (ICSE), 2015.
F
S. Arzt, Rasthofer, S., Fritz, C., Bodden, E., Barte, A., Klein, J., Le Traon, Y., Octeau, D., and McDaniel, P.,
“FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps”, in
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), 2014.
D
S. Rasthofer, Arzt, S., Lovat, E., and Bodden, E.,
“DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android”, in
Proceedings of the 9th International IEEE Conference on Availability, Reliability and Security (ARES 2014), 2014.