2
TITLE: Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PUBLISHED: 2018
INDEXED IN: DBLP
3
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Vitor Pereira ;
SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
5
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PUBLISHED: 2017
INDEXED IN: DBLP