Economics consulting project for the Iberian Marketing Oil department of Galp Energia: Strategy and Marketing guidelines for Galp Energia’sconvenience business in the Iberian market

Field lab: Consulting lab

A technical investigation of an oil painting on copper support, including a study on consolidants for treatment

Paper submitted to e-conservation Journal: Maria Leonor Oliveira, Leslie Carlyle, Sara Fragoso, Isabel Pombo Cardoso and João Coroado, “Investigations into paint delamination and consolidation of an oil painting on copper support”.

Consulting project for the Iberian marketing Oil department of Galp Energia: Strategy and marketing guidelines for Galp Energia's convenience business in the Iberian market

Field lab: Consulting lab

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Fuel switching

The present Master dissertation is a project whose main objective is to identify value creation opportunities through fuel switching in the Portuguese industry, services, agriculture and fishing sectors. Fuel switching opportunities are characterized by type of fuel transition, type of technology transition, economy subsectors prone to have fuel switching and value created through fuel shift. Results suggest tomato concentrate, dairy, beer manufacturing and sugar refining subsectors is where prevalence of fuel oil steam boilers is high, for such cases conversion to natural gas steam boilers should result in operations having a ratio of NPV over CAPEX larger than ten and a payback period just under one year. Results further suggest food, beverages, textile, chemicals and wood subsectors currently operate between ten and twenty cogeneration Diesel engines that can be either modified to operate with natural gas or replaced by new natural gas cogeneration systems. Financial modeling indicates that both options have great value creation potential. The current analysis aims to be used by natural gas suppliers and energy project promoters to identify new potential deals as well as by heavy energy consumers to mitigate their energy related costs.