Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
21
TÃTULO: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
22
TÃTULO: Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
23
TÃTULO: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
24
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
DBLP25
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 WOS26
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)
28
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
WOS29
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
30
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
Scopus