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: 1539
150 Team MembersFilters -> Year: 2024
241
TITLE: On the feasibility of byzantine agreement to secure fog/edge data management
AUTHORS: Shoker, A ; Yactine, H ;
PUBLISHED: 2021, SOURCE: Advances in Information Security, VOLUME: 83, PAGES: 121-143
AUTHORS: Shoker, A ; Yactine, H ;
PUBLISHED: 2021, SOURCE: Advances in Information Security, VOLUME: 83, PAGES: 121-143
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef242
TITLE: On the Runtime and Energy Performance of WebAssembly Is WebAssembly superior to JavaScript yet?
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: 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
243
TITLE: On Understanding Contextual Changes of Failures
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: 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
244
TITLE: PAIO: A Software-Defined Storage Data Plane Framework
AUTHORS: Ricardo Macedo ; Yusuke Tanimura; Jason Haga; Vijay Chidambaram; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03617
AUTHORS: Ricardo Macedo ; Yusuke Tanimura; Jason Haga; Vijay Chidambaram; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03617
INDEXED IN: 
DBLP
DBLP245
TITLE: Patterns and Energy Consumption: Design, Implementation, Studies, and Stories
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: Daniel Feitosa; Luís Cruz; Rui Abreu; João Paulo Fernandes ; Marco Couto; João Saraiva ;
PUBLISHED: 2021, SOURCE: Software Sustainability, PAGES: 89-121
INDEXED IN: DBLP
DBLP246
TITLE: Pods-as-Volumes: Effortlessly Integrating Storage Systems and Middleware into Kubernetes
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: 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
INDEXED IN: DBLP
DBLP247
TITLE: Post-Quantum Authentication with Lightweight Cryptographic Primitives
AUTHORS: Henrique Faria; José Manuel Valença ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1298
AUTHORS: Henrique Faria; José Manuel Valença ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1298
INDEXED IN: DBLP
DBLP248
TITLE: PRNG-Broker: A High-Performance Broker to Supply Parallel Streams of Pseudorandom Numbers for Large-Scale Simulations
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: Andre Pereira ; Alberto Proenca;
PUBLISHED: 2021, SOURCE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence, PAGES: 167-183
249
TITLE: Provable Security Analysis of FIDO2
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
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
250
TITLE: Quantum Bayesian Decision-Making Full Text
AUTHORS: de Oliveira, M; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
AUTHORS: de Oliveira, M; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
251
TITLE: Quantum simulation of the ground-state Stark effect in small molecules: a case study using IBM Q Full Text
AUTHORS: Tavares, C ; Oliveira, S; Fernandes, V ; Postnikov, A; Vasilevskiy, MI;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6807-6830
AUTHORS: Tavares, C ; Oliveira, S; Fernandes, V ; Postnikov, A; Vasilevskiy, MI;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6807-6830
252
TITLE: Quantum Tree-Based Planning
AUTHORS: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 125416-125427
AUTHORS: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 125416-125427
253
TITLE: Ranking programming languages by energy efficiency Full Text
AUTHORS: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 205, PAGES: 102609
AUTHORS: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 205, PAGES: 102609
254
TITLE: Refactoring Java Monoliths into Executable Microservice-Based Applications
AUTHORS: Francisco Freitas; André Ferreira; Jácome Cunha ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, PAGES: 100-107
AUTHORS: Francisco Freitas; André Ferreira; Jácome Cunha ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, PAGES: 100-107
INDEXED IN: Scopus DBLP
Scopus DBLP255
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
CrossRef256
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
257
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
DBLP258
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
259
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
DBLP260
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
