autores José Carlos Bacelar Almeida Almeida, JB Hugo Pacheco Barbosa, M Pereira, Vítor Barthe, G Bernardo L. Portela Almeida, José Bacelar Pacheco, H Barbosa, Manuel Gonçalves Pereira, V Barthe, Gilles Portela, B
palavras-chave Domain-specific-languages Multi-party-computation Privacy Secure-compilation Security Semantics Type-systems Verification
Digital Object Identifier (DOI) https://doi.org/10.1109/csf.2018.00017 https://doi.org/10.1109/csf.2018.00017