Tiago Oliveira
Tiago Oliveira
HASLab, INESC TEC, FCUP
Bestätigte E-Mail-Adresse bei inesctec.pt
Titel
Zitiert von
Zitiert von
Jahr
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
802017
A practical framework for privacy-preserving nosql databases
R Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017
212017
The last mile: High-assurance and high-speed cryptographic implementations
JB Almeida, M Barbosa, G Barthe, B Grégoire, A Koutsos, V Laporte, ...
2020 IEEE Symposium on Security and Privacy (SP), 965-982, 2020
202020
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
JB Almeida, C Baritel-Ruet, M Barbosa, G Barthe, F Dupressoir, ...
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
142019
Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitão
2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019
72019
Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
B Ferreira, B Portela, T Oliveira, G Borges, HJ Domingos, J Leitao
IEEE Transactions on Dependable and Secure Computing, 2020
12020
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
JB Almeida, M Barbosa, G Barthe, V Laporte, T Oliveira
International Conference on Cryptology in India, 107-127, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7