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: 1551
150 Team MembersFilters -> Year: 2024
241
TITLE: Inferring Legacy IoT Device Behavior over a Layer 2 TLS Tunnel
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: 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
242
TITLE: Linear Programming Meets Block-based Languages
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: 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
243
TITLE: LOOM: Interweaving tightly coupled visualization and numeric simulation framework
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: 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
INDEXED IN: 
Scopus
Scopus244
TITLE: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Full Text
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: 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
245
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
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é Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
INDEXED IN: 
DBLP
DBLP246
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
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: 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
INDEXED IN: DBLP
DBLP247
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
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: 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
248
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
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: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
INDEXED IN: DBLP
DBLP249
TITLE: MONARCH: Hierarchical Storage Management for Deep Learning Frameworks
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: 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
250
TITLE: Observational interpretations of hybrid dynamic logic with binders and silent transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122, PAGES: 100698
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122, PAGES: 100698
251
TITLE: Observational interpretations of hybrid dynamic logic with binders and silent transitions
AUTHORS: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 122, PAGES: 100698
AUTHORS: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 122, PAGES: 100698
INDEXED IN: DBLP
DBLP252
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 CrossRef253
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
254
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
255
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
DBLP256
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
DBLP257
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
DBLP258
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
DBLP259
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
260
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
