DSpace@MIT
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
Recent submissions
JavaScript is disabled for your browser. Some features of this site may not work without it.
Toggle navigation
LCS Publications: Recent submissions
Now showing items 52-54 of 1152
Improving Test Suites via Generated Specifications
Harder, Michael
(
2002-06
)
A Trusted Third-Party Computation Service
Ajmani, Sameer
;
Morris, Robert T.
;
Liskov, Barbara H.
(
2001-05
)
A Trusted Execution Platform for Multiparty Computation
Ajmani, Sameer
(
2000-09
)
Search DSpace
This Community
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Statistics
OA Statistics
Statistics by Country
Statistics by Department
