Pedro Miguel dos Santos Alves Madeira Adão


AuthID: R-000-EYR

Publicações Confirmadas: 17



1
TÍTULO: Localizing Firewall Security Policies  Full Text
AUTORES: Adao, P ; Focardi, R; Guttman, JD; Luccio, FL;
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: 9
NO MEU: ORCID
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 DBLP CrossRef
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: Carvalho, AM ; Adao, P ; Mateus, P;
PUBLICAÇÃO: 2014, FONTE: PATTERN RECOGNITION, VOLUME: 47, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
5
TÍTULO: Mignis: A semantic based tool for firewall configuration  Full Text
AUTORES: Adao, P ; Bozzato, C; Rossi, GD; Focardi, R; Luccio, FL;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), VOLUME: 2014-January
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID
6
TÍTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete  Full Text
AUTORES: Adao, P ; Mateus, P ; Viganò, L;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 538, NÚMERO: C
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
7
8
TÍTULO: Type-Based Analysis of Generic Key Management APIs  Full Text
AUTORES: Adao, P ; Focardi, R; Luccio, FL;
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: 4
NO MEU: ORCID
9
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 Cryptol. ePrint Arch., VOLUME: 2013
INDEXADO EM: DBLP
10
TÍTULO: Computationally Complete Symbolic Attacker in Action
AUTORES: Gergei Bana; Pedro Adão ; Hideki Sakurada;
PUBLICAÇÃO: 2012, FONTE: FSTTCS, VOLUME: 18
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 1 de 2. Total de resultados: 17.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service