Abstract
This study reports the Portuguese contribution to an international survey on data literacy of academics and researchers are presented in this study. The community contributed with 943 filled questionnaire, covering key aspects related to the use and production of research data (e.g. file type and volume of data created and used; the choice of data storage devices and the creation of metadata on research data, among others). Also considered were the use of Data Management Plan and data management practices (e.g. file naming, citation rules, use of unique identifiers and tags), as also sharing of research data. Based on the results, it is concluded that there is a need to formulate institutional policies for the management of scientific data and to design training initiatives to develop data literacy skills. The comparing of these results with those of the overall international study is a next step.

Abstract
We propose the use of modern proof assistants to specify, implement, and verify password quality checkers. We use the proof assistant Coq, focusing on Linux PAM, a widely-used implementation of pluggable authentication modules for Linux. We show how password quality policies can be expressed in Coq and how to use Coq’s code extraction features to automatically encode these policies as PAM modules that can readily be used by any Linux system. We implemented the default password quality policy shared by two widely-used PAM modules: pam_cracklib and pam_pwquality. We then compared our implementation with the original modules by running them against a random sample of 100,000 leaked passwords obtained from a publicly available database. In doing this, we demonstrated a potentially serious bug in the original modules. The bug was reported to the maintainers of Linux PAM and is now fixed. © Springer International Publishing AG 2017.

Abstract

Abstract

Abstract
To receive a degree from a Higher Education Institution (HEI), the students must successfully undergo the necessary exams, which, most times, require the physical presence of the student in a room where he/she will solve and answer the exams' questions using the traditional pen and paper. This is a well-known and reliable method to evaluate the students, in which the physically presence is a reliable way to diminish the possibilities of fraud. Currently, the modern Learning Management Systems (LMS) are able to provide the necessary features to execute the evaluations activities online, on the software platform. These systems and features can be used in a blended model, in which the students are required to be physically present, in a similar form to a traditional on site exam, and the exam is executed using a LMS. The exam room is equipped with Personal Computers (PC), which are configured with the necessary means to access the LMS and assure that a higher risk of fraud is not introduced by the usage of the PCs and the LMS as support for the exams. We designated this model, as the b-eval model. The adoption of this model requires some changes in the professors' practices, as well as the introduction of more technological means to support the increase in PCs and LMS usage. The professors must design their evaluation process in order to incorporate the features and restrains posed by the PCs and the LMS. In some scenarios, this adoption is advantageous for the professor and for the students, considering that a properly designed exam can easily be executed by the students and instantaneously evaluated and graded. Otherwise, the traditional process takes much longer, as the professor must collect the paper exams, which he will later evaluate and grade. The process can take several days or even weeks. In this position paper we discuss the introduction of the b-eval model, as well as an assessment methodology for its adoption.

Abstract
This paper concerns a robot to assist people in retail shopping scenarios, called the wGO. The robot's behaviour is based in a vision-guided approach based on user-following. The wGO brings numerous advantages and a higher level of comfort, since the user does not need to worry about controlling the shopping cart. In addition, this paper introduces the wGOs functionalities and requirements to enable the robot to successfully perform personal assistance while the user is shopping in a safe way. A user satisfaction survey is also presented. Based on the highly encouraging results, some conclusions and guidelines towards the future full deployment of the wGO in commercial environments are drawn. Copyright