A formal treatment of the role of verified compilers in secure computation

DOI10.1016/J.JLAMP.2021.100736OpenAlexW3216203331WikidataQ123029526 ScholiaQ123029526MaRDI QIDQ2669248

José Bacelar Almeida, Bernardo Portela, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Manuel Barbosa

Publication date: 9 March 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100736

zbMATH Keywords

formal verificationsecure multiparty computationsecure compilationcertified compilationcomputer-aided cryptographyeasycrypt

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

A tribute to José Manuel Valença

Uses Software

• Sharemind
• EasyUC
• HyCC
• JIFF
• Wysteria

Cites Work

• Multiparty Computation from Somewhat Homomorphic Encryption
• How to share a secret
• Secure Multiparty Computation Goes Live
• Formal certification of a compiler back-end or
• Advances in Cryptology - CRYPTO 2003

This page was built for publication: A formal treatment of the role of verified compilers in secure computation