An Empirical Study on Android-related Vulnerabilities

Mobile devices are used more and more in everyday life. They are our cameras, wallets, and keys. Basically, they embed most of our private information in our pocket. For this and other reasons, mobile devices, and in particular the software that runs on them, are considered first-class citizens in the software-vulnerabilities landscape. Several studies investigated the software-vulnerabilities phenomenon in the context of mobile apps and, more in general, mobile devices. Most of these studies focused on vulnerabilities that could affect mobile apps, while just few investigated vulnerabilities affecting the underlying platform on which mobile apps run: the Operating System (OS). Also, these studies have been run on a very limited set of vulnerabilities. In this paper we present the largest study at date investigating Android-related vulnerabilities, with a specific focus on the ones affecting the Android OS. In particular, we (i) define a detailed taxonomy of the types of Android-related vulnerability; (ii) investigate the layers and subsystems from the Android OS affected by vulnerabilities; and (iii) study the survivability of vulnerabilities (i.e., the number of days between the vulnerability introduction and its fixing). Our findings could help OS and apps developers in focusing their verification & validation activities, and researchers in building vulnerability detection tools tailored for the mobile world

ISR corrections to associated HZHZ production at future Higgs factories

We evaluate the QED corrections due to initial state radiation (ISR) to associated Higgs boson production in electron-positron ($e^+ e^-$) annihilation at typical energies of interest for the measurement of the Higgs properties at future $e^+ e^-$ colliders, such as CEPC and FCC-ee. We apply the QED Structure Function approach to the four-fermion production process $e^+ e^- \to \mu^+ \mu^- b \bar b$, including both signal and background contributions. We emphasize the relevance of the ISR corrections particularly near threshold and show that finite third order collinear contributions are mandatory to meet the expected experimental accuracy. We analyze in turn the r\^ole played by a full four-fermion calculation and beam energy spread in precision calculations for Higgs physics at future $e^+ e^-$ colliders.Comment: 11 pages, 3 figure

Fractional semantics for classical logic

This article presents a new (multivalued) semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement of traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions

A cloud robotics architecture for an emergency management and monitoring service in a smart cityenvironment

Cloud robotics is revolutionizing not only the robotics industry but also the ICT world, giving robots more storage and computing capacity, opening new scenarios that blend the physical to the digital world. In this vision new IT architectures are required to manage robots, retrieve data from them and create services to interact with users. In this paper a possible implementation of a cloud robotics architecture for the interaction between users and UAVs is described. Using the latter as monitoring agents, a service for fighting crime in urban environment is proposed, making one step forward towards the idea of smart cit

Fractional-valued modal logic and soft bilateralism

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic K, whose values lie in the closed interval [0, 1] of rational numbers. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of K. Specifically, we introduce well-behaved hypersequent calculi for the deontic logic D and the non-normal modal logics E and M and thoroughly investigate their structural properties

Regulation of the actin cytoskeleton in Helicobacter pylori-induced migration and invasive growth of gastric epithelial cells

Dynamic rearrangement of the actin cytoskeleton is a significant hallmark of Helicobacter pylori (H. pylori) infected gastric epithelial cells leading to cell migration and invasive growth. Considering the cellular mechanisms, the type IV secretion system (T4SS) and the effector protein cytotoxin-associated gene A (CagA) of H. pylori are well-studied initiators of distinct signal transduction pathways in host cells targeting kinases, adaptor proteins, GTPases, actin binding and other proteins involved in the regulation of the actin lattice. In this review, we summarize recent findings of how H. pylori functionally interacts with the complex signaling network that controls the actin cytoskeleton of motile and invasive gastric epithelial cells