
@conference {626,
	title = {CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees},
	booktitle = {Proceedings of the 38th IEEE Symposium on Security and Privacy (S\&P)},
	year = {2017},
	author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi}
}
@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 {625,
	title = {WebPol: Fine-grained Information Flow Policies for Web Browsers},
	booktitle = {Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS)},
	year = {2017},
	author = {Abhishek Bichhawat and Vineet Rajani and Jinank Jain and Deepak Garg and Christian Hammer}
}
@conference {616,
	title = {On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks},
	booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2016},
	author = {Vineet Rajani and Deepak Garg and Tamara Rezk}
}
@conference {609,
	title = {CoSMed: A Confidentiality-Verified Social Media Platform},
	booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)},
	year = {2016},
	author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi}
}
@conference {622,
	title = {Progress-Sensitive Security for SPARK},
	booktitle = {Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS)},
	year = {2016},
	author = {Willard Rafnsson and Andrei Sabelfeld and Deepak Garg}
}
@conference {600,
	title = {Algorithms for Model Checking HyperLTL and HyperCTL*},
	booktitle = {Proceedings of the 27th International Conference on Computer Aided Verification (CAV)},
	year = {2015},
	author = {Bernd Finkbeiner and Markus Rabe and C{\'e}sar S{\'a}nchez}
}
@conference {602,
	title = {IccTA: Detecting Inter-Component Privacy Leaks in Android Apps},
	booktitle = {Proceedings of the 37th International Conference on Software Engineering (ICSE)},
	year = {2015},
	author = {Li Li and Alexandre Bartel and Tegawend{\'e} F. Bissyand{\'e} and Jacques Klein and Yves Le Traon and Steven Arzt and Siegfried Rasthofer and Eric Bodden and Damien Octeau and Patrick McDaniel}
}
@conference {592,
	title = {Information Flow Control for Event Handling and the DOM in Web Browsers},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Vineet Rajani and Abhishek Bichhawat and Deepak Gark and Christian Hammer}
}
@booklet {587,
	title = {Security in Web-Based Workflows},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@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:ArztRasthoferFritzBoddenBarteKleinTraonOctreauMcDaniel2013,
	title = {FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps},
	booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)},
	year = {2014},
	author = {S. Arzt and S. Rasthofer and C. Fritz and E. Bodden and A. Barte and J. Klein and Y. Le Traon and D. Octeau and P. McDaniel}
}
@conference {inp:StenzelKatkalovBorekReif2014,
	title = {Formalizing Information Flow Control in a Model-Driven Approach},
	booktitle = {Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014)},
	year = {2014},
	author = {K. Stenzel and K. Katkalov and M. Borek and W. Reif}
}
@conference {inp:BichhawatRajaniGargHammer2014b,
	title = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
	booktitle = {Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {inp:BichhawatRajaniGargHammer2014a,
	title = {Information Flow Control in WebKit{\textquoteright}s JavaScript Bytecode},
	booktitle = {Proceedings of the 3rd conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@article {ar:RasthoferArztBodden2014,
	title = {A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks},
	journal = {Proceedings of the Network and Distributed System Security Symposium (NDSS 2014)},
	year = {2014},
	author = {S. Rasthofer and S. Arzt and E. Bodden}
}
@article {ar:RabeLammichPopescu2014,
	title = {A shallow embedding of HyperCTL},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {M. N. Rabe and P. Lammich and A. Popescu}
}
@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:StenzelKatkalovBorekReif2013a,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	booktitle = {Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013)},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@article {inp:StenzelKatkalovBorekReif2013b,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	journal = {ASE Science Journal},
	volume = {2},
	number = {2},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@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: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:DimitrovaFinkbeinerKovacsRabeSeidl2012a,
	title = {Model Checking Information Flow in Reactive Systems},
	booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl}
}
@conference {inc:DimitrovaFinkbeinerRabe2012,
	title = {Monitoring Temporal Information Flow},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. N. Rabe}
}
