Researcher: Robert Seacord
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security
Scope: Implement a prototype of the "as-if" infinitely ranged integer model using GCC while preserving existing optimizations.
Outcomes: To propose that the AIR integer model be added as a normative but optional appendix to the C1X major revision to the C standard.