autores Almeida, JoseCarlosBacelar Almeida, JB Pacheco, Hugo José Pereira Barbosa, M Vítor Manuel Sá Pereira Barthe, G Bernardo L. Portela Almeida, José Bacelar Pacheco, H Barbosa, Manuel Gonçalves Pereira, V Gilles Barthe 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