We study the problem of Key Exchange (KE), where authentication is two-factor and based on both electronically stored long keys and human-supplied credentials (passwords or biometrics). The latter credential has low entropy and may be adversarily mistyped. Our main contribution is the first formal treatment of mistyping in this setting. Ensuring security in presence of mistyping is subtle. We s...

Mario Plebani Dipartimento Medicina di Laboratorio Azienda Ospedaliera-Università di Padova Via Giustiniani 2, 35128 Padova, Italy Phone: +39 049 8212792 Fax: +39 049 663240 e-mail: mario.plebaniaunipd.it Summary: Laboratory medicine, as a specialty that had prioritised quality control, has always been at the for efront of error reduction. In the last decades, a dramatic decr ease of analytical...

Knowledge Engineering (KE) and Software Engineering (SE) have similar goals: developing methods, techniques, and tools for the building process of either knowledge based systems (kbs) or (complex) traditional software. Due to this kinship it seems obvious to analyse to which extent both areas, KE and SE, can benefit from each other. In this paper we want to argue from the KE point of view. The ...

OBJECTIVE The ketones d-β-hydroxybutyrate (BHB) and acetoacetate are elevated during prolonged fasting or during a "ketogenic" diet. Although weight loss on a ketogenic diet may be associated with decreased appetite and altered gut hormone levels, it is unknown whether such changes are caused by elevated blood ketones. This study investigated the effects of an exogenous ketone ester (KE) on app...

Cytotoxic T lymphocytes (CTLs) are crucial for immune control of viral infections. "Functional avidity," defined by the sensitizing dose of exogenously added epitope yielding half-maximal CTL triggering against uninfected target cells (SD(50)), has been utilized extensively as a measure of antiviral efficiency. However, CTLs recognize infected cells via endogenously produced epitopes, and the r...

The C terminus (ct) of protein kinase C-alpha (PKCalpha) has a type I PDZ binding motif, whereas GluR2 has a type II PDZ binding motif. Both motifs are recognized by the PDZ domain of protein interacting with protein kinase C (PICK1), and PICK1-PKCalpha-controlled phosphorylation regulates the synaptic expression and function of GluR2. Here, we show that a specific mutation within the carboxyla...

Overexpression of cyclin D1 is believed to endow mammary epithelial cells (MEC) with a proliferative advantage by virtue of its contribution to pRB inactivation. Accordingly, abrogation of the kinase-dependent function of cyclin D1 is sufficient to render mice resistant to breast cancer initiated by ErbB2. Here, we report that mouse cyclin D1(KE/KE) MECs (deficient in cyclin D1 activity) upregu...

The aim of this study was to investigate the difference in the magnitude of muscle damage between maximal eccentric exercises of the elbow flexors (EF) and knee extensors (KE). Twelve sedentary male volunteers participated in the study. Range of motion (ROM), isometric peak torque (IPT), delayed onset of muscle soreness (DOMS), creatine kinase activity (CK), and myoglobin concentration (Mb) wer...