SpaceTEE: Secure and Tamper-Proof Computing in Space using CubeSats.

Yan Michalevsky Yonatan Winetraub

Published in: CoRR (2017)

Keyphrases

security level
search space
data sets
low dimensional
theorem proving
security properties
security issues