Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
21
TITLE: Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
AUTHORS: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLISHED: 2020, SOURCE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, ISSUE: 1
AUTHORS: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLISHED: 2020, SOURCE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, ISSUE: 1
22
TITLE: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTHORS: Ribeiro, M; Adão, P; Mateus, P;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
AUTHORS: Ribeiro, M; Adão, P; Mateus, P;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
23
TITLE: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTHORS: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
AUTHORS: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP24
TITLE: Advanced MRI Patterns of Muscle Disease in Inherited and Acquired Myopathies: What the Radiologist Should Know
AUTHORS: Antonio Proenca Caetano; Pedro Alves;
PUBLISHED: 2019, SOURCE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, ISSUE: 3
AUTHORS: Antonio Proenca Caetano; Pedro Alves;
PUBLISHED: 2019, SOURCE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS25
TITLE: Securing Electronic Health Records in the Cloud
AUTHORS: David R Matos; Miguel L Pardal; Pedro Adão; António Rito Silva; Miguel P Correia ;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: David R Matos; Miguel L Pardal; Pedro Adão; António Rito Silva; Miguel P Correia ;
PUBLISHED: 2018, SOURCE: 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
27
TITLE: Mignis: A semantic based tool for firewall configuration
AUTHORS: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLISHED: 2014, SOURCE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
AUTHORS: Adao, P; Bozzato, C; Dei D Rossi; Focardi, R; Luccio, FL;
PUBLISHED: 2014, SOURCE: 27th IEEE Computer Security Foundations Symposium (CSF) in 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF)
INDEXED IN: WOS
WOS28
TITLE: AnonyFacebook - Liking Facebook Posts Anonymously
AUTHORS: Pedro Alves; Paulo Ferreira ;
PUBLISHED: 2013, SOURCE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186
AUTHORS: Pedro Alves; Paulo Ferreira ;
PUBLISHED: 2013, SOURCE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186
29
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
Scopus30
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
