Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published October 9, 2020 | Version v1
Conference paper Open

Iris Mechanization of a Local Capability Machine with Uninitialized Capabilities

  • 1. Aarhus University
  • 2. KU Leuven

Description

The Iris mechanization contains all the definitions and proofs presented in the paper "Efficient and Provable Local Capability Revocation using Uninitialized Capabilities"

The zipped folder contains all of the source code, and the VM image contains a prebuilt version of the development. 

Use the following credentials to log into the virtual machine:

  • Username: user
  • Password: user

In case it is needed, the root password is 'root'.

troubleshooting: In case of difficulties running the VM on macOS, we recommend the following exchange: https://unix.stackexchange.com/a/609139

Files

README.md

Files (6.2 GB)

Name Size Download all
md5:88a482beb57ced1038e4751824b0f78f
6.2 GB Download
md5:6e362f6b25b3659c29757012693607b5
1.4 MB Download
md5:0c2cb3678f5259a2eac8c4087513c91e
11.6 kB Preview Download