Amit Levy
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
OS×1Crypto×1
Frequent co-authors
Research Timeline
2026
Tock: From Research to Securing 10 Million Computers
This paper analyzes the impact of Tock's secure technical design, built using Rust and hardware protection, on its successful transition from academic research to a widely adopted, production-grade open-source operating system.
Highlighted terms show continued research focus across papers
Papers
cs.OScs.CRRecentMar 23, 2026
Tock: From Research to Securing 10 Million Computers
Leon Schuermann, Brad Campbell, Branden Ghena, Philip Levis +2 more
This paper analyzes the impact of Tock's secure technical design, built using Rust and hardware protection, on its successful transition from academic research to a widely adopted, production-grade op…
View →