SECURE AND SCALABLE SYSTEMS SOFTWARE: VERIFICATION OF SAFETY AND SECURITY PROPERTIES OF ASSEMBLY CODE AND EXTENSION OF POPCORN LINUX SUBSYSTEMS

Virginia Polytechnic Institute & State University

Investigators