Kinetics studies of the superoxide-mediated electron transfer reactions between rubredoxin-type proteins and superoxide reductases

J Biol Inorg Chem (2006) 11: 433–444 DOI 10.1007/s00775-006-0090-0

Patologia óssea do insuficiente renal crónico: desafio clínico-biológico ; Caracterização da osteodistrofia renal e efeitos da biocompatibilidade de membranas de hemodiálise, na remodelação óssea

Resumo: Os resultados das nossas investigações, apresentadas ao longo desta dissertação,contribuíram para a otimização do diagnóstico invasivo e não invasivo da osteodistrofia renal e permitiram evidenciar a relevância, para a expressão clínica e histológica da ODR, de algumas articularidades específicas da população hemodialisada, nomeadamente: a utilização de membranas de hemodiálise mais biocompatíveis e com elevada permeabilidade, o recurso a técnicas de hemodiafiltração com otimização da capacidade convectiva, as limitações dos marcadores bioquímicos de remodelação óssea ou a insuficiência / deficiência em vitamina D nativa (bem como os resultados da suplementação com esta vitamina). Testámos, pela primeira vez em doentes hemodialisados, novos marcadores da formação e reabsorção óssea, que validámos mediante a comparação com os resultados da histomorfometria óssea. No seu conjunto, e de forma integrada, as nossas investigações permitiram-nos: - Evidenciar a diminuição da expressão do recetor da PTH/PTHrP na cartilagem de crescimento, num modelo animal de IRC, o que explica, pelo menos em parte, o atraso de crescimento observado nesta patologia, bem como a diminuição da resposta à ação da PTH; - Demonstrar as vantagens da determinação da isoforma óssea da fosfatase alcalina, em relação à fosfatase alcalina total, no diagnóstico diferencial entre baixa e elevada remodelação óssea; - Utilizar, pela primeira vez em hemodialisados, a piridinolina e a desoxipiridinolina no diagnóstico da reabsorção óssea. Este foi o primeiro marcador sérico específico da atividade osteoclástica, utilizado com sucesso em doentes anúricos em hemodiálise. Evidenciámos uma excelente correlação destes dois marcadores bioquímicos com a superfície osteoclástica e com o número de osteoclastos/mm2;- Demonstrar as acentuadas limitações de outros marcadores da formação e reabsorção óssea (nomeadamente a osteocalcina, o propeptido carboxiterminal do procolagénio tipo I-PICP, e o Telopeptido do colagénio tipo I – ICTP) com base nas correlações entre os doseamentos séricos ou plasmáticos destes marcadores e a biópsia óssea com avaliação histomorfométrica; -Evidenciar as limitações induzidas pela sobrecarga alumínica na interpretação dos níveis séricos dos marcadores não invasivos da remodelação óssea;-Testar a eficácia e segurança da utilização de “microdoses” de desferroxamina na terapêutica da intoxicação alumínica, em doentes com acentuada exposição a este metal;-Demonstrar que os doentes hemodialisados cronicamente com dialisadores de poliacrilonitrilo (membranas de alta permeabilidade),apresentavam menor ativação osteoblástica e osteoclástica, que os doentes dialisados com membranas de cuprofano(baixa permeabilidade), sendo os níveis de iPTH semelhantes em ambos os grupos estudados. Estes resultados apontam para uma menor ativação da remodelação óssea quando se utilizam membranas de hemodiálise mais biocompatíveis e/ou de maior permeabilidade, o que se poderá relacionar com a ultrafiltração de mediadores da ativação celular ou com a menor ativação dos mecanismos estimuladores da remodelação óssea, por parte destas membranas. Entre os mediadores da remodelação óssea que demonstrámos serem relevantes e estarem aumentados no soro de hemodialisados com membranas de baixo fluxo, contam-se a beta-2-microglobulina (2-M) e algumas citoquinas, com ação estimuladora das linhagens celulares envolvidas na remodelação óssea. Demonstrámos igualmente uma correlação positiva dos níveis séricos de 2-M com os níveis séricos da osteocalcina, da isoenzima óssea da fosfatase alcalina (marcadores da formação óssea) e com os níveis séricos da piridinolina (marcador da reabsorção óssea). Os níveis séricos de 2-M correlacionaram-se ainda, de forma negativa, com o volume osteoide (matriz óssea não calcificada). Nestes doentes hemodialisados, demonstrámos a presença de níveis séricos aumentados da interleucina-1, do antagonista do recetor da interleucina-1, da interleucina-6 e do recetor solúvel da interleucina-6. Salientamos as relações inversas que observámos, por um lado entre os níveis de antagonista do recetor da interleucina-1 e a superfície osteoblástica, e por outro lado entre o rácio do recetor da interleucina-6 / interleucina-6 (IL6-r/IL6) e a superfície osteoclástica. De acordo com estes nossos resultados originais, entendemos que a interferência nos níveis circulantes e na ativação local destes mediadores poderá justificar, em grande parte, o aumento da prevalência de doença óssea adinâmica, descrita por nós e por outros grupos. Evidenciámos uma elevadíssima prevalência de doença adinâmica (>50% dos doentes), numa população de hemodialisados sem exposição prévia ao alumínio, tratados de acordo com os K/DOQI “guidelines” e que ao longo de um ano mantiveram níveis séricos de cálcio e de fósforo controlados. Consequentemente, os doentes tratados de forma otimizada apresentaram uma prevalência surpreendentemente elevada de doença adinâmica. Os nossos resultados (classificados com o grau de evidência máxima pelos peritos KDIGO) contribuíram para dar suporte à grande diferença nos guidelines K/DOQI (2003) e KDIGO (2009) no que respeita aos valores alvo da PTH. Estamos conscientes que de que o facto de termos uma percentagem tão elevada de doença óssea adinâmica nas nossas populações de hemodialisados, bem como a demonstração de que alguns doentes com valores de PTH intacta (2ª geração) de cerca de 600 pg/ml tinham doença óssea adinâmica, condicionaram os novos objetivos KDIGO para a PTH. Os nossos resultados suportam, em nossa opinião, a adequação e vantagem da utilização dos critérios da KDIGO em vez dos KDOQI. Tendo em conta que os primeiros definem objetivos para a PTH entre 2 e 9 vezes o limite superior do normal e não se comprometem com valores alvo absolutos e rígidos (definidos previamente nos KDOQI entre 150 e 300 pg/mL), esta nova abordagem parece-nos mais correta.Na nossa investigação clínica, caracterizámos ainda a população hemodialisada portuguesa no que respeita aos níveis séricos de calcidiol, identificando a população com suficiência, insuficiência ou deficiência em vitamina D3. Documentámos uma acentuada prevalência de insuficiência e mesmo de deficiência nesta vitamina, numa vasta população de hemodialisados, a qual, muito provavelmente, reflete de forma fidedigna, o que se pode observar na restante população de doentes portugueses IRC em estádio 5d (em diálise). Descrevemos, pela primeira vez em doentes hemodialisados, uma associação entre deficiência em calcidiol e a presença de fatores de risco cardiovascular (que têm sido identificados nos doentes urémicos). A nossa investigação conduziu-nos a resultados originais, ao identificar os níveis baixos de 25(OH)vitamina D3 como um provável fator de risco cardiovascular em hemodialisados, visto que a deficiência nesta vitamina se associou, de forma muito significativa, ao aumento da prevalência de calcificações vasculares, a inflamação, a pressão de pulso mais elevada, a hipertrofia ventricular esquerda, a insuficiência cardíaca e a níveis séricos aumentados de “BNP-Brain natriuretic peptide”. Finalmente, numa avaliação prospetiva, de intervenção terapêutica, corrigimos a insuficiência ou deficiência em 25(OH)vitamina D3 e demonstrámos que essa correção se associou a uma redução dos fatores de risco cardiovascular. Esta última intervenção foi totalmente inovadora, visto ser a primeira avaliação prospetiva da evolução dos fatores de risco cardiovasculares, em função da suplementação com vitamina D nativa, em doentes hemodialisados. Em resumo, pensamos que os resultados das nossas investigações, acima sumarizadas e apresentadas ao longo dos diversos capítulos desta dissertação,contribuiram para uma nova perspetiva da osteodistrofia renal e para recolocar o foco da atenção dos nefrologistas no tecido ósseo e no eixo paratormona – vitamina D – remodelação óssea. Este eixo surje claramente envolvido em múltiplos processos fisiopatológicos, que suportam a elevada morbilidade e mortalidade (nomeadamente de causa cardiovascular) observada nos doentes urémicos.---------ABSTRACT: The results of our research, presented throughout this thesis, contributed towards the optimisation of the invasive and non-invasive diagnosis of renal osteodystrophy. They have also highlighted the importance, to the clinical and histological expression of the ODR, of some specific characteristics of the haemodialysis population, including: the use of biocompatible high permeability haemodialysis membranes, the use of haemodiafiltration techniques with convection enhancement, as well as the limitations of biochemical markers of bone turnover or native vitamin D insufficiency/deficiency (along with the supplementation results of this vitamin). New bone formation and resorption markers, which were validated by comparison with the results of bone histomorphometry, have been tested for the first time on haemodialysis patients.As a whole, and in an integrated approach, our research enabled us to: - Show the decrease of the PTH/PTHrP receptor expression in cartilage growth, used on an IRC animal model, which explains, to some extent, not only the delayed growth observed in this pathology, but also the slow response to PTH. - Point out the advantages of the determination of bone isoform of alkaline phosphatase, in relation to the total alkaline phosphatase, in the differential diagnosis between low and high-bone turnover.- Use pyridinoline and deoxypyridinoline in the diagnosis of bone resorption for the first time on haemodialysis patients. This was the first specific serum market of the osteoclastic activity, which was successfully used on anuric patients undergoing haemodialysis treatment. We also observed an excellent correlation of these biochemical markers with the osteoclastic surface and the number of osteoclasts/mm2. - Demonstrate the sharp limitations of other markers of bone formation and resorption (namely osteocalcin, carboxyterminal propeptide of type I-PICP procollagen and telopeptide of type I-ICTP collagen) based on correlations between these markers’ serum or plasma assays and bone biopsy with histomorphometric assessment.-Show the limitations induced by aluminium overload in the interpretation of serum levels of bone remodelling non-invasive markers.-Test the efficacy and the safety of the use of deferoxamine “microdoses” for treatment of aluminium overload among patients with high levels of serum aluminium. - Demonstrate that patients with chronic haemodialysis dialysers of polyacrylonitrile (high permeability membranes) show a lower osteoblastic and osteoclastic activation than those undergoing dialysis with cuprofan membranes (low permeability), being the iPTH levels similar in both groups of patients. These findings point towards a lower activation of bone remodelling when using more biocompatible dialysis membranes and/or of higher permeability, which may relate to the ultrafiltration of cell activation mediators or to the lower activation of the stimulating mechanisms of bone remodelling, regarding the membranes. Beta-2-microglobulin (2-M) and some cytokines that play a role/participate in bone remodelling are among the bone remodelling mediators, which we demonstrated to be relevant and to be increased in the serum of haemodialysis with low flow membranes. We also proved that there is a positive correlation of serum 2-M levels not only with serum osteocalcin levels, of the bone isoenzyme of alkaline phosphatase (bone forming markers), but also with levels of serum pyridinoline (bone resorption marker).Serum 2-M levels correlate negatively with the volume of osteoid (uncalcified bone matrix). We also demonstrated the presence of elevated serum levels of interleukin-1,interleukin-1 receptor antagonist, interleukin-6 and soluble interleukin-6 receptor in haemodialysis patients. We stress the inverse relationship which we observed on one hand between the interleukin-1 receptor antagonist levels and the osteoblastic surface and on the other between the ratio of interleukin-6 receptor / interleukin-6 (IL6-r/IL6) and the osteoblastic surface. According to these unique findings, we believe that the interference in the circulating levels and in the local activation of these mediators may partly explain the rising prevalence of adynamic bone disease. A high prevalence of adynamic disease has also been observed in a haemodialysis population (>50% of patients) with no previous exposure to aluminium. The patients were treated according to K/DOQI guidelines and maintained controlled serum calcium and phosphorus levels over one year. As a result, the patients who received optimised treatment showed a surprisingly high prevalence of adynamic disease. Our results, which were ranked with the highest degree of evidence by KDIGO experts, contributed to the great difference regarding the target values of PTH in the K/DOQI (2003) and KDIGO (2009) guidelines. We are aware that the finding of such a high percentage of adynamic bone disease in our haemodialysis population, as well as the evidence that some patients with intact PTH values (2nd generation) of 600 pg/ml suffered from adynamic bone disease, have hindered, the new KDIGO objectives to PTH.In our opinion, our results support the suitability and the advantage of using KDIGO criteria instead of KDOQI. This seems to be the right approach when taking into consideration that KDIGO sets objectives to PTH between 2 and 9 times the normal upper limit and does not compromise with the rigid and absolute target values (between 150 and 300 pg/mL) previously defined by KDOQI. In our clinical research, the Portuguese haemodialysis population was characterised in terms of serum clacidiol levels and identified as having vitamin D3 sufficiency, insufficiency or deficiency. It was also recorded the prevalence of severe vitamin D3 insufficiency and even deficiency in a large haemodialysis population, which most likely provides a reliable picture of the rest of the population in IRC Portuguese patients with 5d stage (undergoing dialysis). We described for the first time in aemosialysis patients an association between calcidiol deficiency and the presence of ardiovascular risk factors, (which have been identified on uraemic patients).Our research led us to unique findings by having identified the low levels of 25(OH) vitamin D3 as a likely cardiovascular risk factor in patients undergoing haemodialysis treatment, given that deficiency in this vitamin has been significantly associated not only with a rise in the prevalence of vascular calcifications, but also inflammation, left ventricular hypertrophy, high pulse pressure and high serum BNPBrain natriuretic peptide levels. Finally, based on a prospective assessment of therapeutic intervention, 25(OH)vitamin D3 insufficiency or deficiency was corrected and we were able to demonstrate that this same correction was associated with a reduction in cardiovascular risk factors. This was a forward-looking intervention regarding the supplementation of native vitamin D in haemodialysis patients, since it was the first prospective assessment of the evolution of cardiovascular risk factors. In short, the results of our research, summarised above and presented throughout the various chapters of this thesis, contributed towards a new perspective of the renal osteodystrophy and also to draw the nephrologists’ attention to the bone tissue and to the axis PTH – vitamin D – bone remodelling. This axis appears clearly involved in multiple physiopathological processes, which support the high morbidity and mortality rate, (particularly of cardiovascular causes), observed in uraemic patients.

