|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 listsInstitution of Engineering and Technology Public Lectures Wolfson College Humanities Society talks Computer Laboratory Opera Group Seminars
Other talksLogic programming beyond Prolog Lunchtime Talks Control of interbank contagion under partial information A Land of Conspiracy: Geopolitics and Imagination in Colonial North Africa CGHR Research Group Investigation of a novel iron-uptake system in Staphylococcus aureus