Towards a formally verified hardware root-of-trust for data-oblivious computing.
Lucas DeutschmannJohannes MüllerMohammad Rahmani FadihehDominik StoffelWolfgang KunzPublished in: DAC (2022)
Keyphrases
- data sets
- data collection
- synthetic data
- database
- high quality
- original data
- data analysis
- data acquisition
- image data
- computer systems
- data processing
- real time
- data objects
- data distribution
- high dimensional data
- input data
- data sources
- statistical analysis
- low cost
- experimental data
- prior knowledge
- xml documents
- data structure
- databases
- survey data