cap-talk General discussion of capability systems

2016-03-01 - 2016-04-01 (17 messages)

2016-02-01 - 2016-03-01 (13 messages)

  1. 2016-03-24  [1] [cap-talk] Reasoning about Object Capabilities using Logic cap-talk    Dominique Devrie
  2. 2016-03-23  [7] [cap-talk] Fwd: Fwd: Draft Proposed Standard SES (Secure E cap-talk    Matt Rice 
  3. 2016-03-19  [3] [cap-talk] Fwd: Draft Proposed Standard SES (Secure EcmaSc cap-talk    Mark S. Miller 
  4. 2016-03-19  [5] [cap-talk] TIL: all exceptions before the commit point     cap-talk    Mark S. Miller 
  5. 2016-03-06  [1] [cap-talk] Password security on unencrypted channels       cap-talk    David Nicol