Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Polarization dependence of four-wave mixing in a degenerate two-level system

Nearly degenerate four-wave mixing (NDFWM) within a closed degenerate two-level atomic transition is theoretically and experimentally examined. Using the model presented by A. Lezama et al [Phys. Rev. A 61, 013801 (2000)] the NDFWM spectra corresponding to different pump and probe polarization cases are calculated and discussed. The calculated spectra are compared to the observation of NDFWM within the $6S_{1/2}(F=4)\to 6P_{3/2}(F=5)$ transition of cesium in a phase conjugation experiment using magneto optically cooled atomsComment: 10 pages, 13 figures; submitted to Phys. Rev.

Tangential retinal displacement increases after macular pucker surgery: An apparent nonsense

Purpose: To measure the tangential retinal displacement and vision before and after macular pucker surgery and study if pars plana vitrectomy with epiretinal membrane peeling allows the reconstitution of previous anatomy or else it results in a different configuration. Methods: Retrospective series of patients undergoing pars plana vitrectomy for epiretinal membrane, with >6-month follow-up before and after surgery, complete with best-corrected visual acuity, optical coherence tomography, M-Charts, and infrared retinography. Tangential retinal displacement between earliest visit (T E ), time of surgery (T 0 ), and latest available visit (T L ) of the examined retina, concentric circles at 0.5, 1.5, and 4.5 mm radii, and the central horizontal and vertical meridians were measured. Tangential displacement was calculated as the optical flow of consecutive infrared photographs. Results: The study comprised 32 patients: 15 men and 17 women. Average preoperative and postoperative follow-up were 23.4 ± 27.9 months and 19.2 ± 11.8 months, respectively. Best-corrected visual acuity reduced before surgery (0.69 ± 0.16 Snellen to 0.46 ± 0.17; P < 0.001) and increased after (0.866 ± 0.16 Snellen; P < 0.001). Horizontal and vertical metamorphopsia increased between before surgery but only horizontal metamorphopsia significantly reduced after. Average tangential displacement before surgery was 35.6 ± 29.9 μ m versus 56.6 ± 41.3 μ m after ( P = 0.023). Preoperative and postoperative displacement within the fovea was less than over the entire area ( P < 0.001). Conclusion: Retinal tangential displacement between diagnosis and surgery (T E - T 0 ) is less than the displacement occurring after surgery (T 0 - T L ). Postoperative displacement does not represent the restoration of the anatomy existing before the disease ensued but rather the resulting equilibrium of newly deployed forces

Non-equilibrium dynamics: Studies of reflection of Bose-Einstein condensates

The study of the non-equilibrium dynamics in Bose-Einstein condensed gases has been dominated by the zero-temperature, mean field Gross-Pitaevskii formalism. Motivated by recent experiments on the reflection of condensates from silicon surfaces, we revisit the so-called {\em classical field} description of condensate dynamics, which incorporates the effects of quantum noise and can also be generalized to include thermal effects. The noise is included in a stochastic manner through the initial conditions. We show that the inclusion of such noise is important in the quantitative description of the recent reflection experiments

Double marking revisited

In 2002, the Qualifications and Curriculum Authority (QCA) published the report of an independent panel of experts into maintaining standards at Advanced Level (A-Level). One of its recommendations was for: ‘limited experimental double marking of scripts in subjects such as English to determine whether the strategy would signi-ficantly reduce errors of measurement’ (p. 24). This recommendation provided the impetus for this paper which reviews the all but forgotten literature on double marking and considers its relevance now

A mental health–informed physical activity intervention for first responders and their partners delivered using Facebook: Mixed methods pilot study

Background: First responders (eg, police, firefighters, and paramedics) are at high risk of experiencing poor mental health. Physical activity interventions can help reduce symptoms and improve mental health in this group. More research is needed to evaluate accessible, low-cost methods of delivering programs. Social media may be a potential platform for delivering group-based physical activity interventions. Objective: This study aims to examine the feasibility and acceptability of delivering a mental health–informed physical activity program for first responders and their self-nominated support partners. This study also aims to assess the feasibility of applying a novel multiple time series design and to explore the impact of the intervention on mental health symptoms, sleep quality, quality of life, and physical activity levels. Methods: We co-designed a 10-week web-based physical activity program delivered via a private Facebook group. We provided education and motivation around different topics weekly (eg, goal setting, overcoming barriers to exercise, and reducing sedentary behavior) and provided participants with a Fitbit. A multiple time series design was applied to assess psychological distress levels, with participants acting as their own control before the intervention. Results: In total, 24 participants (12 first responders and 12 nominated support partners) were recruited, and 21 (88%) completed the postassessment questionnaires. High acceptability was observed in the qualitative interviews. Exploratory analyses revealed significant reductions in psychological distress during the intervention. Preintervention and postintervention analysis showed significant improvements in quality of life (P=.001; Cohen d=0.60); total depression, anxiety, and stress scores (P=.047; Cohen d=0.35); and minutes of walking (P=.04; Cohen d=0.55). Changes in perceived social support from family (P=.07; Cohen d=0.37), friends (P=.10; Cohen d=0.38), and sleep quality (P=.28; Cohen d=0.19) were not significant. Conclusions: The results provide preliminary support for the use of social media and a multiple time series design to deliver mental health–informed physical activity interventions for first responders and their support partners. Therefore, an adequately powered trial is required

