A Coq Library for the SecureND Calculus for Minimal Trust. The Main Branch contains the library of the Minimal Uninstall Problem. The Transitive Branch contains the library for the Minimally Transitive Installation problem.
-
Notifications
You must be signed in to change notification settings - Fork 1
gprimiero/SecureNDC
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
A Coq Library for the SecureND Calculus for Minimal Trust
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published