ku-sldg copland-avm issues

ku-sldg / copland-avm

Copland Attestation Virtual Machine definition and tools

3 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Restore Manifest Compiler Soundness Proofs)

#83 Durbatuluk1701 opened 4 weeks ago
0
Copland Type System and Appraisal Primitive Extension

#82 Durbatuluk1701 closed 1 month ago
2
Create simple appraisal "walking" mechanism to walk appraised evidence from inline CVM appraisal

#81 ampetz closed 2 weeks ago
0
Make Run Response success false have message field

#80 Durbatuluk1701 opened 2 months ago
0
Define (simple) Copland disclosure policy language

#79 ampetz opened 2 months ago
0
Integrate CACL into CVM

#78 ampetz opened 2 months ago
0
Cacl experimental

#77 ampetz closed 2 months ago
0
Generalize Copland Appraisal Procedure, and consider adding APPRAISE primitive to Copland (ala SIG, HSH, ENC)

#76 ampetz closed 1 month ago
0
Cleaning up and moving files

#75 Durbatuluk1701 closed 2 months ago
0
Json depth new strings

#74 ampetz closed 2 months ago
0
using variables for string constants in JSON encoders/decoders + mino…

#73 ampetz closed 2 months ago
0
Updated so that invol proofs go through

#72 ampetz closed 2 months ago
0
using variables for string constants in JSON encoders/decoders + mino…

#71 ampetz closed 2 months ago
0
Modifying JSON Encoding

#70 Durbatuluk1701 closed 2 months ago
1
Type system for ASP Evidence signatures

#69 ampetz closed 1 month ago
0
Dependency tools

#68 ampetz closed 3 months ago
0
Adding a dependency tracking tool and doing some cleanup

#67 Durbatuluk1701 closed 3 months ago
0
Evidence Type and Constructor Renaming

#66 Durbatuluk1701 closed 1 month ago
0
Creation of Attestation Session

#65 Durbatuluk1701 closed 3 months ago
0
Make JSON schemas for inductive datatypes consistent (i.e.: "ASP_CONSTRUCTOR" : "ASPC", "ASP_BODY": [...])

#64 ampetz closed 2 months ago
1
Make sure we have apt updated before running

#63 Durbatuluk1701 closed 3 months ago
1
ASP Lib Rework + Demo Phrase and Client

#62 Durbatuluk1701 closed 3 months ago
0
Design Copland Access Control Language (CACL)

#61 ampetz closed 1 month ago
0
Canonical Conversions for Strings and JSON

#60 Durbatuluk1701 closed 3 months ago
1
Json Interface Implementation

#59 Durbatuluk1701 closed 4 months ago
1
AM Library portability

#58 ampetz closed 3 months ago
1
Implement Copland Abstract Syntax Coq library/module

#57 ampetz opened 4 months ago
0
Update main.yml

#56 Durbatuluk1701 closed 4 months ago
0
Updating makefile to utilize custom coq via COQBIN env var

#55 Durbatuluk1701 closed 5 months ago
0
P&O MAESTRO Key Management

#54 palexand opened 5 months ago
1
MAESTRO IMA policy design

#53 palexand opened 5 months ago
0
Design Manifest and AM Library support for external ASP config

#52 ampetz closed 4 months ago
0
test task

#51 ampetz closed 4 months ago
0
Adding a github action for testing and ensuring the coq spec builds

#50 Durbatuluk1701 closed 5 months ago
0
build action testing

#49 Durbatuluk1701 closed 5 months ago
1
Merging Misc Cleanup (Includes union proofs)

#48 Durbatuluk1701 closed 5 months ago
0
Add some set add/union proofs

#47 LoganSchmalz closed 11 months ago
1
experiment to instantiate manifest_set type with list for extraction

#46 ampetz closed 1 year ago
0
Fill out preliminary manifest sets implementation

#45 LoganSchmalz closed 1 year ago
0
Update README build/test instructions

#44 ampetz closed 2 months ago
2
Update appraise_tpm_sig stub to use pubkey callback

#43 ampetz closed 3 months ago
1
design "set" interface for manifest field updates: axiomatic set properties (union, nondup) + update proofs

#42 ampetz closed 10 months ago
1
bring disclosure policy (and policy checking) back as a first class part of the CVM

#41 ampetz opened 1 year ago
0
refactor interaction/interface between manifest generator and am builder

#40 ampetz closed 3 months ago
1
Convert lib_supports_manifest_bool function to more descriptive error return

#39 ampetz closed 1 year ago
0
Change list fields of Manifest to set representation

#38 ampetz closed 10 months ago
0
Generalize manifest generator implementation to support 1) BOTH CVM execution and appraisal, 2) Multiple CVM executions/appraisals

#37 ampetz closed 3 months ago
0
Appraisal Executability

#36 Durbatuluk1701 closed 8 months ago
0
CVM Executability Proofs

#35 Durbatuluk1701 closed 1 year ago
0
Add more detail to Runtime error datatypes

#34 ampetz closed 1 year ago
0