High-Level Cryptographic Abstractions.

Christopher Kane Bo Lin Saksham Chand Scott D. Stoller Yanhong A. Liu

Published in: PLAS@CCS (2019)

Keyphrases

high level
low level
low level features
smart card
programming language
higher level
contextual information
high assurance
digital signature
mid level
object level
databases
conceptual model
semantic information
search engine
genetic algorithm
information retrieval
real world