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]
2013
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
B. Beckert
and
Bruns, D.
,
“
Dynamic Logic with Trace Semantics
”
, in
Proceedings of the 24th International Conference on Automated Deduction (CADE-24)
, 2013.
Google Scholar
BibTeX
C. Hammer
,
“
Efficient Algorithms for Control Closures
”
, in
1st International Workshop on Interference and Dependence (ID 2013)
, 2013.
Google Scholar
BibTeX
M. Keil
and
Thiemann, P.
,
“
Efficient Dynamic Access Analysis Using JavaScript Proxies
”
, in
Proceedings of the 9th Symposium on Dynamic Languages (DLS 2013)
, 2013.
Google Scholar
BibTeX
J. C. Blanchette
,
Böhme, S.
,
Popescu, A.
, and
Smallbone, N.
,
“
Encoding Monomorphic and Polymorphic Types
”
, in
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
, 2013.
Google Scholar
BibTeX
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
L. Fennell
and
Thiemann, P.
,
“
Gradual Security Typing with References
”
, in
Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013)
, 2013, pp. 224-239.
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
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. 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
J. C. Blanchette
and
Popescu, A.
,
“
Mechanizing the Metatheory of Sledgehammer
”
, in
Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013)
, 2013.
Google Scholar
BibTeX
K. Katkalov
,
Stenzel, K.
,
Borek, M.
, and
Reif, W.
,
“
Model-Driven Development of Information Flow-Secure Systems with IFlow
”
, in
Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013)
, 2013.
Google Scholar
BibTeX
K. Katkalov
,
Stenzel, K.
,
Borek, M.
, and
Reif, W.
,
“
Model-Driven Development of Information Flow-Secure Systems with IFlow
”
,
ASE Science Journal
, vol. 2, 2013.
Google Scholar
BibTeX
A. Popescu
,
Hölzl, J.
, and
Nipkow, T.
,
“
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference
”
, in
Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
, 2013.
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
V. Klebanov
,
Manthey, N.
, and
Muise, C.
,
“
SAT-based Analysis and Quantification of Information Flow in Programs
”
, in
Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)
, 2013.
Google Scholar
BibTeX
M. Keil
and
Thiemann, P.
,
“
Type-based Dependency Analysis for JavaScript
”
, in
Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2013)
, 2013.
Google Scholar
BibTeX
J. Graf
,
Hecker, M.
, and
Mohr, M.
,
“
Using JOANA for Information Flow Control in Java Programs - A Practical Guide
”
, in
Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013)
, 2013.
Google Scholar
BibTeX
2012
R. Accorsi
and
Lehmann, A.
,
“
Automatic Information Flow Analysis of Business Process Models
”
, in
10th International Conference on Business Process Management (BPM 2012)
, 2012.
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
L. Fennell
and
Thiemann, P.
,
“
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic
”
, in
Proceedings of the Symposium on Trends in Functional Programming (TFP 2012)
, 2012.
Google Scholar
BibTeX
T. Jager
,
Schinzel, S.
, and
Smorovksy, J.
,
“
Bleichenbacher's Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption
”
, in
Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012)
, 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
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
Pages
« first
‹ previous
1
2
3
4
5
6
next ›
last »