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, E.
Bodden, Eric
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, P.
Fischer, R.
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, S.
Grebing, Sarah
Greiner, Simon
Grewe, S.
Gritti, Armando Pesenti
Hadasch, F.
Hahn, Christopher
Hähnle, Reiner
Hammer, C.
Hammer, Christian
Havle, O.
Hecker, M.
Hecker, Martin
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, 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, Y.
Le Traon, Yves
Lehmann, A.
Li, Li
Li, Ximeng
Liu, Tianhai
Lochbihler, A.
Lohmann, N.
Lohner, D.
Lortz, Steffen
Loval, Enrico
Lovat, E.
Lovat, Enrico
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, W.
Mostowski, Wojciech
Mueller, B.
Muise, C.
Müller, S.
Müller, Christian
Müller, Johannes
Müller-Olm, M.
Müller-Olm, Markus
Nemouchi, Y.
Nipkow, T.
Nordhoff, B.
Nordhoff, Benedikt
Ochoa, M.
Octeau, D.
Octeau, Damien
Oudinet, J.
Perner, M.
Perner, Matthias
Peschla, J.
Pfeiffer, S.
Popescu, A.
Popescu, Andrei
Pretschner, A.
Pretschner, Alexander
Rabe, M.
Rabe, M. N.
Rabe, Markus
Rafnsson, Willard
Raimondi, Franco
Rajani, V.
Rajani, Vineet
Rasthofer, S.
Rasthofer, Siegfried
Reif, W.
Rezk, Tamara
Rios, R.
Sabelfeld, Andrei
Sánchez, C.
Sánchez, César
Sands, D.
Sauer, J.
Scapin, E.
Scapin, Enrico
Scheben, C.
Scheben, Christoph
Schinzel, S.
Schmaltz, J.
Schmitt, P.
Schmitt, I.
Schmitt, P. H.
Schmitt, Peter H.
Schmitt, Peter H.
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, 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, Matthias
Ulbrich, Mattias
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 147 results:
BibTeX
[
Author
]
Title
Type
Year
Filters:
Filter
is
[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
K
V. Klebanov
,
“
Precise Quantitative Information Flow Analysis – A Symbolic Approach
”
,
Theoretical Computer Science
, 2014.
Google Scholar
BibTeX
V. Klebanov
,
Weigl, A.
, and
Weisbarth, J.
,
“
Sound Probabilistic #SAT with Projection
”
, in
Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)
, 2016.
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
M. Kovács
and
Seidl, H.
,
“
Runtime Enforcement of Information Flow Security in Tree Manipulating Processes
”
, in
Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)
, 2012.
Google Scholar
BibTeX
M. Kovács
,
Seidl, H.
, and
Finkbeiner, B.
,
“
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties
”
, in
Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013)
, 2013.
Google Scholar
BibTeX
P. Kumari
,
Pretschner, A.
,
Peschla, J.
, and
Kuhn, J. - M.
,
“
Distributed Data Usage Control for Web Applications: A Social Network Implementation
”
, in
Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011)
, 2011.
Google Scholar
BibTeX
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
O. Kunčar
and
Popescu, A.
,
“
A Consistent Foundation for Isabelle/HOL
”
, in
Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP)
, 2015.
Google Scholar
BibTeX
O. Kunčar
and
Popescu, A.
,
“
Comprehending Isabelle/HOL's Consistency
”
, in
Proceedings of the 26th European Symposium on Programming (ESOP)
, 2017.
Google Scholar
BibTeX
R. Küsters
,
Truderung, T.
, and
Vogt, A.
,
“
Proving Coercion-Resistance of Scantegrity II
”
, in
Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010)
, 2010.
Google Scholar
BibTeX
R. Küsters
,
Truderung, T.
, and
Vogt, A.
,
“
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study
”
, in
Proceedings of the 32nd IEEE Symposium on Security and Privacy (S{&}P 2011)
, 2011.
Google Scholar
BibTeX
R. Küsters
,
Truderung, T.
, and
Vogt, A.
,
“
A Game-Based Definition of Coercion-Resistance and its Applications
”
,
Journal of Computer Security (special issue of selected CSF 2010 papers)
, vol. 20, 2012.
Google Scholar
BibTeX
R. Küsters
,
Truderung, T.
, and
Vogt, A.
,
“
Clash Attacks on the Verifiability of E-Voting Systems
”
, in
Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{&}P 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
R. Küsters
,
Truderung, T.
,
Beckert, B.
,
Bruns, D.
,
Graf, J.
, and
Scheben, C.
,
“
A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs
”
, in
Grande Region Security and Reliability Day 2013
, 2013.
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
R. Küsters
,
Scapin, E.
,
Truderung, T.
, and
Graf, J.
,
“
Extending and Applying a Framework for the Cryptographic Verification of Java Programs
”
, in
Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)
, 2014.
Google Scholar
BibTeX
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
R. Küsters
,
Müller, J.
,
Scapin, E.
, and
Truderung, T.
,
“
sElect: A Lightweight Verifiable Remote Voting System
”
, in
Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)
, 2016.
Google Scholar
BibTeX
L
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
A. Lehmann
and
Fahland, D.
,
“
Information Flow Security for Business Process Models - just one click away
”
, in
Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012)
, 2012.
Google Scholar
BibTeX
A. Lehmann
and
Lohmann, N.
,
“
Model support for confidential service-oriented business processes
”
, in
Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)
, Bamberg, Germany, 2012.
Google Scholar
BibTeX
A. Lehmann
and
Lohmann, N.
,
“
Modeling wizard for confidential Business Processes
”
, in
1st Joint International Workshop on Security in Business Processes (SBP)
, 2012.
Google Scholar
BibTeX
A. Lehmann
,
Lohmann, N.
, and
Wolf, K.
,
“
Stubborn Sets for Simple Linear Time Properties
”
, in
Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)
, 2012.
Google Scholar
BibTeX
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
Pages
« first
‹ previous
1
2
3
4
5
6
next ›
last »