Publications

1. Verification of a Generative Separation Kernel
   Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
   International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020