High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
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.
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 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: 1539
150 Team MembersFilters -> Year: 2024
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: André Nobre Barrocas; Alberto Rodrigues da Silva; João Saraiva ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology, QUATIC 2023 in Quality of Information and Communications Technology - 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings, VOLUME: 1871, PAGES: 147-162
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
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: 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 Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
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: 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: 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: José Creissac Campos ; Laurence Nigay; Alan J Dix; Anke Dittmar; Simone D J Barbosa; Lucio Davide Spano;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV, VOLUME: 14145, PAGES: 632-637
AUTHORS: Pereira, Andre ; Onofre, Antonio; Proenca, Alberto ;
PUBLISHED: 2023, SOURCE: EUROPEAN PHYSICAL JOURNAL PLUS, VOLUME: 138, ISSUE: 3
AUTHORS: Jaime Santos; Daniel Figueiredo; Alexandre Madeira ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931, PAGES: 240-247
AUTHORS: Jaime Santos; Daniel Figueiredo; Alexandre Madeira ;
PUBLISHED: 2023, SOURCE: Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science, PAGES: 240-247
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: Manuel Barbosa ; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 708
AUTHORS: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 1514
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: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085, PAGES: 421-454
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: Nuno Faria ; José Pereira ;
PUBLISHED: 2023, SOURCE: Proc. ACM Manag. Data, VOLUME: 1, ISSUE: 1, PAGES: 43:1-43:27