Safe and Automated State Transfer for Secure and Reliable Live Update

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

Traditional live update systems offer little or no automated support for state transfer between two different program versions with changes in the program state. In this paper, we report our efforts to build a safe and automated state transfer framework for C programs that requires a minimal number of program state annotations and handles common structural state changes with no programmer assistance. To handle more complex state transformations, the framework includes a number of extension mechanisms designed to minimize the overall programming effort. Our experience with real-world programs suggests that our framework can handle all the standard C idioms and support safe and automated state transfer for complex state changes. We believe our approach is effective in several update scenarios and significantly raises the bar on the security and reliability of live update.
Original languageEnglish
Title of host publicationProceedings of the Fourth International Workshop on Hot Topics in Software Upgrades
PublisherIEEE
Pages16-20
ISBN (Electronic)978-1-4673-1764-1
ISBN (Print)978-1-4673-1765-8
DOIs
Publication statusPublished - 2012

Cite this

Giuffrida, C., & Tanenbaum, A. S. (2012). Safe and Automated State Transfer for Secure and Reliable Live Update. In Proceedings of the Fourth International Workshop on Hot Topics in Software Upgrades (pp. 16-20). IEEE. https://doi.org/10.1109/HotSWUp.2012.6226610