Taxonomic Search: joe OR hendrix
Results 1 - 10 of 34
Results
file
Abstract:
Cryptography is essential for ensuring that sensitive information can be securely stored and transmitted without risk of tampering or disclosure to untrusted parties. Although typically only a very small part of an overall system, cryptographic implementations are often highly complex due to a variety of performance optimizations, and may have many edge cases or diffcult to understand implementation tricks.
page
Hovering over speakers’ names will display titles in most browsers.
page
Hovering over speakers’ names will display titles in most browsers.
file
ABSTRACT
Symbolic simulation is a powerful technique for building mathematical models describing a program’s results by simulating execution while interpreting inputs as symbolic variables. Such models can then be used to prove properties about the corresponding source program, including equivalence against a reference implementation.
file
Dr. Joe Peters, Federal Highway Administration, presentation at the 1st National CPS PI Meeting, Arlington, VA, 08/11/2010
