Cryptol is an open source pure functional language for expressing and reasoning about bit-precise computations, particularly cryptographic algorithms. Like Haskell, it is built upon a polymorphic, static type system, and offers similar mathematica... Read more
Claim your profile today and start building your speaker history.
Dylan McNamee is a member of the technical staff at Galois, where he leads Galois’ assured platforms program. At Galois, he designed a file system for cross- domain systems, and has written Cryptol specifications for a number of cryptographic algorithms. Before joining Galois, Dylan was an assistant professor of computer science at the Oregon Graduate Institute, and subsequently co-founded two startup companies in the early 2000’s. He received his MS and PhD in Computer Science from University of Washin