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

Engineering bio-based polymers using alternative solvents and processes

The work presented in this thesis explores novel routes for the processing of bio-based polymers, developing a sustainable approach based on the use of alternative solvents such as supercritical carbon dioxide (scCO2), ionic liquids (ILs) and deep eutectic solvents (DES). The feasibility to produce polymeric foams via supercritical fluid (SCF) foaming, combined with these solvents was assessed, in order to replace conventional foaming techniques that use toxic and harmful solvents. A polymer processing methodology is presented, based on SCF foaming and using scCO2 as a foaming agent. The SCF foaming of different starch based polymeric blends was performed, namely starch/poly(lactic acid) (SPLA) and starch/poly(ε-caprolactone) (SPCL). The foaming process is based on the fact that CO2 molecules can dissolve in the polymer, changing their mechanical properties and after suitable depressurization, are able to create a foamed (porous) material. In these polymer blends, CO2 presents limited solubility and in order to enhance the foaming effect, two different imidazolium based ILs (IBILs) were combined with this process, by doping the blends with IL. The use of ILs proved useful and improved the foaming effect in these starch-based polymer blends. Infrared spectroscopy (FTIR-ATR) proved the existence of interactions between the polymer blend SPLA and ILs, which in turn diminish the forces that hold the polymeric structure. This is directly related with the ability of ILs to dissolve more CO2. This is also clear from the sorption experiments results, where the obtained apparent sorption coefficients in presence of IL are higher compared to the ones of the blend SPLA without IL. The doping of SPCL with ILs was also performed. The foaming of the blend was achieved and resulted in porous materials with conductivity values close to the ones of pure ILs. This can open doors to applications as self-supported conductive materials. A different type of solvents were also used in the previously presented processing method. If different applications of the bio-based polymers are envisaged, replacing ILs must be considered, especially due to the poor sustainability of some ILs and the fact that there is not a well-established toxicity profile. In this work natural DES – NADES – were the solvents of choice. They present some advantages relatively to ILs since they are easy to produce, cheaper, biodegradable and often biocompatible, mainly due to the fact that they are composed of primary metabolites such as sugars, carboxylic acids and amino-acids. NADES were prepared and their physicochemical properties were assessed, namely the thermal behavior, conductivity, density, viscosity and polarity. With this study, it became clear that these properties can vary with the composition of NADES, as well as with their initial water content. The use of NADES in the SCF foaming of SPCL, acting as foaming agent, was also performed and proved successful. The SPCL structure obtained after SCF foaming presented enhanced characteristics (such as porosity) when compared with the ones obtained using ILs as foaming enhancers. DES constituted by therapeutic compounds (THEDES) were also prepared. The combination of choline chloride-mandelic acid, and menthol-ibuprofen, resulted in THEDES with thermal behavior very distinct from the one of their components. The foaming of SPCL with THEDES was successful, and the impregnation of THEDES in SPCL matrices via SCF foaming was successful, and a controlled release system was obtained in the case of menthol-ibuprofen THEDES.

Influence of type of binder and sand on the characteristics of masonry mortars

This study deals with the characterization of masonry mortars produced with different binders and sands. Several properties of the mortars were determined, like consistence, compressive and flexural strengths, shrinkage and fracture energy. By varying the type of binder (Portland cement, hydrated lime and hydraulic lime) and the type of sand (natural or artificial), it was possible to draw some conclusions about the influence of the composition on mortars properties. The results showed that the use of Portland cement makes the achievement of high strength classes easier. This was due to the slower hardening of lime compared with cement. The results of fracture energy tests showed much higher values for artificial sand mortars when compared with natural sand ones. This is due to the higher roughness of artificial sand particles which provided better adhesion between sand and binder.

Exploring the potentialities of a new type of CFRP laminate for the simultaneous flexural and shear strengthening of RC beams: numerical research

