@misc{Heiser_20, address = {Gold Coast}, author = {Heiser, Gernot}, booktitle = {Linux.conf.au}, date = {2020-1-17}, keywords = {operating systems; verification; cyber security; safety-critical systems; {RISC}-{V}}, month = jan, note = { at linux.conf.au}, numpages = {online}, publisher = {Online}, slides = {https://ts.data61.csiro.au/publications/papers/Heiser_20.slides.pdf}, title = {Verified {seL4} on secure {RISC}-{V} processors}, video = {https://youtu.be/wJ96s3pNtI0}, year = {2020} }