Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
21
TÃTULO: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTORES: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
AUTORES: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP22
TÃTULO: Advanced MRI Patterns of Muscle Disease in Inherited and Acquired Myopathies: What the Radiologist Should Know
AUTORES: Antonio Proenca Caetano; Pedro Alves;
PUBLICAÇÃO: 2019, FONTE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, NÚMERO: 3
AUTORES: Antonio Proenca Caetano; Pedro Alves;
PUBLICAÇÃO: 2019, FONTE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, NÚMERO: 3
INDEXADO EM: 
Scopus 
WOS
Scopus WOS23
TÃTULO: Securing Electronic Health Records in the Cloud
AUTORES: Matos, DR; Pardal, ML; Adao, P; Silva, AR; Correia, M ;
PUBLICAÇÃO: 2015, FONTE: 2018 Workshop on Privacy by Design in Distributed Systems, P2DS 2018 in PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
AUTORES: Matos, DR; Pardal, ML; Adao, P; Silva, AR; Correia, M ;
PUBLICAÇÃO: 2015, FONTE: 2018 Workshop on Privacy by Design in Distributed Systems, P2DS 2018 in PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
25
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
WOS26
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
27
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
Scopus28
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
29
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