Login / Signup
Jasmin: High-Assurance and High-Speed Cryptography.
José Bacelar Almeida
Manuel Barbosa
Gilles Barthe
Arthur Blot
Benjamin Grégoire
Vincent Laporte
Tiago Oliveira
Hugo Pacheco
Benedikt Schmidt
Pierre-Yves Strub
Published in:
CCS (2017)
Keyphrases
</>
high assurance
high speed
operating system
software systems
fault tolerant
access control
low power
distributed systems
cellular automata
information security
high speed networks
real time
computer systems
frame rate
data sets
similarity measure
three dimensional
machine learning
databases