
@conference {617,
	title = {sElect: A Lightweight Verifiable Remote Voting System},
	booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2016},
	author = {Ralf K{\"u}sters and Johannes M{\"u}ller and Enrico Scapin and Tomasz Truderung}
}
@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 {620,
	title = {Sound Probabilistic $\#$SAT with Projection},
	booktitle = {Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
	year = {2016},
	author = {Vladimir Klebanov and Alexander Weigl and J{\"o}rg Weisbarth}
}
@booklet {588,
	title = {Security in E-Voting},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
@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}
}
@conference {591,
	title = {SHRIFT System-wide HybRid Information Flow Tracking},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Enrico Loval and Alexander Fromm and Martin Mohr and Alexander Pretschner}
}
@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:BauereissHutter2014c,
	title = {Security (hyper-)properties in workflow systems: From specification to verification},
	booktitle = {Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014)},
	year = {2014},
	note = {To appear.},
	author = {T. Bauereiss and D. Hutter}
}
@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:LovatKelbert2014,
	title = {{Structure Matters - A new Approach for Data flow Tracking}},
	booktitle = {Proceedings of the 4th International Workshop on Data Usage Management (DUMA 2014)},
	year = {2014},
	note = {To appear.},
	author = {E. Lovat and F. Kelbert}
}
@conference {inp:KlebanovMantheyMuise2013,
	title = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
	booktitle = {Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)},
	year = {2013},
	author = {V. Klebanov and N. Manthey and C. Muise}
}
@conference {inp:LuxMantelPerner2012a,
	title = {Scheduler-Independent Declassification},
	booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012)},
	year = {2012},
	author = {A. Lux and H. Mantel and M. Perner}
}
@conference {inp:PfeifferUngerTimmermannLehmann2012a,
	title = {Secure Information Flow Awareness for Smart Wireless {eHealth} Systems},
	booktitle = {Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012)},
	year = {2012},
	author = {S. Pfeiffer and S. Unger and D. Timmermann and A. Lehmann}
}
@conference {inp:Ochoa2012a,
	title = {Security Guarantees and Evolution: From models to reality},
	booktitle = {Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012)},
	year = {2012},
	author = {M. Ochoa}
}
@conference {inp:GayMantelSprick2011a,
	title = {Service Automata},
	booktitle = {Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011)},
	year = {2012},
	author = {R. Gay and H. Mantel and B. Sprick}
}
@conference {inp:OchoaJuerjensWarzecha2012a,
	title = {A Sound Decision Procedure for the Compositionality of Secrecy},
	booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and D. Warzecha}
}
@conference {inp:LehmannLohmannWolf2012a,
	title = {Stubborn Sets for Simple Linear Time Properties},
	booktitle = {Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann and K. Wolf}
}
@conference {inp:AtkinsonGerbigKennel2012a,
	title = {Symbiotic general-purpose and domain-specific languages},
	booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and B. Kennel}
}
@conference {inp:SchwarzSVLM11,
	title = {Static Analysis of Interrupt-Driven Programs Synchronized via the Priority Ceiling Protocol},
	booktitle = {Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011)},
	year = {2011},
	author = {M. D. Schwarz and H. Seidl and V. Vojdani and P. Lammich and M. M{\"u}ller-Olm}
}
@conference {inp:AccorsiWonnemann2011a,
	title = {Strong non-leak guarantees for workflow models},
	booktitle = {Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011)},
	year = {2011},
	author = {R. Accorsi and C. Wonnemann}
}
