[cap-talk] Language-based safety - notes and meat)
hal at finney.org
Sun Nov 14 13:13:08 EST 2004
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.
More information about the cap-talk