[bitc-dev] Bitc Secure Programming

Jonathan S. Shapiro shap at eros-os.org
Sun Aug 6 12:26:56 EDT 2006

On Sun, 2006-08-06 at 15:39 +0200, Guillaume FORTAINE wrote:
> Hello all,
> Here is a marvellous paper, thanks to fred spiessens :
> http://www.info.ucl.ac.be/~pvr/oze.pdf


Oz-E (Spiessens & Van Roy) is really good work. It's borrowing many key
ideas from E (Miller). Miller just finished his Ph.D. Guess where...


More information about the bitc-dev mailing list