
@conference {585,
	title = {Hybrid Monitors for Concurrent Noninterference},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Aslan Askarov and Stephen Chong and Heiko Mantel}
}
@conference {602,
	title = {IccTA: Detecting Inter-Component Privacy Leaks in Android Apps},
	booktitle = {Proceedings of the 37th International Conference on Software Engineering (ICSE)},
	year = {2015},
	author = {Li Li and Alexandre Bartel and Tegawend{\'e} F. Bissyand{\'e} and Jacques Klein and Yves Le Traon and Steven Arzt and Siegfried Rasthofer and Eric Bodden and Damien Octeau and Patrick McDaniel}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@conference {inp:RasthoferArztLovatBodden2014,
	title = {DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android},
	booktitle = {Proceedings of the 9th International IEEE Conference on Availability, Reliability and Security (ARES 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Rasthofer and S. Arzt and E. Lovat and E. Bodden}
}
@conference {inp:KuestersScapinTruderungGraf2014,
	title = {Extending and Applying a Framework for the Cryptographic Verification of Java Programs},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {R. K{\"u}sters and E. Scapin and T. Truderung and J. Graf},
	editor = {Mart{\'\i}n Abadi and Steve Kremer}
}
@conference {inp:ArztRasthoferFritzBoddenBarteKleinTraonOctreauMcDaniel2013,
	title = {FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps},
	booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)},
	year = {2014},
	author = {S. Arzt and S. Rasthofer and C. Fritz and E. Bodden and A. Barte and J. Klein and Y. Le Traon and D. Octeau and P. McDaniel}
}
@conference {599,
	title = {The KeY Platform for Verification and Analysis of Java Programs},
	booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments},
	year = {2014},
	author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich}
}
@article {ar:RasthoferArztBodden2014,
	title = {A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks},
	journal = {Proceedings of the Network and Distributed System Security Symposium (NDSS 2014)},
	year = {2014},
	author = {S. Rasthofer and S. Arzt and E. Bodden}
}
@conference {inp:ArztBodden2014,
	title = {Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes},
	booktitle = {Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Arzt and E. Bodden}
}
@conference {inp:AccorsiLehmann2012a,
	title = {Automatic Information Flow Analysis of Business Process Models},
	booktitle = {10th International Conference on Business Process Management (BPM 2012)},
	year = {2012},
	author = {R. Accorsi and A. Lehmann}
}
@conference {inp:AtkinsonGerbigKennel2012b,
	title = {On-the-Fly Emendation of Multi-level Models},
	booktitle = {8th European Conference on Modelling Foundations and Applications (ECMFA 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and B. Kennel}
}
@conference {inp:AtkinsonGerbigKennel2012a,
	title = {Symbiotic general-purpose and domain-specific languages},
	booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and B. Kennel}
}
@conference {inp:AtkinsonGerbigTunjic2012a,
	title = {Towards Multi-level Aware Model Transformations},
	booktitle = {5th International Conference on Theory and Practice of Model Transformations (ICMT 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and C. Tunjic}
}
@conference {inp:Accorsi2011a,
	title = {Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen},
	booktitle = {Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011)},
	year = {2011},
	author = {R. Accorsi}
}
@conference {inp:AccorsiWonnemann2011a,
	title = {Strong non-leak guarantees for workflow models},
	booktitle = {Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011)},
	year = {2011},
	author = {R. Accorsi and C. Wonnemann}
}