The impact of type of language and number of reasons on purchase intent

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Establishment and characterization of a human model of the blood-brain barrier

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade N ova de Lisboa, Faculdade de Ciências e Tecnologia

Influence of lime type and curing conditions on lime and lime-metakaolin mortars

Durability of Building Materials and Components (Vasco Peixoto de de Freitas, J.M.P.Q. Delgado, eds.), Building Pathology and Rehabilitation, vol. 3, VIII, 105-126. ISBN: 978-3-642-37474-6 (Print) 978-3-642-37475-3 (Online). Springer-Verlag Berlin Heidelberg. DOI: 10.1007/978-3-642-37475-3_5

Design of a balanced scorecard-type management system for a back-office department in a bank

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

The strength of the waterbed effect depends on tariff type

We show that the waterbed effect, i.e. the pass-through of a change in one price of a firm to its other prices, is much stronger if the latter include subscription rather than only usage fees. In particular, in mobile network competition with a fixed number of customers, the waterbed effect is full under two-part tariffs, while it is only partial under linear tariffs.

Produção de biohidrogénio por cianobactérias: optimização da produção de biohidrogénio pela Anabaena sp. PCC 7120 wild type e mutantes

Dissertação para obtenção do Grau de Mestre em Energia e Bioenergia

How can clusters help in the product type choice? The case of a specialized retail store

