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: 1551
150 Team MembersFilters -> Year: 2024
AUTHORS: Rodrigo Caldas; Carlos Novo; Ricardo Morla ; Luis Cruz; António Carvalho; David Campelo;
PUBLISHED: 2021, SOURCE: 5th Cyber Security in Networking Conference, CSNet 2021 in 5th Cyber Security in Networking Conference, CSNet 2021, Abu Dhabi, United Arab Emirates, October 12-14, 2021, PAGES: 23-30
AUTHORS: da Giao, Hugo; Cunha, Jacome ; Pereira, Rui ;
PUBLISHED: 2021, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2021 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2021), VOLUME: 2010-October, PAGES: 1-3
AUTHORS: Barbosa, J ; Navratil, P; Paulo Santos, L; Fussell, D;
PUBLISHED: 2021, SOURCE: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization, ISAV 2021 - Held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2021 in ACM International Conference Proceeding Series, PAGES: 1-5
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2587-2600
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2541-2563
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
AUTHORS: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 657-663
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122, PAGES: 100698
AUTHORS: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 122, PAGES: 100698
AUTHORS: Shoker, A ; Yactine, H ;
PUBLISHED: 2021, SOURCE: Advances in Information Security, VOLUME: 83, PAGES: 121-143
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 255-262
AUTHORS: Ribeiro, Francisco ; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PAGES: 1036-1047
AUTHORS: Ricardo Macedo ; Yusuke Tanimura; Jason Haga; Vijay Chidambaram; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03617
AUTHORS: Daniel Feitosa; Luís Cruz; Rui Abreu; João Paulo Fernandes ; Marco Couto; João Saraiva ;
PUBLISHED: 2021, SOURCE: Software Sustainability, PAGES: 89-121
AUTHORS: Alberto Faria ; Ricardo Macedo ; João Paulo ;
PUBLISHED: 2021, SOURCE: WOC '21: Proceedings of the Seventh International Workshop on Container Technologies and Container Clouds, Virtual Event, Canada, 6 December 2021, PAGES: 1-6
AUTHORS: Henrique Faria; José Manuel Valença ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1298
AUTHORS: Andre Pereira ; Alberto Proenca;
PUBLISHED: 2021, SOURCE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence, PAGES: 167-183
AUTHORS: Barbosa, M ; Boldyreva, A; Chen, S; Warinschi, B;
PUBLISHED: 2021, SOURCE: 41st Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, VOLUME: 12827, PAGES: 125-156