VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation.
Shruti TopleSoyeon ParkMin Suk KangPrateek SaxenaPublished in: ACNS (2018)
Keyphrases
- hardware and software
- low cost
- computer systems
- resource allocation
- resource management
- hardware software
- sufficient conditions
- hardware software co design
- database systems
- design methodology
- machine learning
- image processing
- resource constraints
- remote monitoring
- computer professionals
- software and hardware implementations