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 40-42 of 666
Delay-Based Circuit Authentication With Application to Key Cards
Gassend, Blaise
;
Clarke, Dwaine
;
van Dijk, Marten
;
Devadas, Srinivas
(
2002-06
)
Safe Runtime Downcasts With Ownership Types
Boyapati, Chandrasekhar
;
Lee, Robert
;
Rinard, Martin
(
2002-06
)
Automatic Generation and Checking of Program Specifications
Nimmer, Jeremy
(
2002-06
)
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
