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/.

How to increase brand value expanding the category and brand presence to the main meal occasion for Sumol- Compal

Having registered negative retail value growth of 4% in Portugal in 2014, the juice category is set to decline further by 5,5% until 2019. Manufacturers of juices and nectars are therefore increasingly looking for new categories in order to balance this negative forecast in their home territory. One apparent growth opportunity for Compal, the leading producer of juices and nectars, is to expand its commercial reach to new occasions of consumption. This report carefully analyzes the opportunities related to an expansion to the main meal occasion and introduces a complete marketing and communications plan for a possible new main meal juice, Compal à Mesa. The product concept represents a rather premium positioning for the main meal occasion, including new flavor mixes that are targeted at different occasions of meals. The justification of the introduced concept includes a discussion of the primary and secondary research that was performed

The value creation radar applied to the space engineering sector

This case study illustrates the application of the Value Creation Radar (VCR) to SenSyF, an Earth Observation (EO) system which was developed by Deimos Engenharia S.A. (DME), the Portuguese affiliate of Elecnor Deimos. It describes how a team of consultants adopted the VCR in order to find new market applications for SenSyF, selected the one with the highest potential, and defined a path to guarantee a sustainable market launch. This case study highlights the main challenges of bringing a technology-driven company closer to the market in the pursuit of long-term sustainability, while not compromising its technological capabilities

Anatomy of the portuguese stock market risk and return in the 1977-2012 period

This paper analyses the Portuguese stock market since it reopened in 1977, with a special focus on the evolution of the statistic and stochastic characteristics of the market return throughout this 36 year period. The market return for the period of time between 1977 and 2012 (September 28th) is estimated and then compared with the return that would have been achieved with Government bonds and treasury bills, which allows us to confirm that the hierarchy of return / risk across the different financial instruments is verified. The market risk premium for this 36 year period is also estimated and a comparison with other markets is performed, suggesting that the Portuguese market’s risk has not been compensated by an adequate return. The study also examines the evolution of the Portuguese market’s volatility in the 1977-2012 period and compares it with other markets, showing the existence of extremely high peaks during the first 11 years, but indicating a downwards trend throughout the whole period under analysis. Finally, the correlation between market returns for Portugal and for other countries and the degree of integration are estimated and their evolution throughout time is assessed, leading to the conclusion that the performance of the Portuguese stock market has become increasingly correlated with major European markets – correlation with some markets close to 0.70 from 2000 onwards-, but that country-specific risk factors are still relevant.

Developing a gamification system to increase customer lifetime value at MyGon

There have never been so many touch points between companies and consumers as there are today, which paradoxically makes it very challenging for companies to be able to retain and engage customers. Gamification is a strategy used by a large number of companies to increase customer engagement and customer lifetime value. This work aims at developing a gamification system for MyGon, a Portuguese startup working in the market of discounts and experiences. In addition to examining the literature concerning gamification, its elements and characteristics, recommendations were developed for addressing MyGon’s business goals of increasing conversion and customer engagement. The gamification mechanisms suggested include badges, missions, points, leaderboards and levels.

Equity offerings, stock price crash risk, and the impact of securities regulation: international evidence

We examine whether earnings manipulation around seasoned equity offerings (SEOs) is associated with an increase in the likelihood of a stock price crash post-issue and test whether the enactment of securities regulations attenuate the relation between SEOs and crash risk. Empirical evidence documents that managerial tendency to conceal bad news increases the likelihood of a stock price crash (Jin and Myers, 2006; Hutton, Marcus, and Tehranian, 2009). We test this hypothesis using a sample of firms from 29 EU countries that enacted the Market Abuse Directive (MAD). Consistent with our hypothesis, we find that equity issuers that engage in earnings management experience a significant increase in crash risk post-SEO relative to control groups of non-issuers; this effect is stronger for equity issuers with poor information environments. In addition, our findings show a significant decline in crash risk post-issue after the enactment of MAD that is stronger for firms that actively manage earnings. This decline in post-issue crash risk is more effective in countries with high ex-ante institutional quality and enforcement. These results suggest that the implementation of MAD helps to mitigate managers’ ability to manipulate earnings around SEOs.

