GaloisInc / halvm-web

Other
15 stars 5 forks source link

TLS Support #1

Open acw opened 8 years ago

acw commented 8 years ago

It would be very nice if this system supported TLS. I've tried to leave obvious holes where we could add it, but it should probably wait for a new release of TLS that includes 76e6a37d1786871295b8a47f732dfc277fd4f918. (Reason: I'd like to stick to Hans 3 or better, and the released version only supports 2, with flags.)

Otherwise, I used the site/ subdirectory of the tarball for static content so that we could eventually add keys/ or certs/ to support TLS.