DSpace@MIT
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Reports (1974 - 2003)
Recent submissions
DSpace@MIT Home
Computer Science and Artificial Intelligence Lab (CSAIL)
LCS Publications
LCS Technical Reports (1974 - 2003)
Recent submissions
JavaScript is disabled for your browser. Some features of this site may not work without it.
Toggle navigation
LCS Technical Reports (1974 - 2003): Recent submissions
Now showing items 46-48 of 666
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 Collection
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Statistics
OA Statistics
Statistics by Country
Statistics by Department
