Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Interest
Topics
Details

Details

  • Name

    Luís Filipe Antunes
  • Cluster

    Computer Science
  • Role

    Area Manager
  • Since

    15th December 2011
003
Publications

2017

The present and future of privacy-preserving computation in fog computing

Authors
Sousa, PR; Antunes, L; Martins, R;

Publication
Fog Computing in the Internet of Things: Intelligence at the Edge

Abstract

2017

Entropy and Compression Capture Different Complexity Features: The Case of Fetal Heart Rate

Authors
Santos, JM; Gonçalves, H; Bernardes, J; Coelho Antunes, LF; Zarmehri, MN; Santos, CC;

Publication
Entropy

Abstract

2017

On the rate of decrease in logical depth

Authors
Antunes, LF; Souto, A; Vitanyi, PMB;

Publication
Theor. Comput. Sci.

Abstract

2017

Sophistication vs Logical Depth

Authors
Antunes, L; Bauwens, B; Souto, A; Teixeira, A;

Publication
THEORY OF COMPUTING SYSTEMS

Abstract
Sophistication and logical depth are two measures that express how complicated the structure in a string is. Sophistication is defined as the minimal complexity of a computable function that defines a two-part description for the string that is shortest within some precision; the second can be defined as the minimal computation time of a program that is shortest within some precision. We show that the Busy Beaver function of the sophistication of a string exceeds its logical depth with logarithmically bigger precision, and that logical depth exceeds the Busy Beaver function of sophistication with logarithmically bigger precision. We also show that sophistication is unstable in its precision: constant variations can change its value by a linear term in the length of the string.

2016

Digital Signatures Workflows in Alfresco

Authors
Sousa, PR; Faria, P; Correia, ME; Resende, JS; Antunes, L;

Publication
Electronic Government and the Information Systems Perspective - 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings

Abstract
There are some obstacles, towards a paperless office. One of them is the collection of signatures, since nearly half of all documents are printed for the sole purpose of collecting them. Digital signatures can have the same legal evidential validity as handwritten signatures, provided they are based on certificates issued by accredited certification authorities and the associated private keys are stored on tamper proof token security devices like smart cards. In this article, we propose a platform for secure digital signature workflow management that integrates secure token based digital signatures with the Enterprise Content Management Alfresco, where each user can associate a set of smart cards to his account. The documents can then be signed with the citizen card or other smart card that has digital signatures capabilities. We have implemented an Alfresco module that allows us to explore several workflow techniques to implement real task secure digital signatures workflows, as people for example do when they pass a paper document between various departments to be signed. Since all users can see the current state of the documents being signed during the entire signage process, important security properties like system trust are preserved. We also describe an external validation web service, that provides a way for users to validate signed documents. The validation service then shows to the user important document security properties like timestamps, certificates attributes and highlights the document integrity in face of the digital signatures that have been collected in the workflows defined by our module in Alfresco. © Springer International Publishing Switzerland 2016.

Supervised
thesis

2016

Biometrics on Mobile Devices Using the Heartbeat

Author
Marcelo Edgar Ferreira dos Santos

Institution
UP-FCUP

2016

Digital archive: Arrange, Assign & Sign!

Author
Patrícia Raquel Vieira Sousa

Institution
UP-FCUP

2015

Análise de Sinal Fisiológico usando Métodos Não Lineares

Author
João Manuel Monteiro dos Santos

Institution
UP-FCUP