Paper Info
Title
Function flattening for lease-based, information-leak-free systems
Abstract
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execution leases bound the time and address space used by functions to prevent information leakage between functions. Nested functions, however, require a relatively expensive hardware stack of execution leases. We introduce techniques to flatten nested functions and reduce overhead of the hardware stack. We note that while function flattening is impractical for conventional systems, avoiding information leakage results in constraints on program control that also make flattening possible in this setting. Through a combination of code hoisting and function splitting, we find that leases for nested functions can be substantially flattened in several practical examples. We note that some nested loop and function structures can lead to exponential growth in code size due to flattening, but that our techniques give system designers the ability to trade code size with hardware cost.
Year
DOI
Venue
2010
10.1109/ASAP.2010.5540946
ASAP
Keywords
Field
DocType
computer security,covert channels,information flow tracking,secure hardware,programming,exponential growth,cryptography,registers,embedded systems,optimization,system design,computer science,functional programming,nested loops,application software,embedded system,covert channel,software engineering,control systems,hardware,information flow
Address space,Flattening,Functional programming,Information leakage,Computer science,Covert channel,Parallel computing,Nested function,Real-time computing,Application software,Nested loop join
Conference
ISSN
ISBN
Citations 
2160-0511 E-ISBN : 978-1-4244-6965-9
978-1-4244-6965-9
0
PageRank 
References 
Authors
0.34
3
4
Name
Order
Citations
PageRank
Xun Li11275.94
Mohit Tiwari244523.94
Timothy Sherwood31921123.28
Frederic T. Chong41428130.07