Earnings management and stock price crashes post-crossdelisting

We test whether cross-delisted firms from the major U.S. stock exchanges experience an increase in crash risk associated with earnings management. Consistent with our prediction, we find that earnings management have a greater positive impact on stock price crash risk post-cross-delisting when compared to a sample of still cross-listed firms. Moreover, our results suggest that this effect is more pronounced for crossdelisted firms from countries with weaker investor protection and poorer quality of their information environment. We further examine whether managers’ ability to manipulate earnings increases post-cross-delisting around seasoned equity offerings. Our evidence shows that cross-delisted firms that engage in earnings management to inflate reported earnings prior to a seasoned equity offering are more likely to observe a subsequent stock price crash.

Post-operating performance of cross-delisted firms from U.S. stock exchanges

We investigate the long-term performance of cross-delisted firms from U.S. stock markets. Using a sample of foreign firms listed and delisted from U.S. stock exchange markets over 2000-2012, we examine the operating performance and the long-run stock returns performance of firms post-cross-delisting. Our results suggest that cross-delisted firms have less growth opportunities than matched cross-listed firms in the long run. Moreover, firms that cross-delist after the passage of Rule 12h-6 of 2007 exhibit a significant decline in operating performance. In contrast, before the adoption of the Rule 12h-6, cross-delisted firms seem to be affected by the cost of a U.S. listing in the precross -delisting period. In addition, we provide evidence that cross-delisted firms underperform their cross-listed peers; cross-delisted firms experience negative average abnormal returns, especially in the post-delisting period.

Using customer lifetime value to improve the prediction of bank deposit subscription in telemarketing campaigns

Customer lifetime value (LTV) enables using client characteristics, such as recency, frequency and monetary (RFM) value, to describe the value of a client through time in terms of profitability. We present the concept of LTV applied to telemarketing for improving the return-on-investment, using a recent (from 2008 to 2013) and real case study of bank campaigns to sell long- term deposits. The goal was to benefit from past contacts history to extract additional knowledge. A total of twelve LTV input variables were tested, un- der a forward selection method and using a realistic rolling windows scheme, highlighting the validity of five new LTV features. The results achieved by our LTV data-driven approach using neural networks allowed an improvement up to 4 pp in the Lift cumulative curve for targeting the deposit subscribers when compared with a baseline model (with no history data). Explanatory knowledge was also extracted from the proposed model, revealing two highly relevant LTV features, the last result of the previous campaign to sell the same product and the frequency of past client successes. The obtained results are particularly valuable for contact center companies, which can improve pre- dictive performance without even having to ask for more information to the companies they serve.

Os fatores de risco da rendibilidade das ações: análise e evidência empírica em países da Zona Euro

Tese de Doutoramento em Ciências Empresariais.

Extreme value Birnbaum-Saunders regression models applied to environmental data

Extreme value models are widely used in different areas. The Birnbaum–Saunders distribution is receiving considerable attention due to its physical arguments and its good properties. We propose a methodology based on extreme value Birnbaum–Saunders regression models, which includes model formulation, estimation, inference and checking. We further conduct a simulation study for evaluating its performance. A statistical analysis with real-world extreme value environmental data using the methodology is provided as illustration.

Sustentabilidade no Design: uma abordagem aos resíduos limpos das indústrias do calçado

Dissertação de mestrado em Design e Marketing

Gestão de inventários numa empresa de produção de linhas de costura

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

“Learning-by-producing” in the fashion value chain

Proceedings da AUTEX 2015, Bucareste, Roménia.

Estudo da logística do armazenamento e distribuição interna de consumíveis clínicos de uma unidade hospitalar

Dissertação de mestrado em Engenharia Industrial