Software security aims to develop mechanisms to ensure the safe design and execution of software. We are primarily interested in the development of language protection mechanism using formalisms such as Hoare logic and Separation Logic. Recent advances in program logics make it possible to reason rigorously about pointers, the heap and concurrency. This enables us to offer better protection against buffer overflows, format string attacks, race conditions and code injections.
People: Sarah Al-Azzani, Rami Bahsoon, Andrew Brown, Horia Corcalciuc, Olufunmilola Onolaja, Hayo Thielecke.
3 publications:
