Hypervisors provide a security foundation of cloud computing, yet have suffered exploits. Efforts at formal verification have included codevelopment (XMHF) and interactive theorem proving (seL4). A technique that can be quickly applied to existing hypervisors is desirable. We examine binaries by extending the Binary Analysis Platform (BAP) to include the required system mode instructions used b...

We are building a tool that uses symbolic execution to search for BIOS security vulnerabilities including dangerous memory references (call outs) by SMM interrupt handlers in UEFI-compliant implementations of BIOS. Our tool currently applies only to interrupt handlers for SMM variables. Given a snapshot of SMRAM, the base address of SMRAM, and the address of the variable interrupt handler in SM...

Twelve people became ill with vomiting and diarrhoea approximately four hours after eating cake with a cream filling at a birthday party and on the day following. The cake had been prepared by a food handler who had long experience in preparing foods for such functions. Staphylococcus aureus that produced enterotoxin A was isolated from the nose, the fingernails, and a healed infection on the n...

Quantitative PCR (qPCR) has enabled a wide range of real-time applications including comparisons in gene expression, genotyping and SNP analysis. To ensure high data quality, the liquid handling employed in low-volume reactions must be exceptionally precise and accurate. This application note highlights the capabilities of the Echo 555 liquid handler to dispense into 384-well qPCR plates with t...

BACKGROUND The food industry regulates various aspects of food handler activities, according to legislation and customer expectations. The purpose of this paper is to provide a code of practice which delineates a set of working standards for food handler hygiene, handwashing, use of protective equipment, wearing of jewellery and body piercing. METHODS The code was developed by a working group...

The general-purpose precise interrupt mechanism, which has long been used to handle exceptional conditions that occur infrequently, is now being used increasingly often to handle conditions that are neither exceptional nor infrequent. One example is the use of interrupts to perform memory management-e.g., to handle translation lookaside buffer (TLB) misses in today’s microprocessors. Because th...

We extend the game theoretic model of kleptoparasitism introduced by Broom and Ruxton (1998, Behav. Ecol. 9, 397-403) in two ways: we allow for asymmetric contests, where the probability alpha of the challenger winning can take any value from 0 to 1; and we allow the handler to choose not to resist the challenge, but to immediately concede and relinquish its food to the challenger. We find, in ...

WorkTrak is a Workflow Management System that is developed as a research product in the Division of Computing Studies Arizona State University East. WorkTrak system is a distributed Java application with a Remote Method Invocation (RMI) Server that stores the state. The WorkTrak WorkList Handler project is a web application that is based on the server side programming paradigm. This application...

The Message Handler identifies an individual MUC message unit and controls the flow o f operations of the whole system for one message . It reads sentences, and sends one sentence at a time to the ITP Natural Language Understanding Module . It prunes temporal and locative expressions, which are added back later to modify events . The ITP NLU Module parses one sentence, and maps its parse tree o...