Fiscal Year	2010
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Dinolt, George W.
Sponsor	National Security Agency (Other-Fed)
Summary	Continuation of multiyear effort to produce concept, mathematical modeling approaches to provide the same level of protection to the implementations of cryptographic algorithms and the data managed by those algorithms as is provided by hardware based implementations of those algorithms.
Keywords	Computer Security Formal Methods
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal