Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 4 results:
Author [ Title(Desc)] Type Year
Filters: Author is S. Arzt  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.
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.
M
S. Rasthofer, Arzt, S., and Bodden, E., “A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks”, Proceedings of the Network and Distributed System Security Symposium (NDSS 2014), 2014.
R
S. Arzt and Bodden, E., “Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes”, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), 2014.