Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Type
Location
Contributor
Help
Language
português
English
Sign on to:
My DSpace
Receive email
updates
Edit Profile
INESCTEC
Browsing by Author Manuel Barbosa
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 22
next >
Issue Date
Title
Author(s)
2015
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
Backes,M
;
Manuel Barbosa
;
Fiore,D
;
Reischuk,RM
2014
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
José Bacelar Almeida
;
Manuel Barbosa
;
Filliatre,JC
;
Jorge Sousa Pinto
;
Vieira,B
2013
Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations
José Bacelar Almeida
;
Manuel Barbosa
;
Barthe,G
;
Dupressoir,F
2014
Compiling CAO: From cryptographic specifications to C implementations
Manuel Barbosa
;
Castro,D
;
Paulo Filipe Silva
2019
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
Manuel Barbosa
;
Catalano,D
;
Soleimanian,A
;
Warinschi,B
;
5604
2018
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Hugo Pereira Pacheco
;
Bernardo Luís Portela
;
Vítor Parreira Pereira
;
José Bacelar Almeida
;
Manuel Barbosa
;
Barthe,G
;
5647
;
5604
;
5598
;
6374
;
6060
2017
A Fast and Verified Software Stack for Secure Function Evaluation
José Bacelar Almeida
;
Manuel Barbosa
;
Barthe,G
;
Dupressoir,F
;
Grégoire,B
;
Laporte,V
;
Vítor Parreira Pereira
2013
Formal verification of side-channel countermeasures using self-composition
José Bacelar Almeida
;
Manuel Barbosa
;
Jorge Sousa Pinto
;
Vieira,B
2016
Foundations of Hardware-Based Attested Computation and Application to SGX
Manuel Barbosa
;
Bernardo Luís Portela
;
Scerri,G
;
Warinschi,B
2017
Jasmin: High-Assurance and High-Speed Cryptography
José Bacelar Almeida
;
Manuel Barbosa
;
Barthe,G
;
Blot,A
;
Grégoire,B
;
Laporte,V
;
Oliveira,T
;
Hugo Pereira Pacheco
;
Schmidt,B
;
Strub,PY
2017
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
Manuel Barbosa
;
Fiore,D
;
Catalano,D
;
5604
2019
A Machine-Checked Proof of Security for AWS Key Management Service
José Bacelar Almeida
;
Tasiran,S
;
Strub,PY
;
Portela,B
;
Pereira,V
;
Gregoire,B
;
Cohen,E
;
Campagna,M
;
Barthe,G
;
Manuel Barbosa
;
5604
;
5598
2019
Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3
José 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
2013
On the relationship between functional encryption, obfuscation, and fully homomorphic encryption
Alwen,J
;
Manuel Barbosa
;
Farshim,P
;
Gennaro,R
;
Gordon,SD
;
Tessaro,S
;
Wilson,DA
2013
On the semantic security of functional encryption schemes
Manuel Barbosa
;
Farshim,P
2017
Performance trade-offs on a secure multi-party relational database
Rogério António Pontes
;
Pinto,Mario
;
Manuel Barbosa
;
Vilaça,Ricardo
;
Matos,Miguel
;
Rui Carlos Oliveira
2016
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
Arriaga,A
;
Manuel Barbosa
;
Farshim,P
2014
The Related-Key Analysis of Feistel Constructions
Manuel Barbosa
;
Farshim,P
2017
Secure Multiparty Computation from SGX
Manuel Barbosa
;
Sadeghi,A
;
Bernardo Luís Portela
;
Brasser,F
;
Bahmani,R
;
Warinschi,B
;
Scerri,G
;
6060
;
5604
2016
A Tool-Chain for High-Assurance Cryptographic Software
José Bacelar Almeida
;
Manuel Barbosa
;
Hugo Pereira Pacheco
;
Pereira,V