3 Grants
2018
SaTC: CORE: Medium: Towards Mechanized Proofs of Composable Security Properties
Kfoury, Assaf⋅Canetti, Ran⋅Varia, Mayank and Stoughton, Alley
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division Of Computer and Network Systems (ID: 1801564), $270,485USD, 08/15/2018 -- 07/31/2022
1996
Logical Support for High-Assurance Software Evolution
Schmidt, David⋅Howard, Brian⋅Stoughton, Alley and Dwyer, Matthew
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9633388), $200,000USD, 09/01/1996 -- 02/29/2000
1993
Analysis and Classification of Programming Languages
Schmidt, David and Stoughton, Alley
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9302962), $221,000USD, 09/01/1993 -- 08/31/1997