Provably secure memory isolation for Linux on ARM.

Roberto Guanciale Hamed Nemati Mads Dam Christoph Baumann

Published in: J. Comput. Secur. (2016)

Keyphrases

provably secure
standard model
operating system
key management
blind signature
security model
public key
signature scheme
hash functions
bilinear pairings
partially blind signature scheme
computer systems
diffie hellman
blind signature scheme