Formalizing a Secure Foreign Function Interface.

Adriaan Larmuseau Dave Clarke

Published in: SEFM (2015)

Keyphrases

user interface
database
query language
piecewise linear
social networks
database systems
high speed
user friendly
key management