Ibéria Vitória de Sousa Medeiros
AuthID: R-001-GXZ
1
TITLE: CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws
AUTHORS: Inacio, Joao; Medeiros, Iberia;
PUBLISHED: 2023, SOURCE: 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST
AUTHORS: Inacio, Joao; Medeiros, Iberia;
PUBLISHED: 2023, SOURCE: 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Towards PHP Vulnerability Detection at an Intermediate Language Level
AUTHORS: Paulo Antunes; Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2023 in 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
AUTHORS: Paulo Antunes; Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2023 in 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
INDEXED IN: Scopus 
DBLP
Scopus DBLP3
TITLE: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages Full Text
AUTHORS: Medeiros, I; Neves, N ; Correia, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 2
AUTHORS: Medeiros, I; Neves, N ; Correia, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 2
INDEXED IN: WOS DBLP
WOS DBLP4
TITLE: Generating Quality Threat Intelligence Leveraging OSINT and a Cyber Threat Unified Taxonomy
AUTHORS: Martins, C; Medeiros, I;
PUBLISHED: 2022, SOURCE: ACM Transactions on Privacy and Security, VOLUME: 25, ISSUE: 3
AUTHORS: Martins, C; Medeiros, I;
PUBLISHED: 2022, SOURCE: ACM Transactions on Privacy and Security, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus
Scopus5
TITLE: Effectiveness on C Flaws Checking and Removal
AUTHORS: Inacio, Joao; Medeiros, Iberia;
PUBLISHED: 2022, SOURCE: 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 52ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS SUPPLEMENTAL VOLUME (DSN-S 2022)
AUTHORS: Inacio, Joao; Medeiros, Iberia;
PUBLISHED: 2022, SOURCE: 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 52ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS SUPPLEMENTAL VOLUME (DSN-S 2022)
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Finding Web Application Vulnerabilities with an Ensemble Fuzzing
AUTHORS: Caseirito, J; Medeiros, I;
PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021)
AUTHORS: Caseirito, J; Medeiros, I;
PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021)
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Towards Web Application Security by Automated Code Correction
AUTHORS: Ricardo Morgado; Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2020, SOURCE: 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020 in Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020.
AUTHORS: Ricardo Morgado; Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2020, SOURCE: 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020 in Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020.
INDEXED IN: Scopus DBLP
Scopus DBLP8
TITLE: Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications
AUTHORS: Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2020, SOURCE: 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume
AUTHORS: Ibéria Medeiros; Nuno Neves ;
PUBLISHED: 2020, SOURCE: 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume
INDEXED IN: DBLP
DBLP9
TITLE: Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants
AUTHORS: Fidalgo, A; Medeiros, I; Antunes, P; Neves, N ;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
AUTHORS: Fidalgo, A; Medeiros, I; Antunes, P; Neves, N ;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Generating Tests for the Discovery of Security Flaws in Product Variants
AUTHORS: Araujo, F; Medeiros, I; Neves, N ;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
AUTHORS: Araujo, F; Medeiros, I; Neves, N ;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
INDEXED IN: Scopus WOS
Scopus WOS