Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
21
TÃTULO: Securing Electronic Health Records in the Cloud
AUTORES: David R Matos; Miguel L Pardal; Pedro Adão; António Rito Silva; Miguel P Correia ;
PUBLICAÇÃO: 2018, FONTE: 2018 Workshop on Privacy by Design in Distributed Systems, P2DS 2018 in Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018
AUTORES: David R Matos; Miguel L Pardal; Pedro Adão; António Rito Silva; Miguel P Correia ;
PUBLICAÇÃO: 2018, FONTE: 2018 Workshop on Privacy by Design in Distributed Systems, P2DS 2018 in Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018
23
TÃTULO: Mignis: A semantic based tool for firewall configuration
AUTORES: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
AUTORES: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXADO EM: 
WOS
WOS24
TÃTULO: AnonyFacebook - Liking Facebook Posts Anonymously
AUTORES: Pedro Alves; Paulo Ferreira ;
PUBLICAÇÃO: 2013, FONTE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186
AUTORES: Pedro Alves; Paulo Ferreira ;
PUBLICAÇÃO: 2013, FONTE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186
25
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
Scopus26
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
27
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