Browsing by Author 5604

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 12 of 12
Issue DateTitleAuthor(s)
2020Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time VerificationBarthe,G; Tiago Filipe Oliveira; Laporte,V; José Bacelar Almeida; Manuel Barbosa; 5598; 5604; 6207
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsManuel Barbosa; José Bacelar Almeida; Barthe,G; Dupressoir,F; 5604; 5598
2020Decentralized Privacy-Preserving Proximity TracingBinns,R; Barrat,A; Fiore,D; Manuel Barbosa; Rui Carlos Oliveira; José Orlando Pereira; Basin,DA; Beutel,J; Jackson,D; Roeschlin,M; Leu,P; Preneel,B; Smart,NP; Abidin,A; Gürses,SF; Veale,M; Cremers,C; Backes,M; Tippenhauer,NO; Cattuto,C; Troncoso,C; Payer,M; Hubaux,JP; Salathé,M; Larus,JR; Bugnion,E; Lueks,W; Stadler,T; Pyrgelis,A; Antonioli,D; Barman,L; Chatel,S; Paterson,KG; Capkun,S; 5602; 5604; 5594
2019Efficient Function-Hiding Functional Encryption: From Inner-Products to OrthogonalityManuel Barbosa; Catalano,D; Soleimanian,A; Warinschi,B; 5604
2018Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksHugo Pereira Pacheco; Bernardo Luís Portela; Vítor Parreira Pereira; José Bacelar Almeida; Manuel Barbosa; Barthe,G; 5647; 5604; 5598; 6374; 6060
2017Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced DataManuel Barbosa; Fiore,D; Catalano,D; 5604
2020The Last Mile: High-Assurance and High-Speed Cryptographic ImplementationsBarthe,G; Manuel Barbosa; José Bacelar Almeida; Strub,PY; Tiago Filipe Oliveira; Laporte,V; Koutsos,A; Grégoire,B; 5604; 5598; 6207
2019A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida; Tasiran,S; Strub,PY; Portela,B; Pereira,V; Gregoire,B; Cohen,E; Campagna,M; Barthe,G; Manuel Barbosa; 5604; 5598
2019Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3José Bacelar Almeida; Strub,PY; Stoughton,A; Tiago Filipe Oliveira; Laporte,V; Gregoire,B; Dupressoir,F; Barthe,G; Manuel Barbosa; Baritel Ruet,C; 6207; 5598; 5604
2021Secure Conflict-free Replicated Data TypesFerreira,B; Preguiça,NM; Manuel Barbosa; Portela,B; Marques,JC; 5604
2017Secure Multiparty Computation from SGXManuel Barbosa; Sadeghi,A; Bernardo Luís Portela; Brasser,F; Bahmani,R; Warinschi,B; Scerri,G; 6060; 5604
2020Universally Composable Relaxed Password Authenticated Key ExchangeManuel Barbosa; Xu,JY; Katz,J; Jarecki,S; Bradley,T; Abdalla,M; 5604