Effective elements of cognitive behaviour therapy for psychosis: results of a novel type of subgroup analysis based on principal stratification

Background. Meta-analyses show that cognitive behaviour therapy for psychosis (CBT-P) improves distressing positive symptoms. However, it is a complex intervention involving a range of techniques. No previous study has assessed the delivery of the different elements of treatment and their effect on outcome. Our aim was to assess the differential effect of type of treatment delivered on the effectiveness of CBT-P, using novel statistical methodology. Method. The Psychological Prevention of Relapse in Psychosis (PRP) trial was a multi-centre randomized controlled trial (RCT) that compared CBT-P with treatment as usual (TAU). Therapy was manualized, and detailed evaluations of therapy delivery and client engagement were made. Follow-up assessments were made at 12 and 24 months. In a planned analysis, we applied principal stratification (involving structural equation modelling with finite mixtures) to estimate intention-to-treat (ITT) effects for subgroups of participants, defined by qualitative and quantitative differences in receipt of therapy, while maintaining the constraints of randomization. Results. Consistent delivery of full therapy, including specific cognitive and behavioural techniques, was associated with clinically and statistically significant increases in months in remission, and decreases in psychotic and affective symptoms. Delivery of partial therapy involving engagement and assessment was not effective. Conclusions. Our analyses suggest that CBT-P is of significant benefit on multiple outcomes to patients able to engage in the full range of therapy procedures. The novel statistical methods illustrated in this report have general application to the evaluation of heterogeneity in the effects of treatment

Coherent spin control by electromagnetic vacuum fluctuations

In coherent control, electromagnetic vacuum fluctuations usually cause coherence loss through irreversible spontaneous emission. However, since the dissipation via emission is essentially due to correlation of the fluctuations, when emission ends in a superposition of multiple final states, correlation between different pathways may build up if the "which-way" information is not fully resolved (i.e., the emission spectrum is broader than the transition energy range). Such correlation can be exploited for spin-flip control in a $\Lambda$-type three-level system, which manifests itself as an all-optical spin echo in nonlinear optics with two orders of optical fields saved as compared with stimulated Raman processes. This finding represents a new class of optical nonlinearity induced by electromagnetic vacuum fluctuations.Comment: 7 pages including 5 figure

Systematic effects and a new determination of the primordial abundance of 4He and dY/dZ from observations of blue compact galaxies

We use spectroscopic observations of a sample of 82 HII regions in 76 blue compact galaxies to determine the primordial helium abundance Yp and the slope dY/dZ from the Y-O/H linear regression. To improve the accuracy of the dY/dZ measurement, we have included new spectrophotometric observations of 33 HII regions which span a large metallicity range, with oxygen abundance 12+log(O/H) varying between 7.43 and 8.30 (Zsun/30<Z<Zsun/4). For a subsample of 7 HII regions, we derive the He mass fraction taking into account known systematic effects, including collisional and fluorescent enhancements of HeI emission lines, collisional excitation of hydrogen emission, underlying stellar HeI absorption and the difference between the temperatures Te(HeII) in the He^+ zone and Te(OIII) derived from the collisionally excited [OIII] lines. We find that the net result of all the systematic effects combined is small, changing the He mass fraction by less than 0.6%. By extrapolating the Y vs. O/H linear regression to O/H=0 for 7 HII regions of this subsample, we obtain Yp=0.2421+/-0.0021 and dY/dO=5.7+/-1.8, which corresponds to dY/dZ=3.7+/-1.2, assuming the oxygen mass fraction to be O=0.66Z. In the framework of the standard Big Bang nucleosynthesis theory, this Yp corresponds to Omega_b h^2 = 0.012^+0.003_-0.002, where h is the Hubble constant in units of 100 km/s/Mpc. This is smaller at the 2sigma level than the value obtained from recent deuterium abundance and microwave background radiation measurements. The linear regression slope dY/dO=4.3+/-0.7 (corresponding to dY/dZ=2.8+/-0.5) for the whole sample of 82 HII regions is similar to that derived for the subsample of 7 HII regions, although it has a considerably smaller uncertainty.Comment: 53 pages, 3 Postscript figures, accepted for publication in the Astrophysical Journa