Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Manuel Bernardo Martins Barbosa
AuthID:
R-000-A22
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (59)
Article (35)
Unpublished (15)
Article in Press (7)
Year Start - End:
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 116
31
TÃTULO:
SoK: Computer-Aided Cryptography
AUTORES:
Manuel Barbosa
;
Gilles Barthe
; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO:
2021
,
FONTE:
42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
32
TÃTULO:
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES:
José Bacelar Almeida
;
Manuel Barbosa
;
Gilles Barthe
; Vincent Laporte;
Tiago Oliveira
;
PUBLICAÇÃO:
2020
,
FONTE:
21st International Conference on Cryptology in India, INDOCRYPT 2020
in
Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings,
VOLUME:
12578
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
33
TÃTULO:
Decentralized Privacy-Preserving Proximity Tracing
PDF
AUTORES:
Carmela Troncoso; Mathias Payer;
Jean Pierre Hubaux
; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks;
Theresa Stadler
;
Apostolos Pyrgelis
; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson;
Srdjan Capkun
; David A Basin; Jan Beutel; Dennis Jackson;
Marc Roeschlin
; Patrick Leu;
Bart Preneel
;
Nigel P Smart;
Aysajan Abidin;
Seda F Gürses
;
Michael Veale;
Cas Cremers;
Michael Backes;
Nils Ole Tippenhauer;
Reuben Binns;
Ciro Cattuto;
Alain Barrat;
Dario Fiore
;
Manuel Barbosa
;
Rui Oliveira
;
José Pereira
;
...Mais
PUBLICAÇÃO:
2020
,
FONTE:
IEEE Data Eng. Bull.,
VOLUME:
43,
NÚMERO:
2
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
34
TÃTULO:
Provable Security Analysis of FIDO2
AUTORES:
Shan Chen;
Manuel Barbosa
; Alexandra Boldyreva; Bogdan Warinschi;
PUBLICAÇÃO:
2020
,
FONTE:
IACR Cryptol. ePrint Arch.,
VOLUME:
2020
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
35
TÃTULO:
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES:
Almeida, JB
;
Barbosa, M
;
Barthe, G
; Gregoire, B; Koutsos, A; Laporte, V;
Oliveira, T
; Strub, PY;
PUBLICAÇÃO:
2020
,
FONTE:
41st IEEE Symposium on Security and Privacy (SP)
in
2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020),
VOLUME:
2020-May
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
22
NO MEU:
ORCID
|
DBLP
36
TÃTULO:
Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES:
Michel Abdalla;
Manuel Barbosa
; Tatiana Bradley;
Stanislaw Jarecki
;
Jonathan Katz
; Jiayu Y Xu;
PUBLICAÇÃO:
2020
,
FONTE:
40th Annual International Cryptology Conference (CRYPTO)
in
ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I,
VOLUME:
12170
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
17
NO MEU:
ORCID
|
DBLP
37
TÃTULO:
Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES:
Michel Abdalla;
Manuel Barbosa
; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLICAÇÃO:
2020
,
FONTE:
IACR Cryptol. ePrint Arch.,
VOLUME:
2020
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
38
TÃTULO:
A Machine-Checked Proof of Security for AWS Key Management Service
Full Text
AUTORES:
Almeida, JB
;
Barbosa, M
;
Barthe, G
; Campagna, M; Cohen, E; Gregoire, B;
Pereira, V
;
Portela, B
; Strub, PY; Tasiran, S;
PUBLICAÇÃO:
2019
,
FONTE:
ACM SIGSAC Conference on Computer and Communications Security (CCS)
in
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
14
NO MEU:
ORCID
|
DBLP
39
TÃTULO:
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTORES:
Manuel Barbosa
; Dario Catalano;
Azam Soleimanian
;
Bogdan Warinschi
;
PUBLICAÇÃO:
2019
,
FONTE:
Cryptographers Track at the RSA Conference 2019, CT-RSA 2019
in
Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings,
VOLUME:
11405
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
NO MEU:
ORCID
|
DBLP
40
TÃTULO:
Machine-Checked Proofs for Cryptographic Standards
AUTORES:
José Bacelar Almeida
; Cecile Baritel Ruet;
Manuel Barbosa
;
Gilles Barthe
; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLICAÇÃO:
2019
,
FONTE:
IACR Cryptol. ePrint Arch.,
VOLUME:
2019
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 4 de 12. Total de resultados: 116.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service