Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
31
TÃTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
INDEXADO EM: 
Scopus
Scopus32
TÃTULO: Soundness of Formal Encryption in the Presence of Key-Cycles
AUTORES: Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov;
PUBLICAÇÃO: 2005, FONTE: Lecture Notes in Computer Science - Computer Security – ESORICS 2005
AUTORES: Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov;
PUBLICAÇÃO: 2005, FONTE: Lecture Notes in Computer Science - Computer Security – ESORICS 2005
33
TÃTULO: ACARI COLONIZATION OF QUERCUS-SUBER AND EUCALYPTUS-GLOBULUS LITTER
AUTORES: SERRALHEIRO, F; MADEIRA, M;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONGRESS OF ACAROLOGY in MODERN ACAROLOGY, VOLS 1 AND 2
AUTORES: SERRALHEIRO, F; MADEIRA, M;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONGRESS OF ACAROLOGY in MODERN ACAROLOGY, VOLS 1 AND 2
INDEXADO EM: 
WOS
WOS