Login / Signup
Enforcing Language Semantics Using Proof-Carrying Data.
Stephen Chong
Eran Tromer
Jeffrey A. Vaughan
Published in:
IACR Cryptol. ePrint Arch. (2013)
Keyphrases
</>
data sets
raw data
original data
data processing
prior knowledge
programming language
database
synthetic data
high quality
image data
knowledge discovery
data mining techniques
computer systems
high dimensional data
data analysis
data points
data sources
input data
xml documents
spatial data
data mining
data structure