High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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
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!
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!
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!
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: 1498
150 Team MembersFilters -> Year: 2025
101
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS, PAGES: 77-97
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS, PAGES: 77-97
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef102
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
103
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
104
TITLE: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
105
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
106
TITLE: Flexcomm Simulator: Exploring Energy Flexibility in Software Defined Networks with ns-3
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
107
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
108
TITLE: General-Purpose Secure Conflict-free Replicated Data Types
AUTHORS: Portela, Bernardo ; Pacheco, Hugo ; Jorge, Pedro; Pontes, Rogerio ;
PUBLISHED: 2023, SOURCE: IEEE 36th Computer Security Foundations Symposium (CSF) in 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, VOLUME: 2023-July, PAGES: 521-536
AUTHORS: Portela, Bernardo ; Pacheco, Hugo ; Jorge, Pedro; Pontes, Rogerio ;
PUBLISHED: 2023, SOURCE: IEEE 36th Computer Security Foundations Symposium (CSF) in 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, VOLUME: 2023-July, PAGES: 521-536
109
TITLE: Generative Adversarial Networks in Healthcare: A Case Study on MRI Image Generation
AUTHORS: Cepa, Beatriz ; Brito, Claudia ; Sousa, Antonio ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 48-51
AUTHORS: Cepa, Beatriz ; Brito, Claudia ; Sousa, Antonio ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 48-51
110
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, PAGES: 111-124
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, PAGES: 111-124
111
TITLE: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Campos, Jose Creissac ; Nigay, Laurence; Dix, Alan; Dittmar, Anke; Barbosa, Simone D. J.; Spano, Lucio Davide;
PUBLISHED: 2023, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT IV, VOLUME: 14145, PAGES: 632-637
AUTHORS: Campos, Jose Creissac ; Nigay, Laurence; Dix, Alan; Dittmar, Anke; Barbosa, Simone D. J.; Spano, Lucio Davide;
PUBLISHED: 2023, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT IV, VOLUME: 14145, PAGES: 632-637
112
TITLE: HEP-Frame: an efficient tool for big data applications at the LHC
AUTHORS: Pereira, Andre ; Onofre, Antonio; Proenca, Alberto ;
PUBLISHED: 2023, SOURCE: EUROPEAN PHYSICAL JOURNAL PLUS, VOLUME: 138, ISSUE: 3
AUTHORS: Pereira, Andre ; Onofre, Antonio; Proenca, Alberto ;
PUBLISHED: 2023, SOURCE: EUROPEAN PHYSICAL JOURNAL PLUS, VOLUME: 138, ISSUE: 3
113
TITLE: Impact of remote work on Portuguese software professionals during the COVID-19 pandemic
AUTHORS: Ana J Almeida; Jácome Cunha ; João M Fernandes;
PUBLISHED: 2023, SOURCE: 26th Ibero-American Conference on Software Engineering, CIbSE 2023 in 26th Iberoamerican Conference on Software Engineering, CIbSE 2023, Montevideo, Uruguay, April 24-28, 2023., PAGES: 191-205
AUTHORS: Ana J Almeida; Jácome Cunha ; João M Fernandes;
PUBLISHED: 2023, SOURCE: 26th Ibero-American Conference on Software Engineering, CIbSE 2023 in 26th Iberoamerican Conference on Software Engineering, CIbSE 2023, Montevideo, Uruguay, April 24-28, 2023., PAGES: 191-205
INDEXED IN: Scopus 
DBLP
Scopus DBLP114
TITLE: Kyber terminates
AUTHORS: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 708
AUTHORS: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 708
INDEXED IN: DBLP
DBLP115
TITLE: Leakage-Free Probabilistic Jasmin Programs
AUTHORS: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 1514
AUTHORS: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 1514
INDEXED IN: DBLP
DBLP116
TITLE: LOOM: A Closed-Box Disaggregated Database System
AUTHORS: Coelho, Fabio ; Alonso, Ana Nunes ; Ferreira, Luis ; Pereira, Jose ; Oliveira, Rui ;
PUBLISHED: 2023, SOURCE: 12th Latin-American Symposium on Dependable and Secure Computing (LADC) in PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023, PAGES: 30-39
AUTHORS: Coelho, Fabio ; Alonso, Ana Nunes ; Ferreira, Luis ; Pereira, Jose ; Oliveira, Rui ;
PUBLISHED: 2023, SOURCE: 12th Latin-American Symposium on Dependable and Secure Computing (LADC) in PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023, PAGES: 30-39
117
TITLE: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP118
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
119
TITLE: MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2023, SOURCE: Proc. ACM Manag. Data, VOLUME: 1, ISSUE: 1, PAGES: 43:1-43:27
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2023, SOURCE: Proc. ACM Manag. Data, VOLUME: 1, ISSUE: 1, PAGES: 43:1-43:27
120
TITLE: On difunctions
AUTHORS: Backhouse, Roland; Oliveira, Jose Nuno ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 134, PAGES: 100878
AUTHORS: Backhouse, Roland; Oliveira, Jose Nuno ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 134, PAGES: 100878
