layout page title Publications page_title Related Publications menu main Radshield: Software Radiation Protection for Commodity Hardware in Space ASPLOS 2026 paper Mars Attacks! Software Protection Against Space Radiation HotNets 2023 paper