[cap-talk] Language-based safety - notes and meat)

[Hal Finney]

On Sun, 2004-11-14 at 11:49, Mark Miller wrote:
> So, regarding a security challenge, the current E-on-Java is the right target. 
> And besides, E-on-Java exists now. A target in the hand is worth two in the 
> bush, or something. Please fire away.

I lurk on the e-lang list, and it seems that Kevin Reid finds bugs in
E pretty regularly.  They are usually extremely technical and I have
little understanding of what they mean.  Are any of these security bugs?
Or are they all pretty much just flaws in functionality that don't affect
the security guarantees?

I'm trying to get an understanding of how secure you think E is right
now given the inevitability of bugs in a program of the complexity of E.

Thanks -

Hal Finney