DRDO-IISc Workshop on

Verification of System Software

24-25 November 2016
Indian Institute of Science, Bangalore.

This workshop is being organized under the auspicies of the DRDO-IISc Collaborative Programme on the Frontiers of Communication, Control, Signal Processing and Computing. The focus of the workshop is formal verification techniques for systems software, with a particular focus on secure operating systems. The material covered includes the core verification technologies of deductive verification, model-checking, bug-finding, and abstract interpretation, as well as the operational basics of secure operating systems and separation kernels.

The venue of the workshop is Room 101, CSA Department, IISc.

Schedule of talks:

Thursday, 24th Nov

Time Title Speaker Affiliation
9:30am Overview of Verification Techniques Deepak D'Souza IISc
10:30am Bug-Detection Techniques for Concurrent Programs Malavika Samak IISc
11:15am Tea/Coffee Break
11:30am Model-checking high-level races in FreeRTOS Suvam Mukherjee IISc
12:15am Floyd-Hoare Logic Deepak D'Souza IISc
1:00pm Lunch (CSA Garden)
2:00pm Proving assertions using VCC Sumesh Divakaran GEC, Idukki
3:00pm Tea/Coffee Break
3:30pm An Information-Flow based Microkernel K. Gopinath IISc
4:30pm Verification of FreeRTOS Sumesh Divakaran GEC, Idukki

Fri, 25th Nov

Time Title Speaker Affiliation
9:30am Overview of some OS verification projects Arnab Kundu CAIR
10:45am Virtual Memory and Virtual Machines (PPT version) P Habeeb and Ganesh Babu IISc/CAIR
11:15am Tea/Coffee Break
12:00am Hardware Support for Virtualization. Slides 1, Slides 2 Inzemamul Haque and Ganesh Babu IISc/CAIR
1:00pm Lunch (CSA Garden)
2:00pm Muen Separation Kernel: Design Inzemamul Haque and Ganesh Babu IISc/CAIR
3:00pm Tea/Coffee Break
3:30pm Muen Separation Kernel: Implementation and Demo. Slides-1, Slides-2 (PDF), Slides-2 (PPT) Inzemamul Haque, P Habeeb, and Ganesh Babu IISc/IISc/CAIR
4:30pm Closing

Organizers:

Deepak D'Souza, IISc Bangalore (deepakd@csa.iisc.ernet.in)
Arnab Kundu, CAIR Bangalore (arnab@cair.drdo.in)