Published October 9, 2020 | Version v1
Conference paper Open

Iris Mechanization of a Local Capability Machine with Uninitialized Capabilities

Creators

  • 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