BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking.
Hossam ElAtaliLachlan J. GunnHans LiljestrandN. AsokanPublished in: CoRR (2022)
Keyphrases
- real time
- low cost
- hardware and software
- object tracking
- motion model
- particle filter
- third party
- parallel computation
- web services
- video rate
- application level
- service providers
- hardware implementation
- windows xp
- control flow
- security mechanisms
- computing systems
- particle filtering
- embedded systems
- appearance model
- kalman filter
- image sequences