This study aims to develop an innovative carbon fibre reinforced polymer (CFRP) laminate with a U configuration to address strengthening interventions, where the increment of both flexural and shear capacity of reinforced concrete (RC) elements is required. This strengthening solution combines the near surface mounted (NSM) and embedded through section (ETS) techniques in the same application, since these techniques have already evidenced high performance on flexural and shear strengthening of RC beams using FRP systems, respectively. In fact, the proposed hybrid technique aims to mobilize the advantages provided by these two strengthening techniques by using an innovative CFRP laminate. The strengthening efficacy of this new hybrid NSM/ETS technique was numerically assessed and compared to the corresponding efficiency of NSM and ETS techniques applied separately for the flexural and shear strengthening of RC beams, respectively. The numerical models are described and the main relevant results are presented and discussed.

Predicting type of delivery by identification of obstetric risk factors through data mining

In Maternity Care, a quick decision has to be made about the most suitable delivery type for the current patient. Guidelines are followed by physicians to support that decision; however, those practice recommendations are limited and underused. In the last years, caesarean delivery has been pursued in over 28% of pregnancies, and other operative techniques regarding specific problems have also been excessively employed. This study identifies obstetric and pregnancy factors that can be used to predict the most appropriate delivery technique, through the induction of data mining models using real data gathered in the perinatal and maternal care unit of Centro Hospitalar of Oporto (CHP). Predicting the type of birth envisions high-quality services, increased safety and effectiveness of specific practices to help guide maternity care decisions and facilitate optimal outcomes in mother and child. In this work was possible to acquire good results, achieving sensitivity and specificity values of 90.11% and 80.05%, respectively, providing the CHP with a model capable of correctly identify caesarean sections and vaginal deliveries.

Tunnel engineering – influence of the type and the quantity of measurements in the back analysis of geomechanical parameters

The monitoring data collected during tunnel excavation can be used in inverse analysis procedures in order to identify more realistic geomechanical parameters that can increase the knowledge about the interested formations. These more realistic parameters can be used in real time to adapt the project to the real structure in situ behaviour. However, monitoring plans are normally designed for safety assessment and not especially for the purpose of inverse analysis. In fact, there is a lack of knowledge about what types and quantity of measurements are needed to succeed in identifying the parameters of interest. Also, the optimisation algorithm chosen for the identification procedure may be important for this matter. In this work, this problem is addressed using a theoretical case with which a thorough parametric study was carried out using two optimisation algorithms based on different calculation paradigms, namely a conventional gradient-based algorithm and an evolution strategy algorithm. Calculations were carried for different sets of parameters to identify several combinations of types and amount of monitoring data. The results clearly show the high importance of the available monitoring data and the chosen algorithm for the success rate of the inverse analysis process.

List of type-specimens of Isoptera (Insecta) in the collection of the Museu Paraense Emílio Goeldi, State of Pará, Brazil

The collection of the Museu Paraense Emílio Goeldi (MPEG), in the city of Belém, State of Pará, Brazil, has 65 samples of type-specimens of Isoptera, representing 26 species (21 holotypes and 5 paratypes) of 18 genera. This paper lists the number of specimens of each caste in each type series, type localities with geographical coordinates, collectors, and dates of collection.

Effect of ionic liquid anion type in the performance of solid polymer electrolytes based on Poly(Vinylidene fluoride-trifluoroethylene)

The effect of different anions within the ionic liquid in the characteristics of solid polymer electrolytes (SPEs) based on P(VDF-TrFE) has been investigated. 1-ethyl-3-methylimidazolium acetate, [C2mim][OAc], 1-ethyl-3-methylimidazolium triflate, [C2mim][(CF3SO3)3], 1-ethyl-3-methylimidazolium lactate, [C2mim][Lactate], 1-ethyl-3-methylimidazolium thiocyanate, [C2mim][SNC] and 1-ethyl-3-methylimidazolium hydrogen sulphate [C2mim][HSO4] have been used in SPE prepared by thermally induced phase separation (TIPS). The polymer phase, thermal and electrochemical properties of the SPE have been determined. The thermal and electrical properties of the SPEs strongly depend on the selected IL, as determined by their different interactions with the polymer matrix. The room temperature ionic conductivity increases in the following way for the different anions: [SNC] > [CF3SO3)3] > [HSO4] > [Lactate] > [OAc], which is mainly dependent on the viscosity of the ionic liquid.

