Verifiable Delegation of Computations with Storage-Verification Trade-off.
Liang Feng ZhangReihaneh Safavi-NainiPublished in: ESORICS (1) (2014)
Keyphrases
- trade off
- model checking
- conflict resolution
- storage requirements
- sufficient conditions
- data storage
- efficient storage
- signature verification
- storage and retrieval
- asynchronous circuits
- person identification
- formal verification
- face verification
- security policies
- storage space
- file system
- adjustable autonomy
- databases
- false acceptance rate
- bias variance
- verification method
- functional verification
- storage management
- role based access control
- formal analysis
- access control
- information systems
- learning algorithm