Skip to contents

Scheben, Christoph [Author] ; Schmitt, P. H. [Degree supervisor]

Program-level Specification and Deductive Verification of Security Properties

View online
Schließen

Access

https://d-nb.info/1069324086/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, 2014
Scheben, Christoph [Author]

Program-level Specification and Deductive Verification of Security Properties

View online
Schließen

Access

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

Show more show less

Close

Bookmarks

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

Karlsruhe: KIT-Bibliothek, 2014
Scheben, Christoph [Author] ; Schmitt, P. H. [Contributor]

Program-level Specification and Deductive Verification of Security Properties

View online
Schließen

Links

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

Show more show less

Close

Bookmarks

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

KIT-Bibliothek, Karlsruhe, 2014-01-01
Scheben, Christoph [Author]; Schmitt, Peter H. [Author]

Verification of Information Flow Properties of Java Programs without Approximations

View online
Schließen

Links

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

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, 2011-01-01
Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author]

Extending non-termination proof techniques to asynchronously communicating concurrent programs

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

Konstanz: Bibliothek der Universität Konstanz, 2010
Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author]

Extending non-termination proof techniques to asynchronously communicating concurrent programs

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

KOPS - The Institutional Repository of the University of Konstanz, 2010
Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author] ; Wei, Wei [Other]; Yang, Sen [Other]

Heuristic Search for Unbounded Executions

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

Konstanz: Bibliothek der Universität Konstanz, 2009
Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author]; Wei, Wei [Author]; Yang, Sen [Author]

Heuristic Search for Unbounded Executions

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

KOPS - The Institutional Repository of the University of Konstanz, 2009
Beckert, Bernhard [Other]; Grahl, Daniel [Other]; Klebanov, Vladimir [Other]; Scheben, Christoph [Other]; Schmitt, Peter H. [Other]; Ulbrich, Mattias [Other] ; Karlsruher Institut für Technologie Fakultät für Informatik

Information Flow in Object-Oriented Software : Extended Version

View online
Schließen

Access

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

Show more show less

Close

Bookmarks

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

Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2013,14
Beckert, Bernhard [Other]; Grahl, Daniel [Other]; Klebanov, Vladimir [Other]; Scheben, Christoph [Other]; Schmitt, Peter H. [Other]; Ulbrich, Mattias [Other] ; Karlsruher Institut für Technologie Fakultät für Informatik

Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version

View online
Schließen

Access

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

Show more show less

Close

Bookmarks

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

Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2013,10
Küsters, Ralf [Author]; Truderung, Tomasz [Author]; Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Graf, Jürgen [Author]; Scheben, Christoph [Author]

A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs

View online
Schließen

Access

Close

Bookmarks

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

Luxembourg, 2013-01-01
Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Klebanov, Vladimir [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Ulbrich, Mattias [Author]

Information Flow in Object-Oriented Software - Extended Version -

View online
Schließen

Links

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

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, 2013-01-01
Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Klebanov, Vladimir [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Ulbrich, Mattias [Author]

Secure Information Flow for Java. A Dynamic Logic Approach. Extended Version

View online
Schließen

Links

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

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, 2013-01-01
Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Küsters, Ralf [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Truderung, Tomasz [Author]

The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study

View online
Schließen

Links

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

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
Scheben, Christoph

Lecture Notes in Computer Science: Simulation of d′-Dimensional Cellular Automata on d-Dimensional Cellular Automata

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2006

Published in: Lecture Notes in Computer Science
Grahl, Daniel; Scheben, Christoph

Lecture Notes in Computer Science: Functional Verification and Information Flow Analysis of an Electronic Voting System

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science
Scheben, Christoph; Greiner, Simon

Lecture Notes in Computer Science: Information Flow Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science
Geisler, Jürgen; Scheben, Christoph

HUMAN PROCESSOR MODELLING LANGUAGE (HPML): ESTIMATE WORKING MEMORY LOAD TROUGH INTERACTION

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2007

Published in: IFAC Proceedings Volumes
Scheben, Christoph; Schmitt, Peter H.

Lecture Notes in Computer Science: Efficient Self-composition for Weakest Precondition Calculi

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2014

Published in: Lecture Notes in Computer Science
Scheben, Christoph; Schmitt, Peter H.

Formal Verification of Object-Oriented Software: Verification of Information Flow Properties of Java Programs without Approximations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2012

Published in: Formal Verification of Object-Oriented Software

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