Security Applications of Formal Language Theory

We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development. Our work provides a foundation for verifying critical implementation components with considerably less burden to developers than is offered by the current state of the art. It additionally offers a rich basis for further exploration in the areas of offensive analysis and, conversely, automated defense tools and techniques. This report is divided into two parts. In Part I we address the formalisms and their applications; in Part II we discuss the general implications and recommendations for protocol and software design that follow from our formal analysis

COVID-19 and Food Insecurity Impacts: A Follow Up Vermont Study

This brief report details the results from a follow-up survey of 1,236 Vermonters in June 2020, after an initial survey in March/April 2020 focused on the impact of COVID-19 on food access and security. The key results include: 1) Nearly 1 in 4 respondents (23%) were classified as food insecure in June, a reported 22% decrease since March, but higher than before COVID-19. 2) People of color, those without a college degree, those with a job loss, households with children, women, and younger people had greater odds of experiencing food insecurity. 3) The majority of respondent households had experienced some job loss or disruption in the last 30 days, and were still experiencing job changes at the time of the survey. 4) People receiving unemployment were significantly more likely to be using multiple food assistance programs compared to others. 5) Respondents significantly increased use of food assistance programs since March. 6) Vermonters today have greater concerns about food becoming more expensive and possible loss of food assistance programs compared to June. 7) Vermonters today are facing fewer perceived challenges in food access and have fewer worries about food availability compared to March

Food and Job Insecurity in Vermont During COVID-19 Infographic

This infographic details the summary results from a second Vermont survey on food and job insecurity in Vermont during COVID-19 in March and June 2020. Key results include: 1) Nearly 1 in 4 Vermonters experience food insecurity in June 2020; 2) People of color, those without a college degree, with job disruption, with children, and women were more likely to be food insecure; 3) More than 50% of Vermonters experienced job loss or disruption, and 20% received unemployment in June 2020; 4) Use of food assistance programs rose significantly between March 2020 and June 2020

Better than nothing? Patient-delivered partner therapy and partner notification for chlamydia: the views of Australian general practitioners

BACKGROUND Genital chlamydia is the most commonly notified sexually transmissible infection (STI) in Australia and worldwide and can have serious reproductive health outcomes. Partner notification, testing and treatment are important facets of chlamydia control. Traditional methods of partner notification are not reaching enough partners to effectively control transmission of chlamydia. Patient-delivered partner therapy (PDPT) has been shown to improve the treatment of sexual partners. In Australia, General Practitioners (GPs) are responsible for the bulk of chlamydia testing, diagnosis, treatment and follow up. This study aimed to determine the views and practices of Australian general practitioners (GPs) in relation to partner notification and PDPT for chlamydia and explored GPs' perceptions of their patients' barriers to notifying partners of a chlamydia diagnosis. METHODS In-depth, semi-structured telephone interviews were conducted with 40 general practitioners (GPs) from rural, regional and urban Australia from November 2006 to March 2007. Topics covered: GPs' current practice and views about partner notification, perceived barriers and useful supports, previous use of and views regarding PDPT.Transcripts were imported into NVivo7 and subjected to thematic analysis. Data saturation was reached after 32 interviews had been completed. RESULTS Perceived barriers to patients telling partners (patient referral) included: stigma; age and cultural background; casual or long-term relationship, ongoing relationship or not. Barriers to GPs undertaking partner notification (provider referral) included: lack of time and staff; lack of contact details; uncertainty about the legality of contacting partners and whether this constitutes breach of patient confidentiality; and feeling both personally uncomfortable and inadequately trained to contact someone who is not their patient. GPs were divided on the use of PDPT--many felt concerned that it is not best clinical practice but many also felt that it is better than nothing.GPs identified the following factors which they considered would facilitate partner notification: clear clinical guidelines; a legal framework around partner notification; a formal chlamydia screening program; financial incentives; education and practical support for health professionals, and raising awareness of chlamydia in the community, in particular amongst young people. CONCLUSIONS GPs reported some partners do not seek medical treatment even after they are notified of being a sexual contact of a patient with chlamydia. More routine use of PDPT may help address this issue however GPs in this study had negative attitudes to the use of PDPT. Appropriate guidelines and legislation may make the use of PDPT more acceptable to Australian GPs.The Australian Federal Government Department of Health and Ageing Chlamydia Pilot Program of Targeted Grants funded the study

