
@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: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}
}
