Match It or Die: Proving Integrity by Equality

Cryptographic hash functions are commonly used as modification detection codes. The goal is to provide message integrity assurance by comparing the digest of the original message with the hash of what is thought to be the intended message. This paper generalizes this idea by applying it to general expressions instead of just digests: success of an equality test between a tainted data and a trusted one can be seen as a proof of high-integrity for the first item. Secure usage of hash functions is also studied with respect to the confidentiality of digests by extending secret-sensitive noninterference of Demange and Sands

Factors affecting adherence to guidelines for antithrombotic therapy in elderly patients with atrial fibrillation admitted to internal medicine wards

Current guidelines for ischemic stroke prevention in atrial fibrillation or flutter (AFF) recommend Vitamin K antagonists (VKAs) for patients at high-intermediate risk and aspirin for those at intermediate-low risk. The cost-effectiveness of these treatments was demonstrated also in elderly patients. However, there are several reports that emphasize the underuse of pharmacological prophylaxis of cardio-embolism in patients with AFF in different health care settings. AIMS: To evaluate the adherence to current guidelines on cardio-embolic prophylaxis in elderly (> 65 years old) patients admitted with an established diagnosis of AFF to the Italian internal medicine wards participating in REPOSI registry, a project on polypathologies/polytherapies stemming from the collaboration between the Italian Society of Internal Medicine and the Mario Negri Institute of Pharmacological Research; to investigate whether or not hospitalization had an impact on guidelines adherence; to test the role of possible modifiers of VKAs prescription. METHODS: We retrospectively analyzed registry data collected from January to December 2008 and assessed the prevalence of patients with AFF at admission and the prevalence of risk factors for cardio-embolism. After stratifying the patients according to their CHADS(2) score the percentage of appropriateness of antithrombotic therapy prescription was evaluated both at admission and at discharge. Univariable and multivariable logistic regression models were employed to verify whether or not socio-demographic (age >80years, living alone) and clinical features (previous or recent bleeding, cranio-facial trauma, cancer, dementia) modified the frequency and modalities of antithrombotic drugs prescription at admission and discharge. RESULTS: Among the 1332 REPOSI patients, 247 were admitted with AFF. At admission, CHADS(2) score was ≥ 2 in 68.4% of patients, at discharge in 75.9%. Among patients with AFF 26.5% at admission and 32.8% at discharge were not on any antithrombotic therapy, and 43.7% at admission and 40.9% at discharge were not taking an appropriate therapy according to the CHADS(2) score. The higher the level of cardio-embolic risk the higher was the percentage of antiplatelet- but not of VKAs-treated patients. At admission or at discharge, both at univariable and at multivariable logistic regression, only an age >80 years and a diagnosis of cancer, previous or active, had a statistically significant negative effect on VKAs prescription. Moreover, only a positive history of bleeding events (past or present) was independently associated to no VKA prescription at discharge in patients who were on VKA therapy at admission. If heparin was considered as an appropriate therapy for patients with indication for VKAs, the percentage of patients admitted or discharged on appropriate therapy became respectively 43.7% and 53.4%. CONCLUSION: Among elderly patients admitted with a diagnosis of AFF to internal medicine wards, an appropriate antithrombotic prophylaxis was taken by less than 50%, with an underuse of VKAs prescription independently of the level of cardio-embolic risk. Hospitalization did not improve the adherence to guideline

Adherence to antibiotic treatment guidelines and outcomes in the hospitalized elderly with different types of pneumonia

Background: Few studies evaluated the clinical outcomes of Community Acquired Pneumonia (CAP), Hospital-Acquired Pneumonia (HAP) and Health Care-Associated Pneumonia (HCAP) in relation to the adherence of antibiotic treatment to the guidelines of the Infectious Diseases Society of America (IDSA) and the American Thoracic Society (ATS) in hospitalized elderly people (65 years or older). Methods: Data were obtained from REPOSI, a prospective registry held in 87 Italian internal medicine and geriatric wards. Patients with a diagnosis of pneumonia (ICD-9 480-487) or prescribed with an antibiotic for pneumonia as indication were selected. The empirical antibiotic regimen was defined to be adherent to guidelines if concordant with the treatment regimens recommended by IDSA/ATS for CAP, HAP, and HCAP. Outcomes were assessed by logistic regression models. Results: A diagnosis of pneumonia was made in 317 patients. Only 38.8% of them received an empirical antibiotic regimen that was adherent to guidelines. However, no significant association was found between adherence to guidelines and outcomes. Having HAP, older age, and higher CIRS severity index were the main factors associated with in-hospital mortality. Conclusions: The adherence to antibiotic treatment guidelines was poor, particularly for HAP and HCAP, suggesting the need for more adherence to the optimal management of antibiotics in the elderly with pneumonia

Association of kidney disease measures with risk of renal function worsening in patients with type 1 diabetes

