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