
@conference {619,
	title = {SoK: Verifiability Notions for E-Voting Protocols},
	booktitle = {Proceedings of the 37th IEEE Symposium on Security and Privacy (S\&P)},
	year = {2016},
	author = {V{\'e}ronique Cortier and David Galindo and Ralf K{\"u}sters and Johannes M{\"u}ller and Tomasz Truderung}
}
@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 {inp:ClarksonFinkbeinerKoleiniMicinskiRabeSanchet2014,
	title = {Temporal Logics for Hyperproperties},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {M. R. Clarkson and B. Finkbeiner and M. Koleini and K. K. Micinski and M. N. Rabe and C. S{\'a}nchez}
}
@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}
}
