Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

Hydrogen gas sensing performance of a Pt/graphene/SiC device

In this work, we present the development of a Pt/graphene/SiC device for hydrogen gas sensing. A single layer of graphene was deposited on 6H-SiC via chemical vapor deposition. The presence of graphene C-C bonds was observed via X-ray photoelectron spectroscopy analysis. Current-voltage characteristics of the device were measured at the presence of hydrogen at different temperatures, from 25°C to 170°C. The dynamic response of the device was recorded towards hydrogen gas at an optimum temperature of 130°C. A voltage shift of 191 mV was recorded towards 1% hydrogen at −1 mA constant current.

Secure authentication procedure with mobile device for ubiquitous health environments

Medical industries have brought Information Technology (IT) in their systems for both patients and medical staffs due to the numerous benefits of IT we experience at presently. Moreover, the Mobile healthcare (M-health) system has been developed as the first step of Ubiquitous Health Environment (UHE). With the mobility and multi-functions, M-health system will be able to provide more efficient and various services for both doctors and patients. Due to the invisible feature of mobile signals, hackers have easier access to hospital networks than wired network systems. This may result in several security incidents unless security protocols are well implemented. In this paper, user authentication and authorization procedures will applied as a featured component at each level of M-health systems inthe hospital environment. Accordingly, M-health system in the hospital will meet the optimal requirements as a countermeasure to its vulnerabilities.

Frank-starling control of a left ventricular assist device

A physiological control system was developed for a rotary left ventricular assist device (LVAD) in which the target pump flow rate (LVADQ) was set as a function of left atrial pressure (LAP), mimicking the Frank-Starling mechanism. The control strategy was implemented using linear PID control and was evaluated in a pulsatile mock circulation loop using a prototyped centrifugal pump by varying pulmonary vascular resistance to alter venous return. The control strategy automatically varied pump speed (2460 to 1740 to 2700 RPM) in response to a decrease and subsequent increase in venous return. In contrast, a fixed-speed pump caused a simulated ventricular suction event during low venous return and higher ventricular volumes during high venous return. The preload sensitivity was increased from 0.011 L/min/mmHg in fixed speed mode to 0.47L/min/mmHg, a value similar to that of the native healthy heart. The sensitivity varied automatically to maintain the LAP and LVADQ within a predefined zone. This control strategy requires the implantation of a pressure sensor in the left atrium and a flow sensor around the outflow cannula of the LVAD. However, appropriate pressure sensor technology is not yet commercially available and so an alternative measure of preload such as pulsatility of pump signals should be investigated.

Changing patterns of contraceptive use in Australian women

Background: This longitudinal analysis examines how patterns of contraceptive use changed over 11 years among Australian women born between 1973 and 1978. Study Design: The analysis included 6708 women sampled from the Australian universal health insurance database who completed four self-report postal surveys between 1996 and 2006. Change over time in use of any method of contraception and the common single methods of the oral contraceptive pill and condom was examined using a longitudinal logistic regression model. Results: The oral contraceptive pill was the most commonly used single method at each survey (27-44%) but decreased over time. Over time, contraceptive users were increasingly more likely to be single or in a de facto relationship or to have had two or more births. Conclusions: Women's contraceptive use and the factors associated with contraceptive use change over time as women move into relationships, try to conceive, have babies and complete their families.

Contraceptive changes after reproductive events among Australian women born in 1973 to 1978: A longitudinal study from 1996 to 2009

Background Women change contraception as they try to conceive, space births, and limit family size. This longitudinal analysis examines contraception changes after reproductive events such as birth, miscarriage or termination among Australian women born from 1973 to 1978 to identify potential opportunities to increase the effectiveness of contraceptive information and service provision. Methods Between 1996 and 2009, 5,631 Australian women randomly sampled from the Australian universal health insurance (Medicare) database completed five self-report postal surveys. Three longitudinal logistic regression models were used to assess the associations between reproductive events (birth only, birth and miscarriage, miscarriage only, termination only, other multiple events, and no new event) and subsequent changes in contraceptive use (start using, stop using, switch method) compared with women who continued to use the same method. Results After women experienced only a birth, or a birth and a miscarriage, they were more likely to start using contraception. Women who experienced miscarriages were more likely to stop using contraception. Women who experienced terminations were more likely to switch methods. There was a significant interaction between reproductive events and time indicating more changes in contraceptive use as women reach their mid-30s. Conclusion Contraceptive use increases after the birth of a child, but decreases after miscarriage indicating the intention for family formation and spacing between children. Switching contraceptive methods after termination suggests these pregnancies were unintended and possibly due to contraceptive failure. Women’s contact with health professionals around the time of reproductive events provides an opportunity to provide contraceptive services.

Challenges for researchers investigating contraceptive use and pregnancy intentions of young women living in urban and rural Australia : face-to-face discussions to increase participation in a web-based survey

Background: It is imperative to understand how to engage young women in research about issues that are important to them. There is limited reliable data on how young women access contraception in Australia especially in rural areas where services may be less available. Objective: This paper identifies the challenges involved in engaging young Australian women aged 18-23 years to participate in a web-based survey on contraception and pregnancy and ensure their ongoing commitment to follow-up web-based surveys. Methods: A group of young women, aged 18-23 years and living in urban and rural New South Wales, Australia, were recruited to participate in face-to-face discussions using several methods of recruitment: direct contact (face-to-face, telephone or email)and snowball sampling by potential participants inviting their friends. All discussions were transcribed verbatim and analyzed using thematic analysis. Results: Twenty young women participated (urban, n=10: mean age 21.6 years; rural, n=10: 20.0 years) and all used computers or smart phones to access the internet on a daily basis. All participants were concerned about the cost of internet access and utilized free access to social media on their mobile phones. Their willingness to participate in a web-based survey was dependent on incentives with a preference for small financial rewards. Most participants were concerned about their personal details and survey responses remaining confidential and secure. The most appropriate survey would take up to 15 minutes to complete, be a mix of short and long questions and eye-catching with bright colours. Questions on the sensitive topics of sexual activity, contraception and pregnancy were acceptable if they could respond with “I prefer not to answer”. Conclusions: There are demographic, participation and survey design challenges in engaging young women in a web-based survey. Based on our findings, future research efforts are needed to understand the full extent of the role social media and incentives play in the decision of young women to participate in web-based research.

Videogame control device impact on the play experience

New types of control devices for videogames have emerged and expanded the demographics of the game playing public, yet little is known about which populations of gamers prefer which style of interaction and why. This paper presents data from a study that seeks to clarify the influence the control interface has on the play experience. Three commercial control devices were categorised using an existing typology, according to how the interface maps physical control inputs with the virtual gameplay actions. The devices were then used in a within-groups experimental design aimed at measuring differences in play experience across 64 participants. Descriptive analysis is undertaken on the performance, play experience and preference results for each device. Potential explanations for these results are discussed, as well as the direction of future work.