Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
research:software:obsec [2017/05/18 00:52] – racruzresearch:software:obsec [2017/05/18 00:54] (current) – racruz
Line 2: Line 2:
  
 ObSec is a simple object-oriented language that supports type-based declassification. ObSec was introduced in the paper  ObSec is a simple object-oriented language that supports type-based declassification. ObSec was introduced in the paper 
-{{bib>cruzAl-ecoop2017|Type Abstraction for Relaxed Noninterference}} to be presented at [[http://conf.researchr.org/home/ecoop-2017|ECOOP 2017]] +{{bib>cruzAl-ecoop2017|Type Abstraction for Relaxed Noninterference}}
  
 This tutorial covers:  This tutorial covers: