Taxonomic Search: John Launchbury

Results 1 - 10 of 14

Results

file

Visible to the public Software Development in Haskell

License: 
Creative Commons 2.5
file

Visible to the public Building Multilevel Secure Web Services-based Components for the Global Information Grid

License: 
Creative Commons 2.5
file

Visible to the public A Business Case for FP

License: 
Creative Commons 2.5
file

Visible to the public Cryptol Tutorial

License: 
Creative Commons 2.5
file

Visible to the public Trusted Web Server

License: 
Creative Commons 2.5
file

Visible to the public Cryptol on FPGAs

License: 
Creative Commons 2.5
file

Visible to the public A High-Assurance Partitioned Development Environment

License: 
Creative Commons 2.5
file

Visible to the public Cryptol Tutorial: Overview and Elements

License: 
Creative Commons 2.5
file

Visible to the public Specification of AIM Crypto Engines

License: 
Creative Commons 2.5
file

Visible to the public Formal Models of AIM

License: 
Creative Commons 2.5