Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1551

150 Team Members
Filters -> 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
INDEXED IN: Scopus DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus
244
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
246
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
INDEXED IN: DBLP
247
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
INDEXED IN: WOS DBLP CrossRef: 6
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
INDEXED IN: DBLP
249
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
INDEXED IN: WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: DBLP
252
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
INDEXED IN: Scopus CrossRef
253
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: WOS DBLP CrossRef
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
INDEXED IN: DBLP
256
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
INDEXED IN: DBLP
257
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
INDEXED IN: DBLP
258
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
INDEXED IN: DBLP
259
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
INDEXED IN: CrossRef: 1
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
INDEXED IN: Scopus WOS DBLP CrossRef: 13

Results per Page: 20.
Página 13 de 78. Total de resultados: 1551.