|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Towards Trustworthy Embedded Systems
If you have a question about this talk, please contact Eiko Yoneki.
Embedded systems are increasingly used in circumstances where people’s lives or valuable assets are at stake, hence they should be trustworthy – safe, secure, reliable. True trustworthiness can only be achieved through mathematical proof of the relevant properties. Yet, real-world software systems are far too complex to make their formal verification tractable in the foreseeable future. The Trustworthy Systems project at NICTA has formally proved the functional correctness as well as other security-relevant properties of the seL4 microkernel. This talk will provide an overview of the principles underlying seL4, and the approach taken in its design, implementation and formal verification. It will also discuss on-going activities and our strategy for achieving the ultimate goal of system-wide security guarantees.
This talk is part of the Computer Laboratory Systems Research Group Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsPalestinians in Israel: Segregation, Discrimination and Democracy Tom Henn Memorial Lecture - St Catharine's Collect Lecture Series Martin Centre Research Seminar Series - 42nd Annual Series of Lunchtime Lectures
Other talksMicrosoft Distinguished Research Lecture: Toward Causal Machine Learning Dialect Death and the Structured Obsolescence Myth Navigating through tissue mazes: how leukocytes find their way to functional destinations Imaging phatocytosis: receptors, phospholipids and the cytoskeleton Host: Rob Kay (MRC-LMB) The CHRNA5-A3-B4 gene cluster: More than just smoking quantity? TBC