
@conference {632,
	title = {Exploit Generation for Information Flow Leaks in Object-Oriented Programs},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle}
}
@conference {inp:SchebenSchmitt2014,
	title = {Efficient Self-Composition for Weakest Precondition Calculi},
	booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
	year = {2014},
	author = {C. Scheben and P. H. Schmitt}
}
@conference {inp:KuestersScapinTruderungGraf2014,
	title = {Extending and Applying a Framework for the Cryptographic Verification of Java Programs},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {R. K{\"u}sters and E. Scapin and T. Truderung and J. Graf},
	editor = {Mart{\'\i}n Abadi and Steve Kremer}
}
@conference {inp:Hammer2013,
	title = {Efficient Algorithms for Control Closures},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {C. Hammer}
}
@conference {inp:KeilThiemann2013a,
	title = {Efficient Dynamic Access Analysis Using {JavaScript} Proxies},
	booktitle = {Proceedings of the 9th Symposium on Dynamic Languages (DLS 2013)},
	year = {2013},
	author = {M. Keil and P. Thiemann}
}
@conference {inp:BlanchetteBoehmePopescuSmallbone2013,
	title = {Encoding Monomorphic and Polymorphic Types},
	booktitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)},
	year = {2013},
	author = {J. C. Blanchette and S. B{\"o}hme and A. Popescu and N. Smallbone}
}
@conference {inp:KatkalovFischerStenzelMoebiusReif2012,
	title = {Evaluation of Jif and Joana as information flow analyzers in a model-driven approach},
	booktitle = {Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012)},
	year = {2012},
	author = {K. Katkalov and P. Fischer and K. Stenzel and N. Moebius and W. Reif}
}
@conference {inp:HadaschMuellerMaedche2012a,
	title = {Exploring Antecedent Environmental and Organizational Factors to User-Caused Information Leaks: A Qualitative Study},
	booktitle = {Proceedings of the 20th European Conference on Information Systems (ECIS 2012)},
	year = {2012},
	address = {Barcelona, Spain},
	author = {F. Hadasch and B. Mueller and A. Maedche}
}
@conference {inp:Schinzel2011a,
	title = {An Efficient Mitigation Method for Timing Side Channels on the Web},
	booktitle = {Proceedings of the 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2011)},
	year = {2011},
	author = {S. Schinzel}
}
@conference {inp:Hammer2010a,
	title = {Experiences with PDG-based IFC},
	booktitle = {Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010)},
	year = {2010},
	author = {C. Hammer}
}
