Past events
Past events
Two guest speakers at Lunch Seminar: Johannes Gehrke, Cornell University and Themis Palpanas, University of Trento
Kevin Elphinstone: Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Lunch Seminar Talk by Qin Yin: Arosa: testbed resource allocation using late-binding and constraints
Lunch Seminar Talk: Joel Reardon, System Security: UBIFSec: Secure Deletion for the UBIFS File System



