HCSS '04

file

Visible to the public Programatica Tutorial

file

Visible to the public Trusted Web Server

file

Visible to the public Cryptol Tutorial

file

Visible to the public Designing and Testing a High Assurance ASN.1 Compiler

file

Visible to the public Formal Derivation of Security Protocols

file

Visible to the public Modelling Key Distribution, Art to Science

file

Visible to the public Ad Hoc Data: An Opportunity for Domain-Specific Languages