issues
search
ku-sldg
/
attestation-testbed
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement prototype ASP server executable (respecting new ASP JSON interface)
#45
ampetz
opened
3 weeks ago
0
MAESTRO IMA policy protection
#44
palexand
opened
3 weeks ago
0
Verify PK utilization ONLY after acquisition
#43
Durbatuluk1701
opened
4 weeks ago
0
Invary LKIM Tool install on Testbed
#42
Durbatuluk1701
opened
4 weeks ago
0
Define attestation provisioning interface
#41
Durbatuluk1701
opened
1 month ago
0
Testbed Networking Modifications
#40
Durbatuluk1701
opened
1 month ago
0
External Sponsor Testbed Accounts
#39
Durbatuluk1701
opened
1 month ago
0
Decide on contiuation of previous testbed milestones
#38
Durbatuluk1701
closed
1 month ago
0
Define MITRE/KU Demo
#37
palexand
closed
2 weeks ago
0
Create Testbed Repository
#36
Durbatuluk1701
closed
1 month ago
0
Define testbed tasks
#35
palexand
closed
2 weeks ago
0
Update CakeML AM with latest CVM and appraisal functionality from Coq.
#33
ampetz
opened
2 years ago
0
Update CakeML AM Copland-related datatypes
#32
ampetz
opened
2 years ago
0
Implement SIG servers in cakeml AM
#31
ampetz
opened
2 years ago
0
Implement ASP servers in cakeml AM.
#30
ampetz
opened
2 years ago
0
Access control
#29
palexand
closed
1 month ago
0
CA functions
#28
palexand
closed
1 month ago
0
Identities
#27
palexand
opened
2 years ago
0
Public keys
#26
palexand
opened
2 years ago
0
Attestation results
#25
palexand
closed
1 month ago
0
Health record extensions
#24
palexand
closed
1 month ago
0
Partially instantiate INI files and use negotiation to complete
#23
palexand
closed
1 month ago
1
Derive/link INI files to system manifest
#22
palexand
closed
1 month ago
2
Instantiate a mixed system from INI/Manifest files
#21
palexand
closed
1 month ago
1
Instantiate Haskell Ams from INI/Manifest files
#20
palexand
opened
2 years ago
1
Instantiate TCP/IP communication from INI/Manifest file
#19
palexand
closed
1 month ago
1
Instantiate CakeML Ams from INI/Manifest files
#18
palexand
closed
1 month ago
1
Manually configure INIs for all nodes for each pattern
#17
palexand
closed
1 month ago
1
Design global INI/Manifest file
#16
palexand
closed
1 month ago
1
Formally define returned evidence
#15
palexand
opened
2 years ago
0
Formally define TSS interface
#14
palexand
opened
2 years ago
0
Initial Manifest Definition
#13
palexand
closed
1 month ago
1
Formally define attestation request
#12
palexand
opened
2 years ago
0
Public keys for all participants
#11
palexand
closed
1 month ago
1
Golden values for appraisal
#10
palexand
closed
1 month ago
1
Decide on JSON interface for ASPs
#9
palexand
opened
2 years ago
1
Decide on JSON interface for AMs
#8
palexand
opened
2 years ago
0
Crypto implementations as ASPs
#7
palexand
closed
1 month ago
1
Addresses for each ASP
#6
palexand
closed
1 month ago
1
Decide on local .INI format/fields
#5
palexand
closed
1 month ago
1
Addresses for each AM node
#4
palexand
closed
1 month ago
1
Non-TPM Keys
#3
palexand
opened
2 years ago
0
TPM Keys
#2
palexand
opened
2 years ago
0
Key Establishment
#1
palexand
opened
2 years ago
1