Physician and facility drivers of spending variation in locoregional prostate cancer

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/154672/1/cncr32719.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154672/2/cncr32719_am.pd

Establishing haematological and biochemical reference intervals for free-ranging Scottish golden eagle nestlings (Aquila chrysaetos)

Health assessment of individuals is an important aspect of monitoring endangered wildlife populations. Haematological and biochemical values are a common health assessment tool, and whilst reference values are well established for domestic species, they are often not available for wild animal species. This study established 31 haematological and biochemical reference intervals for golden eagle (Aquila chrysaetos) nestlings in Scotland, in order to improve the understanding of the species’ health and support conservation efforts. Reference intervals were created from 47 nestlings (ages 2–7.5 weeks old) across 37 nests, to date, the largest sample of wild individuals of this species and age cohort sampled for these purposes. Upper reference intervals for concentrations of lymphocytes, total protein, cholesterol, triglycerides, uric acid, and monocytes, calculated in this study, are higher than those found for adult raptors and the interval span is higher than that observed in adult raptors for concentrations of AST, albumin, eosinophil, LDH, and monocyte count. Statistically significant positive correlations were found with age and concentrations of haemoglobin, lymphocytes, serum pH, and creatine kinase, and significant negative correlations with age for concentrations of thrombocytes, heterophils, total protein, globulin, and lactate dehydrogenase. Packed cell volume was significantly higher for females than males, and concentration of calcium and eosinophils were higher for individuals in good body condition than those in moderate body condition. The reference intervals produced by this study will be of important use to the veterinary and conservation management communities and will aid the long-term monitoring of the Scottish golden eagle population health

Implementing telephone triage in general practice: a process evaluation of a cluster randomised controlled trial

Background: Telephone triage represents one strategy to manage demand for face-to-face GP appointments in primary care. However, limited evidence exists of the challenges GP practices face in implementing telephone triage. We conducted a qualitative process evaluation alongside a UK-based cluster randomised trial (ESTEEM) which compared the impact of GP-led and nurse-led telephone triage with usual care on primary care workload, cost, patient experience, and safety for patients requesting a same-day GP consultation. The aim of the process study was to provide insights into the observed effects of the ESTEEM trial from the perspectives of staff and patients, and to specify the circumstances under which triage is likely to be successfully implemented. Here we report perspectives of staff. Methods: The intervention comprised implementation of either GP-led or nurse-led telephone triage for a period of 2-3 months. A qualitative evaluation was conducted using staff interviews recruited from eight general practices (4 GP triage, 4 Nurse triage) in the UK, implementing triage as part of the ESTEEM trial. Qualitative interviews were undertaken with 44 staff members in GP triage and nurse triage practices (16 GPs, 8 nurses, 7 practice managers, 13 administrative staff). Results: Staff reported diverse experiences and perceptions regarding the implementation of telephone triage, its effects on workload, and on the benefits of triage. Such diversity were explained by the different ways triage was organised, the staffing models used to support triage, how the introduction of triage was communicated across practice staff, and by how staff roles were reconfigured as a result of implementing triage. Conclusion: The findings from the process evaluation offer insight into the range of ways GP practices participating in ESTEEM implemented telephone triage, and the circumstances under which telephone triage can be successfully implemented beyond the context of a clinical trial. Staff experiences and perceptions of telephone triage are shaped by the way practices communicate with staff, prepare for and sustain the changes required to implement triage effectively, as well as by existing practice culture, and staff and patient behaviour arising in response to the changes made. Trial registration: Current Controlled Trials ISRCTN20687662. Registered 28 May 2009

The identification of novel anelloviruses with broad diversity in UK rodents

Anelloviruses are a family of small circular ssDNA viruses with a vast genetic diversity. Human infections with the prototype anellovirus, torque teno virus (TTV), are ubiquitous and related viruses have been described in a number of other mammalian hosts. Despite over 15 years of investigation, there is still little known about the pathogenesis and possible disease associations of anellovirus infections, arising in part due to the lack of a robust cell culture system for viral replication or tractable small-animal model. We report the identification of diverse anelloviruses in several species of wild rodents. The viruses are highly prevalent in wood mice (Apodemus sylvaticus) and field voles (Microtus agrestis), detectable at a low frequency in bank voles (Myodes glareolus), but absent from house mice (Mus musculus). The viruses identified have a genomic organization consistent with other anelloviruses, but form two clear phylogenetic groups that are as distinct from each other as from defined genera