Background: Albuminuria has been classically considered a marker of kidney damage progression in diabetic patients and it is routinely assessed to monitor kidney function. However, the role of a mild GFR reduction on the development of stage 653 CKD has been less explored in type 1 diabetes mellitus (T1DM) patients. Aim of the present study was to evaluate the prognostic role of kidney disease measures, namely albuminuria and reduced GFR, on the development of stage 653 CKD in a large cohort of patients affected by T1DM. Methods: A total of 4284 patients affected by T1DM followed-up at 76 diabetes centers participating to the Italian Association of Clinical Diabetologists (Associazione Medici Diabetologi, AMD) initiative constitutes the study population. Urinary albumin excretion (ACR) and estimated GFR (eGFR) were retrieved and analyzed. The incidence of stage 653 CKD (eGFR < 60 mL/min/1.73 m2) or eGFR reduction > 30% from baseline was evaluated. Results: The mean estimated GFR was 98 \ub1 17 mL/min/1.73m2 and the proportion of patients with albuminuria was 15.3% (n = 654) at baseline. About 8% (n = 337) of patients developed one of the two renal endpoints during the 4-year follow-up period. Age, albuminuria (micro or macro) and baseline eGFR < 90 ml/min/m2 were independent risk factors for stage 653 CKD and renal function worsening. When compared to patients with eGFR > 90 ml/min/1.73m2 and normoalbuminuria, those with albuminuria at baseline had a 1.69 greater risk of reaching stage 3 CKD, while patients with mild eGFR reduction (i.e. eGFR between 90 and 60 mL/min/1.73 m2) show a 3.81 greater risk that rose to 8.24 for those patients with albuminuria and mild eGFR reduction at baseline. Conclusions: Albuminuria and eGFR reduction represent independent risk factors for incident stage 653 CKD in T1DM patients. The simultaneous occurrence of reduced eGFR and albuminuria have a synergistic effect on renal function worsening

Global urban environmental change drives adaptation in white clover.

Urbanization transforms environments in ways that alter biological evolution. We examined whether urban environmental change drives parallel evolution by sampling 110,019 white clover plants from 6169 populations in 160 cities globally. Plants were assayed for a Mendelian antiherbivore defense that also affects tolerance to abiotic stressors. Urban-rural gradients were associated with the evolution of clines in defense in 47% of cities throughout the world. Variation in the strength of clines was explained by environmental changes in drought stress and vegetation cover that varied among cities. Sequencing 2074 genomes from 26 cities revealed that the evolution of urban-rural clines was best explained by adaptive evolution, but the degree of parallel adaptation varied among cities. Our results demonstrate that urbanization leads to adaptation at a global scale

Global urban environmental change drives adaptation in white clover

Urbanization transforms environments in ways that alter biological evolution. We examined whether urban environmental change drives parallel evolution by sampling 110,019 white clover plants from 6169 populations in 160 cities globally. Plants were assayed for a Mendelian antiherbivore defense that also affects tolerance to abiotic stressors. Urban-rural gradients were associated with the evolution of clines in defense in 47% of cities throughout the world. Variation in the strength of clines was explained by environmental changes in drought stress and vegetation cover that varied among cities. Sequencing 2074 genomes from 26 cities revealed that the evolution of urban-rural clines was best explained by adaptive evolution, but the degree of parallel adaptation varied among cities. Our results demonstrate that urbanization leads to adaptation at a global scale

Type-based Analysis of Financial APIs

We examine some known attacks on the PIN verification framework, based on weaknesses of the underlying security API for the tamper-resistant Hardware Security Modules used in the network. We specify this API in an imperative language with cryptographic primitives, and we show how its flaws are captured by a notion of robustness that extends the one of Myers, Sabelfeld and Zdancewic to our cryptographic setting. We propose an improved API, give an extended type system for assuring integrity and for preserving confidentiality via randomized and non-randomized encryptions, and show our new API to be type-checkable

Attacking and Fixing PKCS#11 Security Tokens.

We show how to extract sensitive cryptographic keys from a variety of commercially available tamper resistant cryptographic security tokens, exploiting vulnerabilities in their RSA PKCS#11 based APIs. The attacks are performed by Tookan, an automated tool we have developed, which reverse-engineers the particular token in use to deduce its functionality, constructs a model of its API for a model checker, and then executes any attack trace found by the model checker directly on the token. We describe the operation of Tookan and give results of testing the tool on 17 commercially available tokens: 9 were vulnerable to attack, while the other 8 had severely restricted functionality. One of the attacks found by the model checker has not previously appeared in the literature. We show how Tookan may be used to verify patches to insecure devices, and give a secure configuration that we have implemented in a patch to a software token simulator. This is the first such configuration to appear in the literature that does not require any new cryptographic mechanisms to be added to the standard. We comment on lessons for future key management APIs