cap-talk General discussion of capability systems

2011-11-01 - 2011-12-01 (111 messages)

2011-10-01 - 2011-11-01 (26 messages)

2011-09-01 - 2011-10-01 (30 messages)

  1. 2011-10-21 [10] Re: [cap-talk] Avoiding excess authority in chained access cap-talk    Monty Zukowski 
  2. 2011-10-08  [1] [cap-talk] About to start on MinorFs2                      cap-talk    Rob Meijer 
  3. 2011-10-05  [6] Re: [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lectu cap-talk    Raoul Duke 
  4. 2011-10-04  [3] Re: [cap-talk] Hoare's 1980 Turing Award Lecture ...andpro cap-talk    lists
  5. 2011-10-04  [5] Re: [cap-talk] [friam] RE: Hoare's 1980 Turing Award Lectu cap-talk    Raoul Duke 
  6. 2011-10-04  [1] [cap-talk] OK Labs (or seL4) & verification (was: Hoare's  cap-talk    Gernot Heiser