An seL4-based architecture for layered attestation. - Grant Jurgensen; Michael Neises; Perry Alexander (HotSoS, 2020)

Humanoid Robots: Body Language and Charisma. - Michael Neises (HRI (Companion), 2020)