Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Pedro Miguel dos Santos Alves Madeira Adão
AuthID:
R-000-EYR
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Article (9)
Proceedings Paper (5)
Unpublished (3)
Editorial Material (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
1997
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
1997
1996
1995
1994
1993
1992
1991
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: 18
1
TÃTULO:
Localizing Firewall Security Policies
Full Text
AUTORES:
Pedro Adao
; Riccardo Focardi; Joshua D Guttman;
Flaminia L Luccio
;
PUBLICAÇÃO:
2016
,
FONTE:
IEEE 29th Computer Security Foundations Symposium (CSF)
in
2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016),
VOLUME:
2016-August
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
2
TÃTULO:
Bit-string oblivious transfer based on quantum state computational distinguishability
AUTORES:
Souto, A
;
Mateus, P
;
Adao, P
;
Paunkovic, N
;
PUBLICAÇÃO:
2015
,
FONTE:
PHYSICAL REVIEW A,
VOLUME:
91,
NÚMERO:
4
INDEXADO EM:
Scopus
WOS
CrossRef
:
9
NO MEU:
ORCID
3
TÃTULO:
Reply to "Comment on 'Bit-string oblivious transfer based on quantum state computational distinguishability' "
AUTORES:
Souto, A
;
Mateus, P
;
Adao, P
;
Paunkovic, N
;
PUBLICAÇÃO:
2015
,
FONTE:
PHYSICAL REVIEW A,
VOLUME:
92,
NÚMERO:
4
INDEXADO EM:
Scopus
WOS
CrossRef
:
3
NO MEU:
ORCID
4
TÃTULO:
Hybrid learning of Bayesian multinets for binary classification
Full Text
AUTORES:
Alexandra M Carvalho
;
Pedro Adao
;
Paulo Mateus
;
PUBLICAÇÃO:
2014
,
FONTE:
PATTERN RECOGNITION,
VOLUME:
47,
NÚMERO:
10
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
ResearcherID
|
DBLP
5
TÃTULO:
Mignis: A Semantic Based Tool for Firewall Configuration
Full Text
AUTORES:
Pedro Adão
; Claudio Bozzato;
Dei D Rossi
; Riccardo Focardi;
Flaminia L Luccio
;
PUBLICAÇÃO:
2014
,
FONTE:
27th IEEE Computer Security Foundations Symposium, CSF 2014
in
IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014,
VOLUME:
2014-January
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
6
TÃTULO:
Oblivious transfer based on quantum state computational distinguishability
PDF
AUTORES:
André Souto;
Paulo Mateus
;
Pedro Adão
;
Nikola Paunkovic
;
PUBLICAÇÃO:
2014
,
FONTE:
CoRR,
VOLUME:
abs/1403.6022
INDEXADO EM:
DBLP
arXiv
NO MEU:
DBLP
7
TÃTULO:
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
Full Text
AUTORES:
Pedro Adao
;
Paulo Mateus
;
Luca Vigano
;
PUBLICAÇÃO:
2014
,
FONTE:
THEORETICAL COMPUTER SCIENCE,
VOLUME:
538,
NÚMERO:
C
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
8
TÃTULO:
Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers
Full Text
AUTORES:
Alexandra M Carvalho
;
Pedro Adao
;
Paulo Mateus
;
PUBLICAÇÃO:
2013
,
FONTE:
ENTROPY,
VOLUME:
15,
NÚMERO:
7
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
ResearcherID
|
DBLP
9
TÃTULO:
Type-Based Analysis of Generic Key Management APIs
Full Text
AUTORES:
Pedro Adao
; Riccardo Focardi;
Flaminia L Luccio
;
PUBLICAÇÃO:
2013
,
FONTE:
IEEE 26th Computer Security Foundations Symposium
in
2013 IEEE 26TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
ResearcherID
|
DBLP
10
TÃTULO:
Type-Based Analysis of Generic Key Management APIs (Long Version)
AUTORES:
Pedro Adão
; Riccardo Focardi;
Flaminia L Luccio
;
PUBLICAÇÃO:
2013
,
FONTE:
IACR Cryptology ePrint Archive,
VOLUME:
2013
INDEXADO EM:
DBLP
NO MEU:
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 1 de 2. Total de resultados: 18.
<<
<
1
2
>
>>
×
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