Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones. - Dylan Zueck; Nathaniel Atallah; Ian Do; Zhihao Yao 001; Ardalan Amiri Sani (APSys, 2024)