On the routines of wild-type silk fibroin processing toward silk-inspired materials: a review

For years, silk fibroin of a domestic silkworm, Bombyx mori, has been recognized as a valuable material and extensively used. In the last decades, new application fields are emerging for this versatile material. Those final, specific applications of silk dictate the way it has been processed in industry and research. This review focuses on the description of various approaches for silk downstream processing in a laboratory scale, that fall within several categories. The detailed description of workflow possibilities from the naturally found material to a finally formulated product is presented. Considerable attention is given to (bio-) chemical approaches of silk fibroin transformation, particularly, to its enzyme-driven modifications. The focus of the current literature survey is exclusively on the methods applied in research and not industry.

Aspergilli and Penicillia related to the surface of ripening italian grana type cheese and its ripening environment

Information available on the mycoflora associated to ripening Italian “grana type” cheese is very poor. Recently, ochratoxin A (OTA) was detected in samples of packed grated cheese [1]; therefore, the need of information to perform a risk management was highlighted. Moreover, sterigmatocystin (STC) has been reported in cheese and it is considered an emerging problem. Despite the fact that both of them are mycotoxins included in group 2B by IARC [2,3], no European regulation exists. So, the main goal of this work is to give for the first time a general overview about Penicillia and Aspergilli growing on the surface of ripening “grana type” cheese, with particular attention on mycotoxigenic species. To perform this, in 2013 and 2014 crust samples were scratched from ripening grana cheese wheels and also Potato Dextrose Agar plates were exposed to monitor ripening house air. Then, 140 fungal isolates were randomly chosen, purified and monosporic colonies were obtained for their identification at specie level. A polyphasic approach is followed, based on morphological characterisation, toxic extrolites profiling and gene sequencing. The identification is still in progress, but the first results based on the morphological approach showed the presence of mycotoxigenic Aspergilli (Aspergillus flavus and A. versicolor) and various Penicillium species; among them Penicillium chrysogenum, P. implicatum and P. solitum were identified. Only P. chrysogenum was reported to produce the mycotoxins cyclopiazonic acid (CPA) and roquefortine-C (ROQ-C) [4]. These results will be presented and discussed. [1] A. Biancardi, R. Piro, G. Galaverna, C. Dall’Asta, "A simple and reliable liquid chromatography–tandem mass spectrometry method for determination of ochratoxin A in hard cheese" International Journal of Food Sciences and Nutrition 64 (5), 2013, 632 – 640. [2] International Agency for Research on Cancer (IARC) “IARC Monographs on the Evaluation of Carcinogenic Risks to Humans” 31, 1983, 191 – 199. [3] International Agency for Research on Cancer (IARC) “IARC Monographs on the Evaluation of carcinogenic Risks to Humans”, suppl. 7, 1987, 72. [4] J. I. Pitt, D. A. Hocking, “Fungi and Food Spoilage” 1997, 291.

Search for type-III Seesaw heavy leptons in pp collisions at s√=8 TeV with the ATLAS Detector

A search for the pair-production of heavy leptons (N0,L±) predicted by the type-III seesaw theory formulated to explain the origin of small neutrino masses is presented. The decay channels N0→W±l∓ (ℓ=e,μ,τ) and L±→W±ν (ν=νe,νμ,ντ) are considered. The analysis is performed using the final state that contains two leptons (electrons or muons), two jets from a hadronically decaying W boson, and large missing transverse momentum. The data used in the measurement correspond to an integrated luminosity of 20.3fb−1 of pp collisions at s√=8 TeV collected by the ATLAS detector at the LHC. No evidence of heavy lepton pair-production is observed. Heavy leptons with masses below 325--540 GeV are excluded at the 95% confidence level, depending on the theoretical scenario considered.

Spousal support and satisfaction with healthcare services as moderators between psychological morbidity and adherence to diet in Type 2 Diabetes patients

