High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 1572

149 Team Members
Filters -> Year: 2025
101
TITLE: Expert Systems in Information Security: A Comprehensive Exploration of Awareness Strategies Against Social Engineering Attacks
AUTHORS: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 34-43
INDEXED IN: Scopus WOS
102
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
INDEXED IN: Scopus WOS DBLP CrossRef
103
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN: CrossRef Unpaywall
104
TITLE: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
INDEXED IN: Scopus WOS DBLP CrossRef
105
TITLE: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXED IN: DBLP CrossRef: 4
106
TITLE: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus WOS DBLP CrossRef: 3
107
TITLE: GDBN, a Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTHORS: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
108
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
INDEXED IN: WOS DBLP
109
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PAGES: 400-401
INDEXED IN: Scopus WOS DBLP CrossRef
110
TITLE: Impact of Traffic Sampling on LRD Estimation
AUTHORS: Mendes, Joao; Lima, Solange Rito; Carvalho, Paulo ; Silva, Joao Marco C. ;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023, VOLUME: 799, PAGES: 26-36
INDEXED IN: Scopus WOS CrossRef
111
TITLE: Large Language Models in Automated Repair of Haskell Type Errors
AUTHORS: Santos, Sofia; Saraiva, Joao ; Ribeiro, Francisco;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, PAGES: 42-45
INDEXED IN: Scopus WOS DBLP CrossRef: 1
112
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
INDEXED IN: Scopus WOS DBLP CrossRef: 4
114
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN: CrossRef
115
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN: CrossRef
116
TITLE: On Quantum Natural Policy Gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5, PAGES: 1-11
INDEXED IN: WOS DBLP CrossRef: 1
117
TITLE: On the Impact of PowerCap in Haskell, Java, and Python PDF
AUTHORS: Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha; Luís Silva; Paulo Azevedo; João Saraiva ;
PUBLISHED: 2024, SOURCE: 3rd International Workshop on Resource AWareness of Systems and Society, RAW 2024 in Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024., VOLUME: 3867, PAGES: 34-43
INDEXED IN: Scopus DBLP
118
TITLE: On the Relational Basis of Early R/G Work
AUTHORS: José Oliveira ;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781, PAGES: 56-76
INDEXED IN: Scopus CrossRef
119
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
INDEXED IN: Scopus WOS DBLP CrossRef: 1
120
TITLE: Performance and explainability of feature selection-boosted tree-based classifiers for COVID-19 detection
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2024, SOURCE: HELIYON, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 6 of 79. Total results: 1572.