Attack analysis of cryptographic protocols using strand spaces

Security protocols make use of cryptographic techniques to achieve goals such as confidentiality, authentication and integrity. However, the fact that strong cryptographic algorithms exist does not guarantee the security of a communications system. In fact, it is recognised that the engineering of security protocols is a challenging task, since protocols that appear secure can contain subtle flaws that attackers can exploit. A number of techniques exist for the analysis of security protocol specifications. Individually they are not capable of detecting every possible flaw or attack against a protocol. However, when combined, these techniques all complement each other, allowing a protocol engineer to obtain a more accurate overview of the security of a protocol that is being designed. This is the rationale for multi-dimensional security protocol engineering, a concept introduced by previous projects of ours over several years. We propose an attack construction approach to security protocol analysis within a multi-dimensional context. This analysis method complements the existing inference construction analysis tools developed earlier in the group. We give a brief overview of the concepts associated with the project, including a summary of existing security protocol analysis techniques, and a description of the strand space model, which is the intended formalism for the analysis

Tuning the Kondo effect with a mechanically controllable break junction

We study electron transport through C60 molecules in the Kondo regime using a mechanically controllable break junction. By varying the electrode spacing, we are able to change both the width and height of the Kondo resonance, indicating modification of the Kondo temperature and the relative strength of coupling to the two electrodes. The linear conductance as a function of T/T_K agrees with the scaling function expected for the spin-1/2 Kondo problem. We are also able to tune finite-bias Kondo features which appear at the energy of the first C60 intracage vibrational mode.Comment: 4 pages with 4 figure

Electrically-detected magnetic resonance in ion-implanted Si:P nanostructures

We present the results of electrically-detected magnetic resonance (EDMR) experiments on silicon with ion-implanted phosphorus nanostructures, performed at 5 K. The devices consist of high-dose implanted metallic leads with a square gap, into which Phosphorus is implanted at a non-metallic dose corresponding to 10^17 cm^-3. By restricting this secondary implant to a 100 nm x 100 nm region, the EDMR signal from less than 100 donors is detected. This technique provides a pathway to the study of single donor spins in semiconductors, which is relevant to a number of proposals for quantum information processing.Comment: 9 pages, 3 figure

Lower reproductive rate and lamb survival contribute to lower lamb marking rate in maiden ewes compared to multiparous ewes

Suboptimal reproductive performance of maiden (primiparous) ewes remains a source of inefficiency for the Australian sheep industry. However, the extent and causes of the poorer reproductive performance of maiden ewes on Australian sheep farms are not well understood. Here, we show the reproductive performance of maiden ewes relative to their multiparous counterparts on the same farms across Australia using a cohort survey. The difference in marking rate for non-Merino maiden ewe lambs compared to multiparous ewes was 58% (74 vs. 132%; p < 0.001), and this was attributable to a 50% difference in reproductive rate (109 vs. 159%; p < 0.001) and 16% difference in lamb survival to marking (67 vs. 83%; p < 0.001). The difference in marking rate for maiden Merino two-tooth ewes lambing at approximately 2 years-of-age compared to mature multiparous ewes was 22% (80 vs. 102%; p < 0.001) and this was attributable to a 24% difference in reproductive rate (108 vs. 132%; p < 0.001) and 3% difference for lamb survival (75 vs. 78%; p < 0.05). Positive correlations for reproduction traits (reproductive rate, lamb survival and marking rate) between maidens and multiparous ewes were observed for maiden Merino two-tooth ewes (p < 0.001), but these correlations were weak or non-existent for non-Merino ewe lambs. Strategies to improve both reproductive rate and lamb survival can address the poorer and more variable reproductive performance of maiden ewes

Effects of intraduodenal protein on appetite, energy intake, and antropyloroduodenal motility in healthy older compared with young men in a randomized trial

CAUL read and publish agreement 2022Publishe

Are current case-finding methods under-diagnosing tuberculosis among women in Myanmar? An analysis of operational data from Yangon and the nationwide prevalence survey.

BACKGROUND: Although there is a large increase in investment for tuberculosis control in Myanmar, there are few operational analyses to inform policies. Only 34% of nationally reported cases are from women. In this study, we investigate sex differences in tuberculosis diagnoses in Myanmar in order to identify potential health systems barriers that may be driving lower tuberculosis case finding among women. METHODS: From October 2014 to March 2015, we systematically collected data on all new adult smear positive tuberculosis cases in ten township health centres across Yangon, the largest city in Myanmar, to produce an electronic tuberculosis database. We conducted a descriptive cross-sectional analysis of sex differences in tuberculosis diagnoses at the township health centres. We also analysed national prevalence survey data to calculate additional case finding in men and women by using sputum culture when smear microscopy was negative, and estimated the sex-specific impact of using a more sensitive diagnostic tool at township health centres. RESULTS: Overall, only 514 (30%) out of 1371 new smear positive tuberculosis patients diagnosed at the township health centres were female. The proportion of female patients varied by township (from 21% to 37%, p = 0.0172), month of diagnosis (37% in February 2015 and 23% in March 2015 p = 0.0004) and age group (26% in 25-64 years and 49% in 18-25 years, p < 0.0001). Smear microscopy grading of sputum specimens was not substantially different between sexes. The prevalence survey analysis indicated that the use of a more sensitive diagnostic tool could result in the proportion of females diagnosed at township health centres increasing to 36% from 30%. CONCLUSIONS: Our study, which is the first to systematically compile and analyse routine operational data from tuberculosis diagnostic centres in Myanmar, found that substantially fewer women than men were diagnosed in all study townships. The sex ratio of newly diagnosed cases varied by age group, month of diagnosis and township of diagnosis. Low sensitivity of tuberculosis diagnosis may lead to a potential under-diagnosis of tuberculosis among women

Antigen depot is not required for alum adjuvanticity

Alum adjuvants have been in continuous clinical use for more than 80 yr. While the prevailing theory has been that depot formation and the associated slow release of antigen and/or inflammation are responsible for alum enhancement of antigen presentation and subsequent T- and B-cell responses, this has never been formally proven. To examine antigen persistence, we used the chimeric fluorescent protein EαGFP, which allows assessment of antigen presentation in situ, using the Y-Ae antibody. We demonstrate that alum and/or CpG adjuvants induced similar uptake of antigen, and in all cases, GFP signal did not persist beyond 24 h in draining lymph node antigen-presenting cells. Antigen presentation was first detectable on B cells within 6–12 h of antigen administration, followed by conventional dendritic cells (DCs) at 12–24 h, then finally plasmacytoid DCs at 48 h or later. Again, alum and/or CpG adjuvants did not have an effect on the magnitude or sequence of this response; furthermore, they induced similar antigen-specific T-cell activation in vivo. Notably, removal of the injection site and associated alum depot, as early as 2 h after administration, had no appreciable effect on antigen-specific T- and B-cell responses. This study clearly rules out a role for depot formation in alum adjuvant activity