TICAL: Trusted and Integrity-protected Compilation of AppLications.
Robert KrahnNikson Kanti PaulFranz GregorDo Le QuocAndrey BritoAndré MartinChristof FetzerPublished in: EDCC (2024)
Keyphrases
- trusted computing
- data protection
- remote attestation
- cloud computing
- trusted platform module
- computing environments
- virtual organization
- computing platform
- computer security
- security protocols
- knowledge compilation
- network connection
- distributed environment
- outsourced databases
- integrity checking
- data integrity
- virtual machine
- real time
- sensitive information
- data security
- integrity constraints
- prime implicates
- operating system
- computer systems
- data sets
- model counting
- database