@conference {614, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)}, year = {2016}, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon} } @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} } @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 {inp:WuchnerOchoaPretschner2014, title = {{Malware Detection with Quantitative Data Flow Graphs}}, booktitle = {Proceedings of the 9th ACM Symposyum on Information, Computer and Communications Security (ASIACCS 2014)}, year = {2014}, note = {To appear.}, author = {T. W{\"u}chner and M. Ochoa and A. Pretschner} } @conference {inp:LovatOudinetPretschner2014a, title = {On Quantitative Dynamic Data Flow Tracking}, booktitle = {Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (CODASPY 2014)}, year = {2014}, author = {E. Lovat and J. Oudinet and A. Pretschner} } @conference {inp:KoepfMauborgneOchoa2012a, title = {Automatic Quantification of Cache Side-Channels}, booktitle = {Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)}, year = {2012}, author = {B. K{\"o}pf and L. Mauborgne and M. Ochoa} } @conference {inp:CuellarOchoaRios2012a, title = {Indistinguishable regions in Geographic Location Privacy}, booktitle = {Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012)}, year = {2012}, author = {J. C{\'u}ellar and M. Ochoa and R. Rios} } @conference {inp:OchoaJuerjensCuellar2012a, title = {Non-interference on {UML} {S}tate-charts}, booktitle = {Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)}, year = {2012}, author = {M. Ochoa and J. J{\"u}rjens and J. C{\'u}ellar} } @conference {inp:Ochoa2012a, title = {Security Guarantees and Evolution: From models to reality}, booktitle = {Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012)}, year = {2012}, author = {M. Ochoa} } @conference {inp:OchoaJuerjensWarzecha2012a, title = {A Sound Decision Procedure for the Compositionality of Secrecy}, booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)}, year = {2012}, author = {M. Ochoa and J. J{\"u}rjens and D. Warzecha} }