
@conference {633,
	title = {Taming Message-passing Communication in Compositional Reasoning about Confidentiality},
	booktitle = {Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)},
	year = {2017},
	author = {Ximeng Li and Heiko Mantel and Markus Tasch}
}
@article {630,
	title = {Type Systems for Information Flow Control: The Question of Granularity},
	journal = {ACM SIGLOG News},
	volume = {4},
	year = {2017},
	author = {Vineet Rajani and Iulia Bastys and Willard Rafnsson and Deepak Garg}
}
@conference {618,
	title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser}
}
@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:KeilThiemann2013b,
	title = {Type-based Dependency Analysis for {JavaScript}},
	booktitle = {Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2013)},
	year = {2013},
	author = {M. Keil and P. Thiemann}
}
@conference {inp:KelbertPretschner2012,
	title = {{Towards a Policy Enforcement Infrastructure for Distributed Usage Control}},
	booktitle = {Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012)},
	year = {2012},
	author = {F. Kelbert and A. Pretschner}
}
@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}
}
