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