@misc{Heiser_12:artist, author = {Gernot Heiser}, howpublished = {Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France}, month = sep, title = {Can We Make Trusted Systems Trustworthy?}, url = {https://trustworthy.systems/publications/papers/Heiser_12:artist.abstract.pml}, year = {2012} }