Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HASLab

2008

Reconfiguration of Reo Connectors Triggered by Dataflow

Autores
Koehler, C; Costa, D; Proença, J; Arbab, F;

Publicação
ECEASST

Abstract

2008

Parallel graphics and visualization

Autores
Santos, LP; Reiners, D; Favre, J;

Publicação
COMPUTERS & GRAPHICS-UK

Abstract

2008

Work in progress - Structure editing of handwritten mathematics

Autores
Mendes, A;

Publicação
Proceedings - Frontiers in Education Conference, FIE

Abstract
This project aims to develop a pen-based software tool that will assist in the process of doing mathematics by providing structured manipulation of handwritten mathematical expressions. The tool will be used to support the teaching of the dynamics of problem solving in a way that combines the advantages of the traditional blackboard style of teaching with the flexibility and accuracy of computer software. It will provide not only a simpler way to input mathematics - by allowing the recognition of handwritten mathematics - but also enhance students' understanding of the calculational techniques and facilitate the process of doing mathematics - by providing structure editing. Some of the most important features of this tool are the accurate selection and copy of expressions, the automatic application of algebraic rules and the use of gestures to apply them, and also the combined writing of mathematics and text. These features will have a major impact on writing, doing, and presenting mathematics. This project includes the required technical developments and also the application and testing of the tool in concrete situations, namely in mathematics and computing science courses. © 2008 IEEE.

2008

Secure Biometric Authentication With Improved Accuracy

Autores
Barbosa, M; Cauchie, S; Brouard, T; Sousa, SMd;

Publicação
IACR Cryptology ePrint Archive

Abstract

2008

Certificateless Signcryption

Autores
Barbosa, M; Farshim, P;

Publicação
IACR Cryptology ePrint Archive

Abstract

2008

Certificateless signcryption

Autores
Barbosa, M; Farshim, P;

Publicação
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08

Abstract
Certificateless cryptography inherits a solution to the certificate management problem in public-key encryption from identity-based techniques, whilst removing the secret key escrow functionality inherent to the identity-based setting. Signcryption schemes achieve confidentiality and authentication simultaneously by combining public-key encryption and digital signatures, offering better overall performance and security. In this paper, we introduce the notion of certificateless signcryption and present an efficient construction which guarantees security under insider attacks, and therefore provides forward secrecy and non-repudiation. Copyright 2008 ACM.

  • 225
  • 262