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

Crowdfunding campaigns: Perceived quality and success

Research in Crowdfunding is an emerging priority within the field of Entrepreneurship. Hundreds of platforms provide nowadays multiple Crowdfunding schemes which are intended to make it easier for entrepreneurs and others to collect money from the crowd. However, only a few campaigns become successful as others don’t reach the pre-established funding goal. It is thus necessary to keep on understanding the dynamics of these platforms and the factors which justify success. The asymmetry of information has been shown to be a delicate issue as people perceive quality in different manners. As so, this research aims to understand which components of perceived quality mostly influence investments decisions. Mainly Entrepreneurship and Marketing theories were explored along the way. This is research follows a causal approach where nineteen hypotheses are tested. An experimental survey was conducted and data was collected from 127 people who were asked to evaluate one of the most important pieces of any Crowdfunding campaign – the pitch video – and consequently invest on the presented products.

Regret associated with past and future messes under a maximizing mind-set

Promotions can make you happy if you get the “best” deal or miserable if you miss it. Previous research on this topic has shown that people favor products associated with a past miss to products associated with a future miss, and people in a maximizing mind-set, i.e. people who search for the best in different domains, feel more regret in a consumption domain. This research confirms that consumers prefer purchasing a product associated with a past miss (Experiments 1 and 2) and that regret levels are higher when participants come across the future miss, under the maximizing mind-set (Experiment 2). These studies add to the notion that information on regret might prompt people to make decisions towards a more optimistic outcome.

Product quality judgments in a two-sequence cue environment

Previous research demonstrated that the sequence of informational cues and the level of distraction have an impact on the judgment of a product’s quality. This study investigates the influence of the force behind the processing of these cues, working memory (WM). The results indicate that without distraction, consumers with low and high WM capacity (WMC) equally base their product evaluation on the first sequential cue. In the presence of a distractor, however, low WM individuals are no longer able to recall the initial cue, and thus derive their product judgment from the final cue. Moreover, evidence of intercultural differences in the perception of product related cues, and their aptitude for signaling a favorable product quality is provided.

Chesney's: Growing through product expansion

Chesney’s: Growing Through Product Expansion The purpose of this work project is to have a better understanding about how to proceed when a company is challenged by new options to grow and thrive. It aims to decode the next direction of Chesney’s Ltd, a United Kingdom leading company in luxurious replicas of antique fireplaces, wood burning stoves and other architectural pieces. The work project relies on the concepts of strategy, innovation and design thinking in order to encourage dynamic activities within the company. Chesney’s continuously tries to improve and innovate and this work project will assess whether the possible options have strategic fit with the purpose of the company and consequently, create an introduction plan for the opportunity that shows higher probabilities of becoming successful.

The emergence of product certification systems as trade barriers

This paper addresses the growing difficulties automobile manufacturers face within their after sales business: an increasing number of trade obstacles set up by import countries discriminates against the foreign suppliers and impedes the international sales of genuine parts. The purpose of the study is to explore the emergence of trade restrictive product certification systems, which affect spare parts exports of automobile manufacturers. The methodology used includes review of the literature and an empirical study based on qualitative interviews with representatives of major stakeholders of the automotive after sales business. Relevant key drivers, which initiate the introduction of technical regulations in importing countries, are identified and analysed to evaluate their effect on the emerging trade policy. The analysis of the key drivers outlines that several interacting components, such as the global competitiveness of the country, macroeconomic and microeconomic factors, and certain country-specific variables induce trade restrictive product certification systems. The findings allow for an early detection of the emergence of product certification systems and provide a means to early recognise the risks and opportunities for the sales of automotive spare parts in the automakers’ target markets. This allows the manufacturers to react immediately and adapt in time to the upcoming changes.

The role of information systems in business process redesign : a case of Turkish electricity market

