Inproceedings,

Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis.

, and .
PLOS@SOSP, page 1-7. ACM, (2015)

Meta data

Tags

Users

  • @csl_uth
  • @dblp

Comments and Reviews