Document Open Access Logo

Type Abstraction for Relaxed Noninterference (Artifact)

Authors Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter

Thumbnail PDF

Artifact Description

  • Filesize: 342 kB
  • 2 pages

Document Identifiers

Author Details

Raimil Cruz
Tamara Rezk
Bernard Serpette
Éric Tanter

Cite AsGet BibTex

Raimil Cruz, Tamara Rezk, Bernard Serpette, and Éric Tanter. Type Abstraction for Relaxed Noninterference (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 9:1-9:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)



This artifact is a web interpreter for the ObSec language defined in the companion paper. ObSec is a simple object-oriented language that supports type-based declassification. Type-base declassification exploits the familiar notion of type abstraction to support expressive declassification policies in a simple and expressive manner.
  • type abstraction
  • relaxed noninterference
  • information flow control


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail