Skip to contents

Hammer, Christian [Author]

Information flow control for java : a comprehensive approach based on path conditions in dependence graphs

View online
Schließen

Access

https://digbib.bibliothek.kit.edu/volltexte/1000012049

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Universitätsverlag, 2009
Graf, Jürgen [Author] ; Snelting, G. [Degree supervisor]

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

View online
Schließen

Access

https://d-nb.info/1129258866/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT-Bibliothek, 2016
Sudbrock, Henning [Author] ; Mantel, Heiko [Degree supervisor]; Schmitt, Peter H. [Degree supervisor]

Compositional and Scheduler-Independent Information Flow Security

View online
Schließen

Access

https://d-nb.info/1110791933/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2013
Mohr, Martin [Author] ; Snelting, Gregor [Degree supervisor]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

View online
Schließen

Access

https://d-nb.info/1261891600/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT-Bibliothek, 2022
Mohr, Martin [Author] ; Snelting, Gregor [Degree supervisor]; Hammer, Christian [Degree supervisor]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

View online
Schließen

Access

https://d-nb.info/1292361107/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT Scientific Publishing, 2023
Hammer, Christian [Author] ; Snelting, G. [Contributor]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000012049

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT Scientific Publishing, Karlsruhe, 2009-01-01
Binkley, Dave [Author]; Harman, Mark [Author]; Krinke, Jens [Author] ; Dave Binkley and Mark Harman and Jens Krinke [Contributor]

05451 Abstracts Collection – Beyond Program Slicing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Hammer, Christian [Author] ; Snelting, G. [Degree supervisor]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

View online
Schließen

Access

https://d-nb.info/1185493255/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT Scientific Publishing, 2009
Léchenet, Jean-Christophe [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Le Gall, Pascale [Contributor]

Certified algorithms for program slicing ; Algorithmes certifiés pour la simplification syntaxique de programmes

View online
Schließen

Links

http://www.theses.fr/2018SACLC056/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2018-07-19
Kubiuk, Yevhenii [Author]; Kyselov, Gennadiy [Author]

Comparative analysis of approaches to source code vulnerability detection based on deep learning methods

View online
Schließen

Access

Full access (via DOI)

http://journals.uran.ua/tarp/article/download/233534/234422/539637

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: Technology audit and production reserves ; 3(2021), 2/59, Seite 19-23
Graf, Jürgen [Author] ; Snelting, G. [Contributor]

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000068211

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2016-01-01
Wasserrab, Daniel [Author]

From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand]

View online
Schließen

Access

https://digbib.bibliothek.kit.edu/volltexte/1000020678

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT Scientific Publishing, 2011
Sağlam, Timur [Author]; Brödel, Moritz [Author]; Schmid, Larissa [Author]; Hahner, Sebastian [Author]

Detecting Automatic Software Plagiarism via Token Sequence Normalization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers, 2024-01-22
Mohr, Martin [Author] ; Snelting, Gregor [Contributor]; Hammer, Christian [Contributor]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000155035

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT Scientific Publishing, Karlsruhe, 2023-01-01
Mohr, Martin [Author] ; Snelting, Gregor [Contributor]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000146346

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2022-05-14
Giffhorn, Dennis [Author]; Snelting, Gregor [Author]

Probabilistic Noninterference Based on Program Dependence Graphs

View online
Schließen

Access

https://digbib.bibliothek.kit.edu/volltexte/1000028162

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT, Fakultät für Informatik, 2012

Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,6
Giffhorn, Dennis [Author]; Snelting, Gregor [Author]

Probabilistic Noninterference Based on Program Dependence Graphs

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000028162

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruher Institut für Technologie, 2012-01-01
Krinke, Jens [Author]

Identifying Similar Code with Program Dependence Graphs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IEEE Computer Society, 2001-01-01
Graf, J. [Author]; Hecker, M. [Author]; Mohr, M. [Author]; Nordhoff, B. [Author]

Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2014-02-13
Wasserrab, Daniel [Author]; Lochbihler, Andreas [Author]

Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Verlag, 2008-01-01

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication