Abstract
We present a new tool for the generation and verification of high-assurance high-speed machine-level cryptography implementations: a certified C compiler supporting instruction extensions to the x86. We demonstrate the practical applicability of our tool by incorporating it into supercop: a toolkit for measuring the performance of cryptographic software, which includes over 2000 different implementations. We show i. that the coverage of x86 implementations in supercop increases significantly due to the added support of instruction extensions via intrinsics and ii. that the obtained verifiably correct implementations are much closer in performance to unverified ones. We extend our compiler with a specialized type system that acts at pre-assembly level; this is the first constant-time verifier that can deal with extended instruction sets. We confirm that, by using instruction extensions, the performance penalty for verifiably constant-time code can be greatly reduced. © Springer Nature Switzerland AG 2020.

Abstract
Worldwide, forests have been devastated by fires in recent years. Whe- ther by human intervention or for other reasons, the history of burned areas is increasing year after year, degrading fauna and flora. For this reason, it is vital to detect an early ignition so that firefighters can act quickly, reducing the impacts caused by forest fires. The proposed system aims to improve the nature monitoring and to assist the existing surveillance systems through Wireless Sensor Network. The network formed by the set of sensors has the potential to identify forest ignitions and, consequently, alerts the authorities through LoRaWAN communication. This work presents a prototype based on low-cost technology, which can be used in areas that require a high density of modules. Tests with a Wireless Sensor Network made up of nine prototypes demonstrate its effectiveness and robustness in terms of data transmission and collection. In this way, it is possible to apply this approach in Portuguese forests with a high level of forest fire risk, transforming them into Forests 4.0 concept.

Abstract
Software requirements are key elements that contribute to the quality of systems and stakeholders' satisfaction. In the domain of public transport, many information systems have been developed; however, the majority is focused on operational planning and public transport control, discarding the strategic-tactical levels of action. While at operational level management, the control is usually centered on public transport providers, at the strategic and tactical levels, a close interaction from distinct types of stakeholders is required. Moreover, management is distinct among cities. This work aims to define the conceptualization of a configurable decision support system (DSS) for the tactical-strategic management of public transport. The various needs and perspectives of the stakeholders are taken into account, and the data used as a basis have high granularity. © Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao 2020.

Abstract

Abstract
Constant search for efficiency and productivity has led to innovation on the factory shop floor, representing an evolution of the current production systems combined with new technologies of industrial automation and information technology. This work presents a versatile gateway for experimental demonstration of Industrial IoT technologies in a loom machine, allowing sensing, monitoring and data acquisition that was not originally available. We have implemented an approach, based on the OPC UA communication protocol for real time applications, and OPC UA to MQTT conversion mechanism. Raspberry Pi's platform act as an OPC UA server. From the measurements, data stored in a cloud server can be accessed remotely with improved security and visualized from a computer dashboard. One of the conclusions that can be drawn is that the proposed gateway allows data to be stored and easily monitored from a smartphone application or a computer web interface. © 2020 Kassel University Press GmbH.

Abstract