Final rept. Sep 2014-Mar 2015
ASSURED INFORMATION SECURITY INC ROME NY
Pagination or Media Count:
Crema is a programming language and restricted environment of sub-Turing power for building a provably-secure and intent-driven programming language. By restricting the computational effectiveness of programs to a set of minimal requirements, weird machines--the intended execution environments created when data is not explicitly handled or parsed--can be eliminated, and programs will only execute according to their authors intentions. The effort estimated and compared the respective sizes of verification tasks for Qmail SMTP parsing code fragments when executed natively vs in Crema-using LLVM and KLEE. Research was also accomplished to understand the application of the same principles to the verification of reference monitors.
- Computer Programming and Software
- Computer Systems Management and Standards