A formal treatment of the role of verified compilers in secure computation Artigo Académico uri icon

resumo

  • First online 19 November 2021

autores

  • Almeida, JoseCarlosBacelar
  • Almeida, José Bacelar
  • Bacelar Almeida, JC
  • Barbosa, M
  • Barthe, G
  • Pacheco, H
  • Pereira, V
  • Bernardo L. Portela

data de publicação

  • janeiro 1, 2022