Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research:software:obsec [2017/05/17 22:55] – racruzresearch:software:obsec [2017/05/18 03: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: 
Line 15: Line 15:
  
   - **Using the online ObSec Pad** at [[https://pleiad.cl/obsec]].    - **Using the online ObSec Pad** at [[https://pleiad.cl/obsec]]. 
-  - **With the virtual machine**, which can be downloaded [[https://pleiad.cl/paper_53_ubuntu_vm_obsec.ova|here]]+  - **With the virtual machine**, which can be downloaded [[https://pleiad.cl/ecoop17-artifact.zip|here]]
   - **Local execution of the ObSec Pad**, which can be downloaded [[https://pleiad.cl/_media/research/software/obsec/obsec-web.zip|here]].   - **Local execution of the ObSec Pad**, which can be downloaded [[https://pleiad.cl/_media/research/software/obsec/obsec-web.zip|here]].