7 research outputs found
Time Protection: the Missing OS Abstraction
Timing channels enable data leakage that threatens the security of computer
systems, from cloud platforms to smartphones and browsers executing untrusted
third-party code. Preventing unauthorised information flow is a core duty of
the operating system, however, present OSes are unable to prevent timing
channels. We argue that OSes must provide time protection in addition to the
established memory protection. We examine the requirements of time protection,
present a design and its implementation in the seL4 microkernel, and evaluate
its efficacy as well as performance overhead on Arm and x86 processors
Computer controlled optimization of power system integrity : a student design project
http://deepblue.lib.umich.edu/bitstream/2027.42/3741/5/bab2775.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/3741/4/bab2775.0001.001.tx
Recommended from our members
Model Systems to Study the Chronic, Polymicrobial Infections in Cystic Fibrosis: Current Approaches and Exploring Future Directions.
A recent workshop titled "Developing Models to Study Polymicrobial Infections," sponsored by the Dartmouth Cystic Fibrosis Center (DartCF), explored the development of new models to study the polymicrobial infections associated with the airways of persons with cystic fibrosis (CF). The workshop gathered 35+ investigators over two virtual sessions. Here, we present the findings of this workshop, summarize some of the challenges involved with developing such models, and suggest three frameworks to tackle this complex problem. The frameworks proposed here, we believe, could be generally useful in developing new model systems for other infectious diseases. Developing and validating new approaches to study the complex polymicrobial communities in the CF airway could open windows to new therapeutics to treat these recalcitrant infections, as well as uncovering organizing principles applicable to chronic polymicrobial infections more generally