Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / secure-compilation / when-good-components-go-bad

Coq formalization for "When Good Components Go Bad" paper

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/secure-compilation%2Fwhen-good-components-go-bad

Stars: 7
Forks: 1
Open issues: 2

License: apache-2.0
Language: Coq
Size: 5.22 MB
Dependencies parsed at: Pending

Created at: over 7 years ago
Updated at: 3 months ago
Pushed at: 4 days ago
Last synced at: 4 days ago

Topics: compartmentalization, coq, secure-compilation, software-fault-isolation, tagged-architectures, undefined-behavior

    Loading...