Home » Authors » Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Public reference bibliography and cataloged PDF materials authored or published by Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter.

Found 1 document(s) Page 1 of 1

Type Abstraction for Relaxed Noninterference (Artifact) *

Year: 2017 • Source: hal.science • Listed PDF

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 declassifica-tion exploits the fam...