9 Oct
2018
9 Oct
'18
5:22 a.m.
… and mentions seL4 prominently: https://www.sbir.gov/sbirsearch/detail/1508741