Description: uberSpark is an innovative system architecture and programming framework for modular provable security on commodity system software stacks.
uberSpark is an innovative system architecture and programming framework for modular provable security on commodity system software stacks
uberSpark (überSpark) is an innovative system architecture, software development kit and runtime framework for Modular Provable Security (MPS) on Commodity Heterogeneous Interconnected Computing (CHIC) platforms. uberSpark faciliates compositional verification of security properties on the CHIC software stack while supporting low-level programming languages such as C and Assembly. The salient features of uberSpark include:
The primary sub-projects of uberSpark are: