Surnaming Schemes, Fast Verification, and Applications to SGX Technology.

Dan Boneh Shay Gueron

Published in: CT-RSA (2017)

Keyphrases

model checking
cost effective
rapid development
technological advances
genetic algorithm
computer systems
machine learning
learning algorithm
social networks
knowledge base
learning environment
personal computer
key technologies