cap-talk General discussion of capability systems

2015-08-01 - 2015-09-01 (9 messages)

2015-07-01 - 2015-08-01 (23 messages)

2015-06-01 - 2015-07-01 (6 messages)

  1. 2015-07-23  [1] [cap-talk] Confused Deputies strike again: OS X DYLD_PRINT cap-talk    Tony Arcieri 
  2. 2015-07-15  [2] [cap-talk] Designing a Secret Handshake: Authenticated Key cap-talk    Anton Burtsev 
  3. 2015-07-09 [13] [cap-talk] Formal modeling of systems based on E/CapTP/(Wa cap-talk    Mark S. Miller 
  4. 2015-07-09  [3] [cap-talk] Throttling and blocking in cap/message-passing  cap-talk    Karp, Alan H 
  5. 2015-07-08  [2] [cap-talk] Snow                                            cap-talk    Tony Arcieri 
  6. 2015-07-08  [2] Re: [cap-talk] [friam] Re: Distributed failure models      cap-talk    Tom Van Cutsem