Quantifying Timing Leaks and Cost Optimisation

We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation.Comment: 16 pages, 2 figures, 4 tables. A shorter version is included in the proceedings of ICICS'08 - 10th International Conference on Information and Communications Security, 20-22 October, 2008 Birmingham, U

Tanaka-Tagoshi Parametrization of post-1PN Spin-Free Gravitational Wave Chirps: Equispaced and Cardinal Interpolated Lattices For First Generation Interferometric Antennas

The spin-free binary-inspiral parameter-space introduced by Tanaka and Tagoshi to construct a uniformly-spaced lattice of templates at (and possibly beyond) $2.5PN$ order is shown to work for all first generation interferometric gravitational wave antennas. This allows to extend the minimum-redundant cardinal interpolation techniques of the correlator bank developed by the Authors to the highest available order PN templates. The total number of 2PN templates to be computed for a minimal match $\Gamma=0.97$ is reduced by a factor 4, as in the 1PN case.Comment: 9 pages, 8 figures, 3 tables, accepted for publication in Phys. Rev.

Nutritional support for head-injured patients

Copyright John Wiley & Sons. This review is published as a Cochrane Review in the Cochrane Database of Systematic Reviews 2004, Issue 3. Cochrane Reviews are regularly updated as new evidence emerges and in response to comments and criticisms, and the Cochrane Database of Systematic Reviews should be consulted for the most recent version of the Review.’ Perel, P. , Yanagawa, T. , Bunn, F. , Roberts, I. , Wentz, R. and Pierro, A. Nutritional support for head-injured patients. Cochrane Database of Systematic Reviews 2004, Issue 3. Art. No.: CD001530. DOI: 10.1002/14651858.CD001530.pub2Background: Head injury increases the body's metabolic responses, and therefore nutritional demands. Provision of an adequate supply of nutrients is associated with improved outcome. The best route for administering nutrition (parenterally (TPN) or enterally (EN)), and the best timing of administration (for example, early versus late) of nutrients needs to be established. Objectives: To quantify the effect on mortality and morbidity of alternative strategies of providing nutritional support following head injury. Search strategy: Trials were identified by computerised searches of the Cochrane Injuries Group specialised register, Cochrane Central Register of Controlled Trials, MEDLINE, EMBASE, National Research Register, Web of Science and other electronic trials registers. Reference lists of trials and review articles were checked. The searches were last updated in July 2006. Selection criteria: Randomised controlled trials of timing or route of nutritional support following acute traumatic brain injury. Data collection and analysis: Two authors independently abstracted data and assessed trial quality. Information was collected on death, disability, and incidence of infection. If trial quality was unclear, or if there were missing outcome data, trialists were contacted in an attempt to get further information. Main results: A total of 11 trials were included. Seven trials addressed the timing of support (early versus delayed), data on mortality were obtained for all seven trials (284 participants). The relative risk (RR) for death with early nutritional support was 0.67 (95% CI 0.41 to 1.07). Data on disability were available for three trials. The RR for death or disability at the end of follow-up was 0.75 (95% CI 0.50 to 1.11). Seven trials compared parenteral versus enteral nutrition. Because early support often involves parenteral nutrition, three of the trials are also included in the previous analyses. Five trials (207 participants) reported mortality. The RR for mortality at the end of follow-up period was 0.66 (0.41 to 1.07). Two trials provided data on death and disability. The RR was 0.69 (95% Cl 0.40 to 1.19). One trial compared gastric versus jejunal enteral nutrition, there were no deaths and the RR was not estimable. Authors' conclusions: This review suggests that early feeding may be associated with a trend towards better outcomes in terms of survival and disability. Further trials are required. These trials should report not only nutritional outcomes but also the effect on death and disability.Peer reviewe

A computational group theoretic symmetry reduction package for the SPIN model checker

Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence of states during search. We present TopSpin, a fully automatic symmetry reduction package for the Spin model checker. TopSpin uses the Gap computational algebra system to effectively detect state space symmetry from the associated Promela specification, and to choose an efficient symmetry reduction strategy by classifying automorphism groups as a disjoint/wreath product of subgroups. We present encouraging experimental results for a variety of Promela examples

Rejection Properties of Stochastic-Resonance-Based Detectors of Weak Harmonic Signals

In (V. Galdi et al., Phys. Rev. E57, 6470, 1998) a thorough characterization in terms of receiver operating characteristics (ROCs) of stochastic-resonance (SR) detectors of weak harmonic signals of known frequency in additive gaussian noise was given. It was shown that strobed sign-counting based strategies can be used to achieve a nice trade-off between performance and cost, by comparison with non-coherent correlators. Here we discuss the more realistic case where besides the sought signal (whose frequency is assumed known) further unwanted spectrally nearby signals with comparable amplitude are present. Rejection properties are discussed in terms of suitably defined false-alarm and false-dismissal probabilities for various values of interfering signal(s) strength and spectral separation.Comment: 4 pages, 5 figures. Misprints corrected. PACS numbers added. RevTeX

Hamming distance kernelisation via topological quantum computation

We present a novel approach to computing Hamming distance and its kernelisation within Topological Quantum Computation. This approach is based on an encoding of two binary strings into a topological Hilbert space, whose inner product yields a natural Hamming distance kernel on the two strings. Kernelisation forges a link with the field of Machine Learning, particularly in relation to binary classifiers such as the Support Vector Machine (SVM). This makes our approach of potential interest to the quantum machine learning community

Genetic diversity of phytoplasmas associated with flavescence dorée at vineyard scale on the Ischia Island (Campania, Italy)

Flavescence dorée (FD) is the most important grapevine yellows, constituting a great threat in all major viticultural areas in Europe. The FD causal agent is an incidentally cited phytoplasma species termed ‘Candidatus Phytoplasma vitis’ (FDp), listed as a quarantine organism in Europe and mainly transmitted from vine to vine by the monophagous leafhopper Scaphoideus titanus. In the present study, the genetic variability of FDp identified in symptomatic plants located in a vineyard cv. Biancolella on the Ischia Island (Campania, Italy) was investigated. Our results unveiled for the first time the presence of FDp strains belonging to the subgroup 16SrV–C with a low genetic variability within map and rp genetic markers, reflecting an homogeneous genetic lineage of phytoplasma population examined in the present study. Phylogeny and nucleotide sequence analyses can also suggest the possible involvement of other insect vectors and plant hosts in the FD epidemiology on the Island. Further investigation to ascertain the presence of putative vectors and plant hosts representing inoculum sources should be carried out to reinforce the preliminary results obtained in the present study

Information Security as Strategic (In)effectivity

Security of information flow is commonly understood as preventing any information leakage, regardless of how grave or harmless consequences the leakage can have. In this work, we suggest that information security is not a goal in itself, but rather a means of preventing potential attackers from compromising the correct behavior of the system. To formalize this, we first show how two information flows can be compared by looking at the adversary's ability to harm the system. Then, we propose that the information flow in a system is effectively information-secure if it does not allow for more harm than its idealized variant based on the classical notion of noninterference