Sign in
A formal treatment of the role of verified compilers in secure computation.
José Carlos Bacelar Almeida
Manuel Barbosa
Gilles Barthe
Hugo Pacheco
Vitor Pereira
Bernardo Portela
Published in:
J. Log. Algebraic Methods Program. (2022)
Keyphrases
</>
formal treatment
programming language
computer architecture
real time
general purpose
hardware and software
multi party
standard model
authentication scheme
artificial intelligence
website
database systems
highly efficient
security issues
security requirements