Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

Gregersen, Simon

doi:10.5281/zenodo.4068073

There is a newer version of the record available.

Published October 6, 2020 | Version v1

Software Open

Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

Gregersen, Simon¹

1. Aarhus University

A Coq artifact accompanying the paper "Mechanized Logical Relations for Termination-Insensitive Noninterference" by Simon Oddershede Gregersen, Johan Bay, Amin Timany, and Lars Birkedal.

Files

artifact.zip

Files (1.0 MB)

Name	Size	Download all
artifact.zip md5:aa14e8ceaccc499476a5b8101e5111c5	1.0 MB	Preview Download

517

Views

Downloads

Show more details

	All versions	This version
Views	517	61
Downloads	67	9
Data volume	65.0 MB	9.1 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: October 6, 2020
Modified: October 8, 2020

Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

Authors/Creators

Description

Files

artifact.zip

Files (1.0 MB)