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: 1486
150 Team MembersFilters -> Year: 2024
281
TITLE: Rosy: An elegant language to teach the pure reactive nature of robot programming
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: International Journal of Robotic Computing, VOLUME: 3, ISSUE: 1, PAGES: 22-46
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: International Journal of Robotic Computing, VOLUME: 3, ISSUE: 1, PAGES: 22-46
INDEXED IN: 
CrossRef
CrossRef282
TITLE: S2Dedup: SGX-enabled secure deduplication. SGX-enabled secure deduplication
AUTHORS: Mariana Miranda ; Tânia Esteves ; Bernardo Portela ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 14:1-14:12
AUTHORS: Mariana Miranda ; Tânia Esteves ; Bernardo Portela ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 14:1-14:12
283
TITLE: S2Dedup: SGX-enabled Secure Deduplication
AUTHORS: Tânia Esteves; Mariana Miranda ; João Paulo ; Bernardo Portela ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 683
AUTHORS: Tânia Esteves; Mariana Miranda ; João Paulo ; Bernardo Portela ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 683
INDEXED IN: 
DBLP
DBLP284
TITLE: Secure Conflict-free Replicated Data Types
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguica, N;
PUBLISHED: 2021, SOURCE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21), PAGES: 6-15
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguica, N;
PUBLISHED: 2021, SOURCE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21), PAGES: 6-15
285
TITLE: Security Characterization of J-PAKE and its Variants
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 824
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 824
INDEXED IN: DBLP
DBLP286
TITLE: Seeking Out Camille, and Being Open to Others Full Text
AUTHORS: Hill, RK; Baquero, C ;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 64, ISSUE: 12, PAGES: 14-15
AUTHORS: Hill, RK; Baquero, C ;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 64, ISSUE: 12, PAGES: 14-15
287
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, PAGES: 777-795
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, PAGES: 777-795
INDEXED IN: DBLP
DBLP288
TITLE: Soteria: Privacy-Preserving Machine Learning for Apache Spark
AUTHORS: Cláudia Brito; Pedro Ferreira; Bernardo Portela ; Rui Oliveira; João Paulo ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 966
AUTHORS: Cláudia Brito; Pedro Ferreira; Bernardo Portela ; Rui Oliveira; João Paulo ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 966
INDEXED IN: DBLP
DBLP289
TITLE: Statically Analyzing the Energy Efficiency of Software Product Lines Full Text
AUTHORS: Couto, M ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, VOLUME: 11, ISSUE: 1, PAGES: 13
AUTHORS: Couto, M ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, VOLUME: 11, ISSUE: 1, PAGES: 13
290
TITLE: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19 Full Text
AUTHORS: Ribeiro, E; Sampaio, A; Goncalves, MM; Taveira, MD; Cunha, J ; Maia, A; Matos, M; Goncalves, S; Figueiredo, B; Freire, T; Soares, T;
PUBLISHED: 2021, SOURCE: COUNSELLING PSYCHOLOGY QUARTERLY, VOLUME: 34, ISSUE: 3-4, PAGES: 432-446
AUTHORS: Ribeiro, E; Sampaio, A; Goncalves, MM; Taveira, MD; Cunha, J ; Maia, A; Matos, M; Goncalves, S; Figueiredo, B; Freire, T; Soares, T;
PUBLISHED: 2021, SOURCE: COUNSELLING PSYCHOLOGY QUARTERLY, VOLUME: 34, ISSUE: 3-4, PAGES: 432-446
291
TITLE: The Case for Storage Optimization Decoupling in Deep Learning Frameworks
AUTHORS: Macedo, R ; Correia, C ; Dantas, M ; Brito, C ; Xu, WJ; Tanimura, Y; Haga, J; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 649-656
AUTHORS: Macedo, R ; Correia, C ; Dantas, M ; Brito, C ; Xu, WJ; Tanimura, Y; Haga, J; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 649-656
292
TITLE: The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing
AUTHORS: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLISHED: 2021, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PAGES: 641237
AUTHORS: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLISHED: 2021, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PAGES: 641237
293
TITLE: The High-Assurance ROS Framework
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PAGES: 37-40
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PAGES: 37-40
294
TITLE: The Management of Risks and Benefits when Engineering Interactive Digital Systems
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PAGES: 81-83
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PAGES: 81-83
INDEXED IN: DBLP
DBLP295
TITLE: Totally-Ordered Prefix Parallel Snapshot Isolation
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2021, SOURCE: 8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2021 in PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, PAGES: 6:1-6:7
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2021, SOURCE: 8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2021 in PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, PAGES: 6:1-6:7
296
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: Silva, JM ; Fonte, V; Sousa, A;
PUBLISHED: 2021, SOURCE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PAGES: 523-525
AUTHORS: Silva, JM ; Fonte, V; Sousa, A;
PUBLISHED: 2021, SOURCE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PAGES: 523-525
INDEXED IN: 
Scopus
Scopus297
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLISHED: 2021, SOURCE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PAGES: 523-525
AUTHORS: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLISHED: 2021, SOURCE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PAGES: 523-525
INDEXED IN: DBLP
DBLP298
TITLE: Towards a Distributed Learning Architecture for Securing ISP Home Customers
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
INDEXED IN: DBLP CrossRef
DBLP CrossRef299
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PAGES: 175-182
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PAGES: 175-182
300
TITLE: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
INDEXED IN: DBLP
DBLP