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, T.
Bauereiss, Thomas
Beckert, B.
Beckert, Bernhard
Bichhawat, A.
Bichhawat, Abhishek
Bissyandé, Tegawendé F.
Blanchette, J. C.
Blasum, H.
Bodden, Eric
Bodden, E.
Böhme, S.
Bolosteanu, Iulia
Borek, M.
Breitner, Joachim
Bruns, D.
Bruns, Daniel
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, D.
Garg, Deepak
Gark, Deepak
Gawlitza, T. M.
Gay, R.
Gay, Richard
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, C.
Hammer, Christian
Havle, O.
Hecker, Martin
Hecker, M.
Henschel, Martin
Herda, Mihai
Hölzl, J.
Hutter, D.
Hutter, Dieter
Jager, T.
Jain, Jinank
Jha, Somesh
Jürjens, J.
Kamburjan, Eduard
Kanav, S.
Katkalov, K.
Keil, M.
Kelbert, F.
Kelbert, Florian
Kennel, B.
Kirsten, Michael
Klebanov, V.
Klebanov, Vladimir
Klein, Jacques
Klein, J.
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, Peter
Lammich, P.
Langenstein, B.
Le Traon, Y.
Le Traon, Yves
Lehmann, A.
Li, Ximeng
Li, Li
Liu, Tianhai
Lochbihler, A.
Lohmann, N.
Lohner, D.
Lortz, Steffen
Loval, Enrico
Lovat, Enrico
Lovat, E.
Lux, A.
Maedche, A.
Mann, C.
Mantel, Heiko
Mantel, H.
Manthey, N.
Mauborgne, L.
McDaniel, P.
McDaniel, Patrick
Micinski, K. K.
Moebius, N.
Mohr, M.
Mohr, Martin
Mostowski, W.
Mostowski, Wojciech
Mueller, B.
Muise, C.
Müller, S.
Müller, Johannes
Müller, Christian
Müller-Olm, Markus
Müller-Olm, M.
Nemouchi, Y.
Nipkow, T.
Nordhoff, B.
Nordhoff, Benedikt
Ochoa, M.
Octeau, Damien
Octeau, D.
Oudinet, J.
Perner, Matthias
Perner, M.
Peschla, J.
Pfeiffer, S.
Popescu, Andrei
Popescu, A.
Pretschner, A.
Pretschner, Alexander
Rabe, Markus
Rabe, M.
Rabe, M. N.
Rafnsson, Willard
Raimondi, Franco
Rajani, Vineet
Rajani, V.
Rasthofer, S.
Rasthofer, Siegfried
Reif, W.
Rezk, Tamara
Rios, R.
Sabelfeld, Andrei
Sánchez, César
Sánchez, C.
Sands, D.
Sauer, J.
Scapin, E.
Scapin, Enrico
Scheben, Christoph
Scheben, C.
Schinzel, S.
Schmaltz, J.
Schmitt, P.
Schmitt, Peter H.
Schmitt, Peter H.
Schmitt, P. H.
Schmitt, I.
Schneider, David
Schoepe, D.
Schwarz, M. D.
Seidl, H.
Seidl, Helmut
Sinz, C.
Smallbone, N.
Smorovksy, J
Snelling, Gregor
Snelting, G.
Snelting, Gregor
Sprick, B.
Starostin, Artem
Starostin, A.
Stenger, Marvin
Stenzel, K.
Stephan, W.
Sudbrock, H.
Taghdiri, Mana
Taghdiri, M.
Tasch, Markus
Tentrup, Leander
Thiemann, P.
Timmermann, D.
Truderung, Tomasz
Truderung, T.
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, Alexander
Wenner, A.
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 47 results:
BibTex
Author
[
Title
]
Type
Year
Filters:
First Letter Of Last Name
is
M
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
H. Mantel
,
Sands, D.
, and
Sudbrock, H.
,
“
Assumptions and Guarantees for Compositional Noninterference
”
, in
Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)
, 2011.
Google Scholar
BibTex
B. Köpf
,
Mauborgne, L.
, and
Ochoa, M.
,
“
Automatic Quantification of Cache Side-Channels
”
, in
Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)
, 2012.
Google Scholar
BibTex
C
G. Snelting
,
Giffhorn, D.
,
Graf, J.
,
Hammer, C.
,
Hecker, M.
,
Mohr, M.
, and
Wasserrab, D.
,
“
Checking Probabilistic Noninterference Using JOANA
”
,
it - Information Technology
, 2014.
Google Scholar
BibTex
D. Octeau
,
Jha, S.
,
Dering, M.
,
McDaniel, P.
,
Bartel, A.
,
Li, L.
,
Klein, J.
, and
Le Traon, Y.
,
“
Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis
”
, in
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
, 2016.
Google Scholar
BibTex
T. Wüchner
,
Müller, S.
, and
Fischer, R.
,
“
Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control
”
, in
Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013)
, 2013.
Google Scholar
BibTex
P. Lammich
,
Müller-Olm, M.
,
Seidl, H.
, and
Wenner, A.
,
“
Contextual Locking for Dynamic Pushdown Networks
”
, in
Proceedings of the 20th International Symposium on Static Analysis (SAS 2013)
, 2013.
Google Scholar
BibTex
E
K. Katkalov
,
Fischer, P.
,
Stenzel, K.
,
Moebius, N.
, and
Reif, W.
,
“
Evaluation of Jif and Joana as information flow analyzers in a model-driven approach
”
, in
Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012)
, 2012.
Google Scholar
BibTex
F. Hadasch
,
Mueller, B.
, and
Maedche, A.
,
“
Exploring Antecedent Environmental and Organizational Factors to User-Caused Information Leaks: A Qualitative Study
”
, in
Proceedings of the 20th European Conference on Information Systems (ECIS 2012)
, Barcelona, Spain, 2012.
Google Scholar
BibTex
F. Hadasch
,
Mueller, B.
, and
Maedche, A.
,
“
Exploring Antecedent Environmental and Organizational Factors to User-Caused Information Leaks: A Qualitative Study
”
, in
Proceedings of the 20th European Conference on Information Systems (ECIS 2012)
, Barcelona, Spain, 2012.
Google Scholar
BibTex
F
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
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
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
H
R. Küsters
,
Truderung, T.
,
Beckert, B.
,
Bruns, D.
,
Kirsten, M.
, and
Mohr, M.
,
“
A Hybrid Approach for Proving Noninterference of Java Programs
”
, in
Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)
, 2015.
Google Scholar
BibTex
A. Askarov
,
Chong, S.
, and
Mantel, H.
,
“
Hybrid Monitors for Concurrent Noninterference
”
, in
Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)
, 2015.
Google Scholar
BibTex
I
L. Li
,
Bartel, A.
,
Bissyandé, T. F.
,
Klein, J.
,
Le Traon, Y.
,
Arzt, S.
,
Rasthofer, S.
,
Bodden, E.
,
Octeau, D.
, and
McDaniel, P.
,
“
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
”
, in
Proceedings of the 37th International Conference on Software Engineering (ICSE)
, 2015.
Google Scholar
BibTex
D. Bruns
,
Mostowski, W.
, and
Ulbrich, M.
,
“
Implementation-level Verification of Algorithms with Keęrn-.1emY
”
,
Software Tools for Technology Transfer
, 2014.
Google Scholar
BibTex
J. Breitner
,
Graf, J.
,
Hecker, M.
,
Mohr, M.
, and
Snelling, G.
,
“
On Improvements Of Low-Deterministic Security
”
, in
Proceedings of the 5th International Conference on Principles of Security and Trust (POST)
, 2016.
Google Scholar
BibTex
B. Nordhoff
,
Müller-Olm, M.
, and
Lammich, P.
,
“
Iterable Forward Reachability Analysis of Monitor-DPNs
”
, in
Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt)
, 2013.
Google Scholar
BibTex
J
T. M. Gawlitza
,
Lammich, P.
,
Müller-Olm, M.
,
Seidl, H.
, and
Wenner, A.
,
“
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
”
, in
Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)
, 2011.
Google Scholar
BibTex
K
W. Ahrendt
,
Beckert, B.
,
Bruns, D.
,
Bubel, R.
,
Gladisch, C.
,
Grebing, S.
,
Hähnle, R.
,
Henschel, M.
,
Herda, M.
,
Klebanov, V.
,
Mostowski, W.
,
Scheben, C.
,
Schmitt, P. H.
, and
Ulbrich, M.
,
“
The KeY Platform for Verification and Analysis of Java Programs
”
, in
Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments
, 2014.
Google Scholar
BibTex
L
F. Hadasch
,
Mueller, B.
, and
Maedche, A.
,
“
Leaking Confidential Information by Non-Malicious User Behaviour in Enterprise Systems - Design of an Empirical Study
”
, in
Proceedings of the 6th Mediterranean Conference on Information Systems (MCIS 2011)
, 2011.
Google Scholar
BibTex
F. Hadasch
,
Mueller, B.
, and
Maedche, A.
,
“
Leaking Confidential Information by Non-Malicious User Behaviour in Enterprise Systems - Design of an Empirical Study
”
, in
Proceedings of the 6th Mediterranean Conference on Information Systems (MCIS 2011)
, 2011.
Google Scholar
BibTex
J. Graf
,
Hecker, M.
,
Mohr, M.
, and
Nordhoff, B.
,
“
Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks
”
, in
1st International Workshop on Interference and Dependence (ID 2013)
, 2013.
Google Scholar
BibTex
Pages
1
2
next ›
last »