Paul Zinselmeyer
ba8e969470
All checks were successful
Latex Build / build-latex (Assignment 4 - Protokollsicherheit (Praxis)) (push) Successful in 1m2s
Latex Build / build-latex (Assignment 5 - Software Security - Teil 1) (push) Successful in 1m3s
Latex Build / build-latex (Assignment 6 - Software Security - Teil 2) (push) Successful in 1m0s
Latex Build / build-latex (Assignment 4 - Protokollsicherheit (Praxis)) (pull_request) Successful in 30s
Latex Build / build-latex (Assignment 5 - Software Security - Teil 1) (pull_request) Successful in 10s
Latex Build / build-latex (Assignment 6 - Software Security - Teil 2) (pull_request) Successful in 8s
13 lines
272 B
Text
Executable file
13 lines
272 B
Text
Executable file
enclave {
|
|
from "Sealing/Sealing.edl" import *;
|
|
|
|
trusted {
|
|
/* define ECALLs here. */
|
|
public int generate_random_number(void);
|
|
};
|
|
|
|
untrusted {
|
|
/* define OCALLs here. */
|
|
void ocall_print([in, string]const char* str);
|
|
};
|
|
};
|