Providing High-Performance Execution with a Sequential Contract for Cryptographic Programs.

Ali Hajiabadi Trevor E. Carlson

Published in: CoRR (2024)

Keyphrases

symbolic execution
program execution
smart card
cost effective
hash functions
control flow
application programs
automatic programming
database
source code
operating system
high efficiency
sequential data
transaction costs
scientific computing
execution model