Skip to main content
About
Events
Research
Open Positions
Links
Contact
Publications
Projects
Project Clusters
Reference Scenarios
Tools
Search form
Search
Reliably Secure Software Systems (RS
3
) –
DFG Priority Programme 1496
Research
Publications
Best Paper Awards
Projects
Funded Projects
Associated Projects
Projects by Phases
Project Clusters
Projects
Reference Scenarios
Security in E-Voting
Security in Web-based Workflow Management Systems
Software Security for Mobile Devices
Projects
Tools
Search
Show only items where
Author
any
Abadi, Martín
Accorsi, R.
Ahrendt, Wolfgang
Arzt, S.
Arzt, Steven
Askarov, Aslan
Atkinson, C.
Barte, A.
Bartel, Alexandre
Bastys, Iulia
Bauereiß, Thomas
Bauereiss, Thomas
Bauereiss, T.
Beckert, B.
Beckert, Bernhard
Bichhawat, Abhishek
Bichhawat, A.
Bissyandé, Tegawendé F.
Blanchette, J. C.
Blasum, H.
Bodden, E.
Bodden, Eric
Böhme, S.
Bolosteanu, Iulia
Borek, M.
Breitner, Joachim
Bruns, Daniel
Bruns, D.
Bubel, Richard
Buechler, M.
Chong, Stephen
Clarkson, M. R.
Cortier, Véronique
Cúellar, J.
Dering, Matthew
Dimitrova, R.
Do, Huy Quoc
Do, Quoc Huy
Dörre, Felix
Ehlers, R.
Fahland, D.
Faymonville, Peter
Fennell, L.
Finkbeiner, B.
Finkbeiner, Bernd
Fischer, R.
Fischer, P.
Freiling, F.
Fritz, C.
Fromm, Alexander
Galindo, David
Garg, Deepak
Garg, D.
Gark, Deepak
Gawlitza, T. M.
Gay, Richard
Gay, R.
Gerbig, R.
Giffhorn, Dennis
Gladisch, Christoph
Graf, J.
Graf, Jürgen
Grahl, Daniel
Grebenshchikov, Sergey
Grebing, Sarah
Grebing, S.
Greiner, Simon
Grewe, S.
Gritti, Armando Pesenti
Hadasch, F.
Hahn, Christopher
Hähnle, Reiner
Hammer, Christian
Hammer, C.
Havle, O.
Hecker, M.
Hecker, Martin
Henschel, Martin
Herda, Mihai
Hölzl, J.
Hutter, Dieter
Hutter, D.
Jager, T.
Jain, Jinank
Jha, Somesh
Jürjens, J.
Kamburjan, Eduard
Kanav, S.
Katkalov, K.
Keil, M.
Kelbert, Florian
Kelbert, F.
Kennel, B.
Kirsten, Michael
Klebanov, Vladimir
Klebanov, V.
Klein, J.
Klein, Jacques
Koleini, M.
Köpf, B.
Kovács, M.
Kremer, Steve
Kuhn, J.-M.
Kumari, P.
Kunčar, Ondřej
Küsters, R.
Küsters, Ralf
Lammich, P.
Lammich, Peter
Langenstein, B.
Le Traon, Yves
Le Traon, Y.
Lehmann, A.
Li, Li
Li, Ximeng
Liu, Tianhai
Lochbihler, A.
Lohmann, N.
Lohner, D.
Lortz, Steffen
Loval, Enrico
Lovat, Enrico
Lovat, E.
Lux, A.
Maedche, A.
Mann, C.
Mantel, H.
Mantel, Heiko
Manthey, N.
Mauborgne, L.
McDaniel, P.
McDaniel, Patrick
Micinski, K. K.
Moebius, N.
Mohr, M.
Mohr, Martin
Mostowski, Wojciech
Mostowski, W.
Mueller, B.
Muise, C.
Müller, S.
Müller, Christian
Müller, Johannes
Müller-Olm, Markus
Müller-Olm, M.
Nemouchi, Y.
Nipkow, T.
Nordhoff, Benedikt
Nordhoff, B.
Ochoa, M.
Octeau, D.
Octeau, Damien
Oudinet, J.
Perner, M.
Perner, Matthias
Peschla, J.
Pfeiffer, S.
Popescu, Andrei
Popescu, A.
Pretschner, A.
Pretschner, Alexander
Rabe, M.
Rabe, M. N.
Rabe, Markus
Rafnsson, Willard
Raimondi, Franco
Rajani, V.
Rajani, Vineet
Rasthofer, Siegfried
Rasthofer, S.
Reif, W.
Rezk, Tamara
Rios, R.
Sabelfeld, Andrei
Sánchez, C.
Sánchez, César
Sands, D.
Sauer, J.
Scapin, E.
Scapin, Enrico
Scheben, Christoph
Scheben, C.
Schinzel, S.
Schmaltz, J.
Schmitt, I.
Schmitt, Peter H.
Schmitt, Peter H.
Schmitt, P.
Schmitt, P. H.
Schneider, David
Schoepe, D.
Schwarz, M. D.
Seidl, Helmut
Seidl, H.
Sinz, C.
Smallbone, N.
Smorovksy, J
Snelling, Gregor
Snelting, Gregor
Snelting, G.
Sprick, B.
Starostin, A.
Starostin, Artem
Stenger, Marvin
Stenzel, K.
Stephan, W.
Sudbrock, H.
Taghdiri, M.
Taghdiri, Mana
Tasch, Markus
Tentrup, Leander
Thiemann, P.
Timmermann, D.
Truderung, T.
Truderung, Tomasz
Tunjic, C.
Tverdyshew, S.
Tyszberowicz, Shmuel
Ulbrich, M.
Ulbrich, Mattias
Ulbrich, Matthias
Unger, S.
Verbeek, F.
Vogt, A.
Vojdani, V.
Wand, D.
Warzecha, D.
Wasser, Nathan
Wasserrab, D.
Wasserrab, Daniel
Weber, Alexandra
Weidenbach, C.
Weigl, Alexander
Weisbarth, Jörg
Wenner, A.
Wenner, Alexander
Wolf, K.
Wolf, B.
Wonnemann, C.
Wüchner, T.
Zalinescu, Eugen
Zimmermann, Martin
Type
any
Conference Paper
Journal Article
Miscellaneous
Term
any
Year
any
2017
2016
2015
2014
2013
2012
2011
2010
Keyword
any
conference
Export 14 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
F
[Clear All Filters]
2017
B. Finkbeiner
and
Zimmermann, M.
,
“
The First-Order Logic of Hyperproperties
”
, in
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS)
, 2017.
Google Scholar
BibTex
2016
O. Kunčar
and
Popescu, A.
,
“
From Types to Sets by Local Type Definitions in Higher-Order Logic
”
, in
Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)
, 2016.
Google Scholar
BibTex
2015
F. Kelbert
and
Pretschner, A.
,
“
A Fully Decentralized Data Usage Control Enforcement Infrastructure
”
, in
Proceedings of the 13th International Conference on Applied Cryptography and Network Security
, 2015.
Google Scholar
BibTex
2014
S. Arzt
,
Rasthofer, S.
,
Fritz, C.
,
Bodden, E.
,
Barte, A.
,
Klein, J.
,
Le Traon, Y.
,
Octeau, D.
, and
McDaniel, P.
,
“
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
”
, in
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)
, 2014.
Google Scholar
BibTex
R. Küsters
,
Truderung, T.
, and
Vogt, A.
,
“
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking
”
, in
Proceedings of the 35th IEEE Symposium on Security and Privacy (S&P 2014)
, 2014.
Google Scholar
BibTex
S. Grewe
,
Mantel, H.
, and
Schoepe, D.
,
“
A Formalization of Assumptions and Guarantees for Compositional Noninterference
”
,
Archive of Formal Proofs
, 2014.
Google Scholar
BibTex
S. Grewe
,
Lux, A.
,
Mantel, H.
, and
Sauer, J.
,
“
A Formalization of Declassification with WHAT-and-WHERE-Security
”
,
Archive of Formal Proofs
, 2014.
Google Scholar
BibTex
S. Grewe
,
Lux, A.
,
Mantel, H.
, and
Sauer, J.
,
“
A Formalization of Strong Security
”
,
Archive of Formal Proofs
, 2014.
Google Scholar
BibTex
K. Stenzel
,
Katkalov, K.
,
Borek, M.
, and
Reif, W.
,
“
Formalizing Information Flow Control in a Model-Driven Approach
”
, in
Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014)
, 2014.
Google Scholar
BibTex
2013
A. Popescu
,
Hölzl, J.
, and
Nipkow, T.
,
“
Formal Verification of Language-Based Concurrent Noninterference
”
,
J. Formalized Reasoning
, vol. 6, pp. 1-30, 2013.
Google Scholar
BibTex
A. Popescu
,
Hölzl, J.
, and
Nipkow, T.
,
“
Formalizing Probabilistic Noninterference
”
, in
Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013)
, 2013.
Google Scholar
BibTex
2012
B. Beckert
and
Bruns, D.
,
“
Formal Semantics of Model Fields in Annotation-based Specifications
”
, in
{KI 2012}: Advances in Artificial Intelligence
, 2012.
Google Scholar
BibTex
C. Mann
and
Starostin, A.
,
“
A Framework for Static Detection of Privacy Leaks in Android Applications
”
, in
Proceedings of the 27th Symposium on Applied Computing (SAC 2012)
, 2012.
Google Scholar
BibTex
R. Küsters
,
Truderung, T.
, and
Graf, J.
,
“
A Framework for the Cryptographic Verification of Java-like Programs
”
, in
Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012)
, 2012.
Google Scholar
BibTex