Objectives: This study analyzed the moderating role of partners’ support and satisfaction with healthcare services in the relationship between psychological morbidity and adherence to diet in patients with type 2 diabetes (T2DM). Methods: Participants were 387 recently diagnosed T2DM patients that answered the following instruments: Revised Summary of Diabetes Self- Care Activities Measure, Hospital Anxiety and Depression Scales, Multidimensional Diabetes Questionnaire and Patient Satisfaction Questionnaire. Results: Partners’ positive and negative support moderated the relationship between psychological morbidity and adherence to diet. Satisfaction with healthcare services also moderated the relationship between psychological morbidity and adherence to diet. Conclusions: Intervention programs to promote adherence to diet in patients with type 2 diabetes should focus on partners’ support and patient satisfaction with healthcare services.

The choroid plexus transcriptome reveals changes in type I and II interferon responses in a mouse model of Alzheimer's disease

Alzheimer's disease (AD) is a neurodegenerative disorder characterized by a marked decline in cognition and memory function. Increasing evidence highlights the essential role of neuroinflammatory and immune-related molecules, including those produced at the brain barriers, on brain immune surveillance, cellular dysfunction and amyloid beta (Aß) pathology in AD. Therefore, understanding the response at the brain barriers may unravel novel pathways of relevance for the pathophysiology of AD. Herein, we focused on the study of the choroid plexus (CP), which constitutes the blood-cerebrospinal fluid barrier, in aging and in AD. Specifically, we used the PDGFB-APPSwInd (J20) transgenic mouse model of AD, which presents early memory decline and progressive Aß accumulation, and littermate age-matched wild-type (WT) mice, to characterize the CP transcriptome at 3, 5-6 and 11-12months of age. The most striking observation was that the CP of J20 mice displayed an overall overexpression of type I interferon (IFN) response genes at all ages. Moreover, J20 mice presented a high expression of type II IFN genes in the CP at 3months, which became lower than WT at 5-6 and 11-12months. Importantly, along with a marked memory impairment and increased glial activation, J20 mice also presented a similar overexpression of type I IFN genes in the dorsal hippocampus at 3months. Altogether, these findings provide new insights on a possible interplay between type I and II IFN responses in AD and point to IFNs as targets for modulation in cognitive decline.

Hind limb ischemia in type 1 diabetic mice as useful tool to evaluate the neovascularization of tissue engineering constructs

Hind-limb ischemia has been used in type 1 diabetic mice to evaluate treatments for peripheral arterial disease or mechanisms of vascular impairment in diabetes [1]. Vascular deficiency is not only a pathophysiological condition, but also an obvious circumstance in tissue regeneration and in tissue engineering and regenerative medicine (TERM) strategies. We performed a pilot experiment of hind-limb ischemia in streptozotocin(STZ)-induced type 1 diabetic mice to hypothesise whether diabetes influences neovascularization induced by biomaterials. The dependent variables included blood flow and markers of arteriogenesis and angiogenesis. Type 1 diabetes was induced in 8-week-old C57BL/6 mice by an i.p. injection of STZ (50 mg/kg daily for 5 days). Hind-limb ischemia was created under deep anaesthesia and the left femoral artery and vein were isolated, ligated, and excised. The contralateral hind limb served as an internal control within each mouse. Non-diabetic ischaemic mice were used as experiment controls. At the hind-limb ischemia surgical procedure, different types of biomaterials were placed in the blood vessels gap. Blood flow was estimated by Laser Doppler perfusion imager, right after surgery and then weekly. After 28 days of implantation, surrounding muscle was excised and evaluated by histological analysis for arteriogenesis and angiogenesis. The results showed that implanted biomaterials were promote faster restoration of blood flow in the ischemic limbs and improved neovascularization in the diabetic mice. Therefore, we herein demonstrate that the combined model of hind-limb ischemia in type 1 diabetes mice is suitable to evaluate the neovascularization potential of biomaterials and eventually tissue engineering constructs.