This study is specifically concerned with the effect of the Enterprise Resource Planning (ERP) on the Business Process Redesign (BPR). Researcher’s experience and the investigation on previous researches imply that BPR and ERP are deeply related to each other and a study to found the mentioned relation further is necessary. In order to elaborate the hypothesis, a case study, in particular Turkish electricity distribution market and the phase of privatization are investigated. Eight companies that have taken part in privatization process and executed BPR serve as cases in this study. During the research, the cases are evaluated through critical success factors on both BPR and ERP. It was seen that combining the ERP Solution features with business processes lead the companies to be successful in ERP and BPR implementation. When the companies’ success and efficiency were compared before and after the ERP implementation, a considerable change was observed in organizational structure. It was spotted that the team composition is important in the success of ERP projects. Additionally, when the ERP is in driver or enabler role, the companies can be considered successful. On the contrary, when the ERP has a neutral role of business processes, the project fails. In conclusion, it can be said that the companies, which have implemented the ERP successfully, have accomplished the goals of the BPR.

How to improve urban mobility in Lisbon: intermodality and information and ticketing systems

Urban mobility is one of the main challenges facing urban areas due to the growing population and to traffic congestion, resulting in environmental pressures. The pathway to urban sustainable mobility involves strengthening of intermodal mobility. The integrated use of different transport modes is getting more and more important and intermodality has been mentioned as a way for public transport compete with private cars. The aim of the current dissertation is to define a set of strategies to improve urban mobility in Lisbon and by consequence reduce the environmental impacts of transports. In order to do that several intermodal practices over Europe were analysed and the transport systems of Brussels and Lisbon were studied and compared, giving special attention to intermodal systems. In the case study was gathered data from both cities in the field, by using and observing the different transport modes, and two surveys were done to the cities users. As concluded by the study, Brussels and Lisbon present significant differences. In Brussels the measures to promote intermodality are evident, while in Lisbon a lot still needs to be done. It also made clear the necessity for improvements in Lisbon’s public transports to a more intermodal passenger transport system, through integration of different transport modes and better information and ticketing system. Some of the points requiring developments are: interchanges’ waiting areas; integration of bicycle in public transport; information about correspondences with other transport modes; real-time information to passengers pre-trip and on-trip, especially in buses and trams. After the identification of the best practices in Brussels and the weaknesses in Lisbon the possibility of applying some of the practices in Brussels to Lisbon was evaluated. Brussels demonstrated to be a good example of intermodality and for that reason some of the recommendations to improve intermodal mobility in Lisbon can follow the practices in place in Brussels.

Vyndaqel (Tafamidis)

The main objective of this pedagogical case study is to analyse the market entry dynamics of pharmaceutical innovative drugs in Portugal, and the role and impact of the different stakeholders in this process. The case focuses on the market entry of Vyndaqel (Tafamidis) Pfizer’s orphan innovative product to treat TTR-FAP, “paramiloidose”, a highly incapacitating rare disease that has more than 2.000 diagnosed patients in Portugal, one of the highest prevalence worldwide and an incidence of 100 new patients every year. In terms of methodology it were used two main sources of information. Regarding secondary data sources it was made an exhaustive search using the main specialty search engines regarding the Tafamidis case, market access, orphan drugs and market entry context in Portugal and Europe. In terms of primary data it were conducted 7 direct interviews with the main case stakeholders. The pedagogical case study focuses on 5 main questions that provide the base of the discussion for the classes. First it is analysed the rationale behind the introduction of Tafamidis in Portugal, and its relevance for Pfizer, namely due to the previous investment made with the acquisition of FoldRX by $400M, the company that developed the product in the first place. It is also analysed the point of view of the NHS, and the reasoning behind drug reimbursement that considered not only the technical (efficacy and safety) and financial benefits of the drug, but also the social impact, due to the major role played by patient associations’ actions and coverage provided by the media that impacted the reimbursement decision. Finally it is analysed the vertical financing methodology that was selected by the Ministry of Health for drug acquisition by 2 public hospitals, that served as reference centres for the treatment of this disease