Roger A. Hallman is a cybersecurity researcher with the Naval Information Warfare Center (NIWC) Pacific in San Diego, California. He is also a PhD Candidate under the supervision of Professor George Cybenko at Dartmouth College in Hanover, New Hampshire. His previous research efforts spanned applied homomorphic encryption, resilient cloud-based services, malware analysis, and decision support for cybersecurity.

Abstract: Fiat Cryptography is a formally verified compiler for cryptographic arithmetic code, bridging the gap between whiteboard-level math and performant C code.  It started as an MIT project developed mostly by undergrads and has since been adopted by very popular open-source projects, including Chrome and Firefox.  I will give background on the problem and solution, the latter being a split between coding and proving generic algorithms as functional programs, using partial evaluation to specialize those programs to parameters, and then applying relatively tra

Abstract: Modern software systems, ranging from home networks to nation-critical infrastructures, are assembled from general COTS and open-source components. These components are built to be versatile – usable in a variety of different contexts. For a system to accomplish its mission, its components must be properly configured to interoperate. However, system configuration is complicated in practice: local configuration changes often have a profound system-wide effect. Misconfiguration can both hamper system functionality and have severe security repercussions.

Abstract: 

ABSTRACT