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: 1522

150 Team Members
Filters -> Year: 2025
1
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
INDEXED IN: DBLP
2
TITLE: A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.07080
INDEXED IN: DBLP
3
TITLE: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
INDEXED IN: DBLP
4
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Advancing Sustainability in Data Centers: Evaluation of Hybrid Air/Liquid Cooling Schemes for IT Payload Using Sea Water  Full Text
AUTHORS: Latif, Imran; Ashraf, Muhammad Mubashar; Haider, Umaima; Reeves, Gemma; Untaroiu, Alexandrina; Coelho, Fabio ; Browne, Denis;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 13, ISSUE: 1, PAGES: 184-197
INDEXED IN: Scopus WOS DBLP
6
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
7
TITLE: Approaches to Conflict-free Replicated Data Types  Full Text
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 51:1-51:36
INDEXED IN: Scopus WOS DBLP CrossRef: 4
8
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
INDEXED IN: DBLP
9
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
INDEXED IN: Scopus WOS DBLP CrossRef: 2
10
TITLE: Contract Usage and Evolution in Android Mobile Applications
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
INDEXED IN: DBLP
11
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.17826
INDEXED IN: DBLP
12
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025 in Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025- 3 April 2025, PAGES: 45-55
INDEXED IN: Scopus DBLP CrossRef
13
TITLE: CRDV: Conflict-free Replicated Data Views
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2025, SOURCE: Proc. ACM Manag. Data, VOLUME: 3, ISSUE: 1, PAGES: 25:1-25:27
INDEXED IN: DBLP CrossRef
14
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Daniel Tinoco; Raquel Menezes; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.15287
INDEXED IN: DBLP
15
TITLE: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
INDEXED IN: Scopus WOS DBLP CrossRef: 11
16
TITLE: Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation
AUTHORS: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 68290-68310
INDEXED IN: Scopus DBLP CrossRef
17
TITLE: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests
AUTHORS: Claudia V Brito ; Pedro G Ferreira; Joao T Paulo;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
INDEXED IN: Scopus CrossRef
18
TITLE: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
19
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
20
TITLE: How much is in a square? Calculating functional programs with squares
AUTHORS: Oliveira, Jose nuno ;
PUBLISHED: 2025, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 35
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 1 of 77. Total results: 1522.