The design and verification of cryptographic protocols is a notoriously difficult task, even in abstract Dolev-Yao models. This is mainly due to several sources of unboundedness (size of messages, number of sessions, . . . ). In this paper, we characterize a class of protocols for which secrecy for an unbounded number of sessions is decidable. More precisely, we present a simple transformation ...

In recent years, content recommendation systems in large websites (or content providers) capture an increased focus. While the type of content varies, e.g. movies, articles, music, advertisements, etc., the high level problem remains the same. Based on knowledge obtained so far on the user, recommend the most desired content. In this paper we present a method to handle the well known user-cold-...

A single Memory impairment substantially reduces the quality of life in elderly. It is associated with thealteration neurotrophic (NT) factors, such as brain-derived factor (BDNF) and glutamatereceptor N-methyl-D-aspartate (NMDA). Exercise often used to reduce cognitive impairment. Previousstudies show that benefits aerobic exercises on impairments are correlated increasing BDNFand preventing p...