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 46-48 of 1152
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 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
