Recent paper on VCGen

• Next message: dwheeler@ida.org: "Please add a link to "Secure Programming for Linux and Unix HOWTO""
• Previous message: George Necula: "FW: SPIN 2003"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Message-ID: <4E06A937DADC3842ACE4D3A1096A9EAC567C89@JANUS.eecs.berkeley.edu>
From: George Necula <necula@EECS.Berkeley.EDU>
Subject: Recent paper on VCGen
Date: Thu, 25 Jul 2002 18:40:03 -0700


 In case you are interested, here is a link to another POPL submission
describing a way to implement PCC such that most of the verifier is
untrusted (i.e. the bad guys give you the code to run, a proof of its safety
and (most of) the verifier, in executable form, that you should use to
compare the code to the proof). If you  have interest and read the paper we
welcome your comments. 

 http://raw.cs.berkeley.edu/Papers/vcgen.pdf

 Thanks,
George.  

• Next message: dwheeler@ida.org: "Please add a link to "Secure Programming for Linux and Unix HOWTO""
• Previous message: George Necula: "FW: SPIN 2003"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST