Tock: From Research To Securing 10 Million Computers.

Leon Schuermann, Brad Campbell, Branden Ghena, Philip Alexander Levis, Amit Levy, Pat Pannuto

Browse the full SOSP paper archive.