Taxonomic Search: John Launchbury

Results 1 - 10 of 15

Results

file

Visible to the public Moving forward with DIS and the Building Code

Moderator:Bill Scherlis (CMU)
Panelists: Byron Cook (Microsoft Research and University Colllege London), Kathleen Fisher (DARPA), John Hatcliff (Kansas State University), John Launchbury (Galois, Inc.), Ray Richards (Rockwell Collins)

Abstract:

file

Visible to the public A Business Case for FP

file

Visible to the public Cryptol Tutorial

file

Visible to the public Trusted Web Server

file

Visible to the public Cryptol on FPGAs