Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
1
TITLE: Web Platform Threats: Automated Detection of Web Security Issues With WPT
AUTHORS: Pedro Bernardo; Lorenzo Veronese; Valentino Dalla Valle; Stefano Calzavara; Marco Squarcina; Pedro Adão; Matteo Maffei;
PUBLISHED: 2024, SOURCE: 33rd USENIX Security Symposium, USENIX Security 2024 in 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
AUTHORS: Pedro Bernardo; Lorenzo Veronese; Valentino Dalla Valle; Stefano Calzavara; Marco Squarcina; Pedro Adão; Matteo Maffei;
PUBLISHED: 2024, SOURCE: 33rd USENIX Security Symposium, USENIX Security 2024 in 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: Normativity: An Overview of the Field and the Contributions of This Book
AUTHORS: Pedro S Alves; Panos Theodorou; Anna Irene Baka;
PUBLISHED: 2024, SOURCE: Contributions To Phenomenology, VOLUME: 133
AUTHORS: Pedro S Alves; Panos Theodorou; Anna Irene Baka;
PUBLISHED: 2024, SOURCE: Contributions To Phenomenology, VOLUME: 133
INDEXED IN: Scopus
Scopus3
TITLE: ZEBRA: Explaining rare cases through outlying interpretable concepts
AUTHORS: Pedro Madeira; André V Carreiro; Alex Gaudio; Luís Rosado; Filipe Soares; Asim Smailagic;
PUBLISHED: 2023, SOURCE: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 - Workshops, Vancouver, BC, Canada, June 17-24, 2023
AUTHORS: Pedro Madeira; André V Carreiro; Alex Gaudio; Luís Rosado; Filipe Soares; Asim Smailagic;
PUBLISHED: 2023, SOURCE: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 - Workshops, Vancouver, BC, Canada, June 17-24, 2023
INDEXED IN: DBLP
DBLP4
TITLE: ZEBRA: Explaining rare cases through outlying interpretable concepts
AUTHORS: Pedro Madeira; André Carreiro; Alex Gaudio; Luís Rosado; Filipe Soares; Asim Smailagic;
PUBLISHED: 2023, SOURCE: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023 in IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, VOLUME: 2023-June
AUTHORS: Pedro Madeira; André Carreiro; Alex Gaudio; Luís Rosado; Filipe Soares; Asim Smailagic;
PUBLISHED: 2023, SOURCE: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023 in IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, VOLUME: 2023-June
INDEXED IN: Scopus
Scopus5
TITLE: Toward Tool-Independent Summaries for Symbolic Execution
AUTHORS: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
AUTHORS: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Cookie Crumbles: Breaking and Fixing Web Session Integrity
AUTHORS: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
AUTHORS: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Toward Tool-Independent Summaries for Symbolic Execution (Artifact)
AUTHORS: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 9, ISSUE: 2
AUTHORS: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 9, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: Cookie Crumbles: Breaking and Fixing Web Session Integrity
AUTHORS: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023 in 32nd USENIX Security Symposium, USENIX Security 2023, VOLUME: 8
AUTHORS: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium, USENIX Security 2023 in 32nd USENIX Security Symposium, USENIX Security 2023, VOLUME: 8
INDEXED IN: Scopus
Scopus9
TITLE: Cookie Crumbles: Breaking and Fixing Web Session Integrity
AUTHORS: Squarcina, Marco; Adao, Pedro; Veronese, Lorenzo; Maffei, Matteo;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium in PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM
AUTHORS: Squarcina, Marco; Adao, Pedro; Veronese, Lorenzo; Maffei, Matteo;
PUBLISHED: 2023, SOURCE: 32nd USENIX Security Symposium in PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM
INDEXED IN: 
WOS
WOS10
TITLE: Atrial Mechanics in Hypertrophic Cardiomyopathy: Discriminating between Ventricular Hypertrophy and Fibrosis Full Text
AUTHORS: Marques Alves, P; Ferreira, JA; Freitas, AA; Almeida, JP; Baptista, R; Castro, G; Martins, R; Donato, P; Ferreira, MJ; Goncalves, L;
PUBLISHED: 2022, SOURCE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 118, ISSUE: 1
AUTHORS: Marques Alves, P; Ferreira, JA; Freitas, AA; Almeida, JP; Baptista, R; Castro, G; Martins, R; Donato, P; Ferreira, MJ; Goncalves, L;
PUBLISHED: 2022, SOURCE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 118, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS