Agile Management of Dynamic Collaboration
| Home |
| People |
| Project Overview |
| Publications |
| Slides |
| Links |
(Please note that this is an approximate list, and there is considerable crossover.)
Ajay Chander
Drew Dean
Ninghui Li
John Mitchell
Securing the Jini Architecture
Ajay Chander
Ninghui Li
John Mitchell
Mobile Code Security and Bytecode Instrumentation
Ajay Chander
Poojan Kumar
John Mitchell
Protocol Analysis and Formal Methods
Satyaki Das
David Dill
Madan Musuvathy
Mary Baker
TJ Giuli
Kevin Lai
Sergio Marti
Mary Baker
Pat Lincoln
Petros Maniatis
John Mitchell
Sahil Rihan
Muthu Senthil
Vanessa Teague