cap-talk General discussion of capability systems

2011-03-01 - 2011-04-01 (114 messages)

2011-02-01 - 2011-03-01 (179 messages)

2011-01-01 - 2011-02-01 (27 messages)

  1. 2011-02-28  [4] [cap-talk] Old talk & interview on ES5, Caja, SES now up   cap-talk    Mark S. Miller 
  2. 2011-02-28  [1] Re: [cap-talk] [e-lang]  Old talk & interview on ES5, Caja cap-talk    Mark S. Miller 
  3. 2011-02-27  [7] [cap-talk] Beneath Notice Authority was:Capabilities for i cap-talk    Bill Frantz 
  4. 2011-02-25  [2] [cap-talk] *cap/*ken indoctrination day?                   cap-talk    Johnicholas Hine
  5. 2011-02-25 [64] [cap-talk] Capabilities for immutable data                 cap-talk    David Barbour 
  6. 2011-02-25  [8] Re: [cap-talk] cap-talk Digest, Vol 83,                    cap-talk    James A. Donald 
  7. 2011-02-24  [1] [cap-talk] Zero protection operating systems               cap-talk    Bill Frantz 
  8. 2011-02-23  [1] Re: [cap-talk] Public Release of seL4: a formally          cap-talk    Matej Kosik 
  9. 2011-02-23  [1] [cap-talk] Public Release of seL4: a formally verified     cap-talk    Toby Murray 
 10. 2011-02-22 [13] Re: [cap-talk] Covert channels                             cap-talk    David Wagner 
 11. 2011-02-22  [1] Re: [cap-talk] cap-talk Digest, Vol 83, Issue 28           cap-talk    HP Labs India
 12. 2011-02-22  [2] [cap-talk] Google "context reflux"                         cap-talk    Jonathan S. Shap
 13. 2011-02-22  [3] Re: [cap-talk] Covert channels - practical application or  cap-talk    Jonathan S. Shap
 14. 2011-02-21  [9] [cap-talk] Covert channels (was Re: Capabilities for immut cap-talk    David Barbour 
 15. 2011-02-16 [53] [cap-talk] Questions about Zooko's triangle                cap-talk    David-Sarah Hopw
 16. 2011-02-15  [2] [cap-talk] Basic SSL question (was Re: Questions about Zoo cap-talk    David Barbour 
 17. 2011-02-10  [5] [cap-talk] one malcontent's griping about mesh-extended UR cap-talk    David-Sarah Hopw
 18. 2011-02-06  [1] [cap-talk] Unstable output visibility (was: Waterken issue cap-talk    David-Sarah Hopw
 19. 2011-02-02  [1] [cap-talk] ANNOUNCING Tahoe, the Least-Authority File Syst cap-talk    Zooko OWhielacro