Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.

Nicholas Mosier Hamed Nemati John C. Mitchell Caroline Trippel

Published in: CoRR (2023)

Keyphrases

source code
smart card
integrity constraints
real time
neural network
artificial intelligence
java programs
database
search engine
website
decision trees
database systems
access control
hash functions
encryption scheme
binary codes