|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Exploring compartmentalisation hypotheses with SOAAP
If you have a question about this talk, please contact Wei Ming Khoo.
Application compartmentalisation decomposes software into sandboxed components in order to mitigate security vulnerabilities, and has proven effective in limiting the impact of compromise. However, experience has shown that adapting existing C-language software is difﬁcult, often leading to problems with correctness, performance, complexity, and most critically, security. Security-Oriented Analysis of Application Programs (SOAAP) is an in-progress research project into new semi-automated techniques to support compartmentalisation. SOAAP employs a variety of static and dynamic approaches, driven by source code annotations termed compartmentalisation hypotheses, to help programmers evaluate strategies for compartmentalising existing software.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsECNM Group, Department of Materials Science and Metallurgy Cyber Security Society talks Program verification reading group.
Other talksCafé Synthetique: biomechanics and DNA lego Structure, Biology and Therapeutic Potential of Novel ER Located Growth Factors Wings inform: mechanosensing in insect flight control. Cafe Synthetique: Are synthetic biologists engineers, tinkerers or hackers? Emergent phases in large constrained graphs High_Value Business Models Symposium