Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)

Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it avoids the complete dismissal of the interested protocol and allows honest agents to continue to use it until a corrected version is released. Our approach is based on the knowledge of the network topology, which we model as a graph, and on the consequent possibility of creating an interference to an ongoing attack of a Dolev-Yao attacker, by means of non-collaboration actuated by ad-hoc benign attackers that play the role of network guardians. Such guardians, positioned in strategical points of the network, have the task of monitoring the messages in transit and discovering at runtime, through particular types of inference, whether an attack is ongoing, interrupting the run of the protocol in the positive case. We study not only how but also where we can attempt to defend flawed security protocols: we investigate the different network topologies that make security protocol defense feasible and illustrate our approach by means of concrete examples.Comment: 29 page

Coronavirus COVID-19 surface properties: Electrical charges status

Aim of this work is to analyze the coronavirus viral surface properties related the pattern of electrical features. This chemical physical property is relevant and crucial to set profile of diffusion, severity of disease, efficacy of therapeutic strategy and in order to search new way to fight COVID-19 and the NEW VARIANT. The phenomena of immune evasion and the different pattern of efficacy towards variants of some vaccine or some antibodies combination produce the need to verify if considering the electrical feature of viral surface can be a right tool or not. As result of this research it is possible to submit to the scientist that the viral surface properties and electrical feature can be an element to be considered in various preventive or treatment measure. The specificity of action of some vaccine or antibodies seem to tell us that also the aspecific methods are useful. A specific chemico physical factors can influence the electrical charges viral surface behavior. Hpertonic saline solution, humidity, electrical charge barrier in mask are simply example of the effect. That can be obtained action on viral surface chemico -physical properties

Galenic hospital laboratory during COVID-19 emergency: A practical experience in an advanced country

In the actual COVID-19 emergency, as pandemic disease, in many countries at the same time there was the rapid need to use preventive and therapeutic measures to control the diffusion of infection. In PC AREA (Italy north) in the period between March and May 2020, in fact, were observed about 1000 deaths related to COVID-19 (in march 2020 + 271% death vs 2019). Between all the measure submitted by public international institution like WHO, OMS, CDC and many other, the deeply use of disinfectants product became a crucial fact in safety procedure and protocols. The high amount of this disinfectants and antiseptic was needed especially in hospital settings or assimilates structure (named as COVID-19 hospital) but also for territorial healthcare need. So it was needed to buy from industries this product but also to start an internal production in galenic laboratories. This because pharmaceutical industries not provided in some cases the request amount of this “”safe life products. In this work is reported a practical experience in a public hospital, Pc AREA related GALENIC extra -ORDINARY PRODUCTION of disinfectants and antispetics. The result of this local experience experience can be easily translated to other countries in the world (advanced or also not advanced)

COVID-19 immunologic and toxicological implication: Innate immune sensor and immune escape

Related COVID-19 and new Variant and treatment like vaccine it is relevant to deeply verify the immunologic implication and in a special way regarding the innate immune sensor system and the evasion of the immune system. This can be crucial to search for new strategies to fight this severe disease under a Toxicology-antidotes point of view. The rapid emergence of a new variant is under study by researchers because some of these show different responses to antibodies as reported in literature (vaccine efficacy?). In this article after a review part it is submitted a collection of hypothesis of solution to contrast COVID-19. Spread and mortality and project hypothesis. A new toxicological approach also in a viral respiratory disease can be a novelty to adequately fight this severe condition and this focusing not only towards specific immunity but also a specific measures. A toxicological approach in drug- vaccine like products designing makes it possible to get the clinical outcomes needed

Coronavirus COVID-19 surface properties: Electrical charges status

Aim of this work is to analyze the coronavirus viral surface properties related the pattern of electrical features. This chemical physical property is relevant and crucial to set profile of diffusion, severity of disease, efficacy of therapeutic strategy and in order to search new way to fight COVID-19 and the NEW VARIANT. The phenomena of immune evasion and the different pattern of efficacy towards variants of some vaccine or some antibodies combination produce the need to verify if considering the electrical feature of viral surface can be a right tool or not. As result of this research it is possible to submit to the scientist that the viral surface properties and electrical feature can be an element to be considered in various preventive or treatment measure. The specificity of action of some vaccine or antibodies seem to tell us that also the aspecific methods are useful. A specific chemico physical factors can influence the electrical charges viral surface behavior. Hpertonic saline solution, humidity, electrical charge barrier in mask are simply example of the effect. That can be obtained action on viral surface chemico -physical properties

Preclinical Validation of a Semi-Autonomous Robot for Transperineal Prostate Biopsy

Prostate biopsy is a manual procedure carried out mostly under ultrasound (US) guidance to confirm the presence of cancer. The standard biopsy is random and includes at least 12 insertions; targeted biopsy makes use of dedicated hardware and software, but is still performed manually. We present here the pre-clinical validation of PROST, a robot primarily designed to automate targeted transperineal biopsy. The overall validation of the system was performed on cadavers, while some features, such as image segmentation, were tested on human tissue. PROST is designed to minimize human error by introducing some autonomy in the execution of key steps of the procedure, i.e., target selection, image fusion and needle positioning. The protocol was approved by the ethics committee; 10 cadavers were included in the study. We envision that PROST has the potential to increase the detection of clinically significant prostate cancer, to simplify the procedure, to reduce human errors and to shorten training time. The use of a robot for the biopsy of the prostate will create the possibility to include also a treatment, such as focal ablation, to be delivered through the same system

FILOSE: a svenning* robot

The trend of biomimetic underwater robots has emerged as a search for an alternative to traditional propeller-driven underwater vehicles. The drive of this trend, as in any other areas of bioinspired and biomimetic robotics, is the belief that exploiting solutions that evolution has already optimized leads to more advanced technologies and devices