Research Summaries

Back Software Crypto Modeling

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