
@conference {584,
	title = {Decentralized Distributed Data Usage Control},
	booktitle = {Proceedings of the 13th International Conference on Cryptology and Network Security (CANS 2014)},
	year = {2014},
	author = {Florian Kelbert and Alexander Pretschner}
}
@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:BeckertBruns2013,
	title = {Dynamic Logic with Trace Semantics},
	booktitle = {Proceedings of the 24th International Conference on Automated Deduction (CADE-24)},
	year = {2013},
	author = {B. Beckert and D. Bruns}
}
@conference {inp:LovatPretschner2011,
	title = {{Data-centric multi-layer usage control enforcement: a Social Network Example}},
	booktitle = {Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT 2011)},
	year = {2011},
	author = {E. Lovat and A. Pretschner}
}
@conference {inp:FreilingSchinzel2011a,
	title = {Detecting Hidden Storage Side Channel Vulnerabilities in Networked Applications},
	booktitle = {Proceedings of the 26th International Information Security Conference (IFIP/SEC 2011)},
	year = {2011},
	author = {F. Freiling and S. Schinzel}
}
@conference {inp:KumariPretschnerPeschlaKuhn2011a,
	title = {Distributed Data Usage Control for Web Applications: A Social Network Implementation},
	booktitle = {Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011)},
	year = {2011},
	author = {P. Kumari and A. Pretschner and J. Peschla and J.-M. Kuhn}
}
