Bernardo Magri

Learn More
We provide a formal treatment of security of digital signatures against subversion attacks (SAs). Our model of subversion generalizes previous work in several directions, and is inspired by the proliferation of software attacks (e.g., malware and buffer overflow attacks), and by the recent revelations of Edward Snowden about intelligence agencies trying to(More)
PROBLEM Recent evidence emphasizes the role of natural killer cells (NKs) as potential effectors of peritoneal immune surveillance directed against the outgrowth of endometrial cells, refluxed with menstrual debris, in ectopic sites. This NK-mediated cytotoxicity toward autologous endometrial antigens seems to be significantly decreased in endometriosis(More)
We put forward a new framework that makes it possible to re-write and/or compress the content of any number of blocks in decentralized services exploiting the blockchain technology. As we argue, there are several reasons to prefer an editable blockchain, spanning from the necessity to remove improper content and the possibility to support applications(More)
The fabrication process of integrated circuits (ICs) is complex and requires the use of off-shore foundries to lower the costs and to have access to leading-edge manufacturing facilities. Such an outsourcing trend leaves the possibility of inserting malicious circuitry (a.k.a. hardware Trojans) during the fabrication process, causing serious security(More)
Clinical and experimental evidence supports the hypothesis that some steroidal drugs with androgenic effects might influence the immune system. The present study investigated whether gestrinone is able to affect macrophage and lymphocyte activity in vitro. Macrophage function was determined by phagocytosis of fluorescent microspheres, whilst lymphocyte(More)
We provide a formal treatment of security of digital signatures against subversion attacks (SAs). Our model of subversion generalizes previous work in several directions, and is inspired by the proliferation of software attacks (e.g., malware and buffer overflow attacks), and by the recent revelations of Edward Snowden about intelligence agencies trying to(More)
We put forward a new framework that makes it possible to re-write or compress the content of any number of blocks in decentralized services exploiting the blockchain technology. As we argue, there are several reasons to prefer an editable blockchain, spanning from the necessity to remove inappropriate content and the possibility to support applications(More)
Recent evidence suggested that periovulatory treatment with an immunomodulatory agent such as verapamil might be an effective alternative to conventional treatment for endometriosis-associated subfertility. In particular, it has been reported that the drug might reduce the accentuated macrophage peritoneal activation demonstrated in patients with(More)