Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)

We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applications and databases, and show that our formalization effectively exploits SQLi attacks. We implemented our approach in a prototype tool called SQLfast and we show its efficiency on real-world case studies, including the discovery of an attack on Joomla! that no other tool can find

Nanoparticle-based receptors mimic protein-ligand recognition

The self-assembly of a monolayer of ligands on the surface of noble metal nanoparticles dictates the fundamental nanoparticle\u2019s behavior and its functionality. In this combined computational\u2013experimental study, we analyze the structure, organization, and dynamics of functionalized coating thiols in monolayer-protected gold nanoparticles (AuNPs). We explain how functionalized coating thiols self-organize through a delicate and somehow counterintuitive balance of interactions within the monolayer itself and with the solvent. We further describe how the nature and plasticity of these interactions modulate nanoparticle-based chemosensing. Importantly, we found that self-organization of coating thiols can induce the formation of binding pockets in AuNPs. These transient cavities can accommodate small molecules, mimicking protein-ligand recognition, which may explain the selectivity and sensitivity observed for different organic analytes in NMR chemosensing experiments. Thus, our findings advocate for the rational design of tailored coating groups to form specific recognition binding sites on monolayer-protected AuNPs

Polynomial Meshes: Computation and Approximation

We present the software package WAM, written in Matlab, that generates Weakly Admissible Meshes and Discrete Extremal Sets of Fekete and Leja type, for 2d and 3d polynomial least squares and interpolation on compact sets with various geometries. Possible applications range from data fitting to high-order methods for PDEs

Data Protection, Digital Forensics and Encryption in Mobile Devices in European Union

Nowadays cryptography has been used to increase trust in confidentiality of many sources of information. Indeed, such technologies are helpful in protecting data from illegal accesses, yet drawbacks arise if they have to be enforced by investigative authorities to collect evidence. Balancing investigative powers and fundamental rights \u2013 most importantly, privacy \u2013 is difficult, especially when decryption keys are provided by human fingerprints or other biological traits. In this paper we focus on Digital forensics of encrypted mobile devices in the EU legal framework

On the coherent rotation of diffuse matter in numerical simulations of galaxy clusters

We present a study on the coherent rotation of the intracluster medium and dark matter components of simulated galaxy clusters extracted from a volume-limited sample of the MUSIC project. The set is re-simulated with three different recipes for the gas physics: $(i)$ non-radiative, $(ii)$ radiative without AGN feedback, and $(iii)$ radiative with AGN feedback. Our analysis is based on the 146 most massive clusters identified as relaxed, 57 per cent of the total sample. We classify these objects as rotating and non-rotating according to the gas spin parameter, a quantity that can be related to cluster observations. We find that 4 per cent of the relaxed sample is rotating according to our criterion. By looking at the radial profiles of their specific angular momentum vector, we find that the solid body model is not a suitable description of rotational motions. The radial profiles of the velocity of the dark matter show a prevalence of the random velocity dispersion. Instead, the intracluster medium profiles are characterized by a comparable contribution from the tangential velocity and the dispersion. In general, the dark matter component dominates the dynamics of the clusters, as suggested by the correlation between its angular momentum and the gas one, and by the lack of relevant differences among the three sets of simulations.Comment: 12 pages, updated to match the MNRAS versio

The \uabQuality of Information\ubb Challenges in IoT Forensics: An Introduction

IoT technologies pose serious challenges to digital forensics. The acquisition of digital evidence is hindered by the number and extreme variety of IoT items, often lacking of physical interfaces, connected in unprotected networks, feeding data to uncontrolled cloud services. In this paper we introduce the main issues of \uabinformation quality\ubb in this field. After a short introduction, we provide an overview on digital forensics approach to preserve the \uabchain of custody\ubb, then we detect relevant IoT features in order to analyse main concerns in digital forensics. At the end, we propose a formula for benchmarking forensics trustworthiness (Information Quality Assessment)

Mandible customized distraction osteogenesis in Treacher Collins patient: Literature review, report of a case and post-distraction analysis

Introduction: Treacher-Collins syndrome is a rare genetic disorder with variable phenotypic expression. Related micrognathia can cause upper airway obstruction in neonatal patients because of posterior tongue displacement. Many approaches have been described to treat upper airway obstruction in such patients; the use of mandibular distraction to this purpose was first proposed in 1994. To our knowledge, only a few authors have employed customized devices to perform mandibular distraction in these syndromic patients.This paper presents a systematic review of the use of customized devices to perform mandibular distraction osteogenesis in patients affected by Treacher-Collins syndrome and upper airway obstruction. A case report of a Treacher-Collins syndrome patient treated in our institution is also presented. Results: Eight articles fulfilled the inclusion criteria and were included in this systematic review; demographic, clinical and surgical features of 13 cases were evaluated.Preoperative assessment, virtual surgical planning and a surgical protocol for a Treacher-Collins patient were performed and set-out in detail; a post-distraction 3D analysis workflow was developed and proposed.The patient had an airway obstruction resolution after the distractors removal and was progressively decannulated. The post-distraction 3D analysis revealed that the oropharynx and hypopharynx airway space acquired greater volumetric dimension in a more antero-superior position; this advancement was comparable to the antero-superior advancement of the distracted mandible. Conclusion: In the author's opinion, customized devices for mandibular distraction osteogenesis and post-distraction tridimensional analysis should be objected of further investigation in the light of their potential advantage in diagnosis and treatment of syndromic malformation

METHANE AND CARBON DIOXIDE FLUXES FROM LIMONIUM RESIDUES DECOMPOSITION IN SALTMARSH SOILS: EFFECTS OF TIDE REGIME

The flooding regime of saltmarshes strongly affects organic matter mineralisation, representing a unique situation where oxygen diffusion is either impeded by submersion or favoured by retreating water in regular cycles within the same day. Decomposition of Limonium vulgare Mill. residues in saltmarsh soils was evaluated measuring CO2 and CH4 emissions. Four different saltmarshes from the Grado Lagoon (Northern Adriatic Sea) were investigated. Soils were characterised by a similar vegetation (Sarcocornietea class) and similar high coverage of L. vulgare (70-75%) but differed in redox potential, texture and organic carbon content. Hydromorphic conditions were reproduced in mesocosms, and soils were incubated under fully aerobic, fully anaerobic and transient (6 hours cycles) tidal states. Partially decomposed litter (leaves) of L. vulgare was added and decomposition processes were monitored through CO2 and CH4 emissions. Larger CO2 emissions were measured under aerobic conditions, in particular in soil samples with coarse texture. Fully anoxic and tidal regimes showed a similar behaviour. On the contrary, CH4 emissions were less dependent upon flooding, showing only slightly larger values under completely submerged conditions. Larger CH4 emissions have been obtained in fine textured soils. Soil organic matter content also influenced gas emissions: larger values corresponded to higher emissions of both CO2 and CH4