SELECTIVE HIGH ASSURANCE (SHA): LOW-COST PRACTICAL VERIFICATION OF SECURITY MODULES FOR CYBERSECURE SOFTWARE PLATFORMS

Carnegie Mellon University, Pittsburgh PA

Investigators