This work project (WP) is a study about a clustering strategy for Sport Zone. The general cluster study’s objective is to create groups such that within each group the individuals are similar to each other, but should be different among groups. The clusters creation is a mix of common sense, trial and error and some statistical supporting techniques. Our particular objective is to support category managers to better define the product type to be displayed in the stores’ shelves by doing store clusters. This research was carried out for Sport Zone, and comprises an objective definition, a literature review, the clustering activity itself, some factor analysis and a discriminant analysis to better frame our work. Together with this quantitative part, a survey addressed to category managers to better understand their key drivers, for choosing the type of product of each store, was carried out. Based in a non-random sample of 65 stores with data referring to 2013, the final result was the choice of 6 store clusters (Figure 1) which were individually characterized as the main outcome of this work. In what relates to our selected variables, all were important for the distinction between clusters, which proves the adequacy of their choice. The interpretation of the results gives category managers a tool to understand which products best fit the clustered stores. Furthermore, as a side finding thanks to the clusterization, a STP (Segmentation, Targeting and Positioning) was initiated, being this WP the first steps of a continuous process.

Non-gyrator type active inductors

Modern CMOS radio frequency (RF) Receivers have enabled efficient and increasing applications. The main requirement is to have system in a single chip, in order to minimize area and cost. For the purpose it is required the development of inductorless circuits for the key blocks of an RF receiver. Examples of this key blocks are RC oscillators, RF band pass filters, and Low Noise Amplifiers. The present dissertation presents an inductorless wideband MOSFET-only RF Non-Gyrator Type of Active Inductors with low area, low cost, and very low power, capable of covering the whole WMTS, and ISM, band and intended for biomedical applications. The proposed circuit is based on a floating capacitor connected between two controlled current sources. The first current source, which is controlled by the circuit input voltage, has two objectives: supply current to the capacitor (

Study of Helium II heat transport phenomena in superconducting rutherford type cables

This thesis is a study of how heat is transported in non-steady-state conditions from a superconducting Rutherford cable to a bath of superfluid helium (He II). The same type of superconducting cable is used in the dipole magnets of the Large Hadron Collider (LHC). The dipole magnets of the LHC are immersed in a bath of He II at 1.9 K. At this temperature helium has an extremely high thermal conductivity. During operation, heat needs to be efficiently extracted from the dipole magnets to keep their superconducting state. The thermal stability of the magnets is crucial for the operation of the LHC, therefore it is necessary to understand how heat is transported from the superconducting cables to the He II bath. In He II the heat transfer can be described by the Landau regime or by the Gorter-Mellink regime, depending on the heat flux. In this thesis both measurements and numerical simulation have been performed to study the heat transfer in the two regimes. A temperature increase of 8 2 mK of the superconducting cables was successfully measured experimentally. A new numerical model that covers the two heat transfer regimes has been developed. The numerical model has been validated by comparison with existing experimental data. A comparison is made between the measurements and the numerical results obtained with the developed model.

Evaluation of long term persistence of Diabetes Mellitus Type II treatment newly diagnosed patients in Lisbon and Tagus health administration region : a three year follow up study

RESUMO: Raional: A persistência à terapêutica é o tempo em qualquer antidiabético oral, desde o seu início até à descontinuação de todas as medicações ou até ao fim do período do estudo. Os objetivos deste estudo foi a análise da persistência à terapêutica no segundo e terceiro anos após início do tratamento em doentes adultos diagnosticados na região de Lisboa e Vale do Tejo e determinar o efeito de determinadas variáveis na persistência a longo prazo. Métodos: Um estudo retrospetivo não interventivo foi desenhado com base nos dados a obter do SIARS (prescrições e aquisições na farmácia) e Pordata. A persistência foi quantificada como a percentagem de doentes que continuam a adquirir pelo menos um antidiabético oral ao segundo e terceiro anos após a compra da primeira receita. A associação entre a persistência e o segundo e terceiro anos com cada uma das co-variáveis foi aferido pelo teste qui-quadrado e os odd ratios foram calculados com recurso a um modelo de regressão logística. Resultados: A persistência à terapêutica obtida foi de 80% e 62% para o segundo e terceiro anos após início da terapêutica. Odd ratios para primeiro e segundo ano: número de grupos farmacoterapêuticos diferentes (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); idade (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); sexo (OR = 1.163, 0.983 – 1.377, p = 0.079); número de diferentes prescritores (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); instituição de prescrição (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); grupo farmacoterapêutico (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relação com o médico (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) e custo médio mensal por grupo farmacoterapêutico (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusões: O valor da persistência à terapêutica no segundo ano é ligeiramente acima do que é mencionado na literatura e não existem dados para comparar os resultados do terceiro ano. Relativamente ao efeito das co-variáveis no segundo e terceiro anos após o início do tratamento, os resultados são sobreponíveis, sendo que o sexo não está associado à persistência ao terceiro ano.----------------------------------ABSTRACT: Background: Therapy persistence is the time on any antidiabetic medication, from initiation of therapy to discontinuation of all medications or the end of the study period. The aim of the study was to analyse the therapy persistence in the second and third years after treatment initiation in newly diagnosed adult patients in the Lisbon and Tagus Valley region and to determine the effect of several co-variables in the long term persistence. Methods: A retrospective non-interventional study based on SIARS data (drug prescriptions and acquisitions) and Pordata was designed. Persistence was quantified as the percentage of patients that continued to purchase at least one type of antidiabetic at year 2 and 3 after the date of first prescription acquisition. Association between persistence at second and third years with each of the other co-variables were verified by using the Chi-Square test and odds ratio were calculated using a regression logistic model. Results: Therapy persistence obtained was 80% and 62% for the second and third years after treatment initiation. Odd ratios for second and third years: number of different pharmacotherapeutic groups (OR = 2.167, 1.807 – 2.598, p = 0.000 / OR = 1.863, 1.621 – 2.142, p = 0.000); age (OR = 0.914, 0.772 – 1.081, p = 0.294 / OR = 0.875, 0.764 – 1.002, p = 0.054); gender (OR = 1.163, 0.983 – 1.377, p = 0.079); number of different prescribers (OR = 3.594, 3.030 – 4.262, p = 0.000 / OR = 2.167, 1.886 – 2.491, p = 0.000); institution of prescription (OR = 0.725, 0.698 – 0.753, p = 0.000 / OR = 0.683, 0.650 – 0.717, p = 0.000); pharmacotherapeutic group (OR = 1.056, 1.043 – 1.069, p = 0.000 / OR = 1.077, 1.060 – 1.095, p = 0.000); relationship with the physician (OR = 0.834, 0.816 – 0.852, p = 0.000 / OR = 0.799, 0.777 – 0.821, p = 0.000) and average cost per month and per pharmacotherapeutic group (OR = 0.954, 0.942 – 0.968, p = 0.000 / OR = 0.930, 0.914 – 0.947, p = 0.000). Conclusions: Second year therapy persistence value is slightly above of what is referenced in literature and no data was found to compare the third year value. Regarding the effect of the co-variables analysed at second and third years after treatment initiation, the results were overlapping with gender being not associated with persistence at the third year.

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