MIT Libraries: Recent submissions
Now showing items 1-3 of 63600
-
Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
(Massachusetts Institute of Technology, 2024-09)Hardware and software systems are susceptible to bugs and timing side-channel vulnerabilities. Timing leakage is particularly hard to eliminate because leakage is an emergent property that can arise from subtle behaviors ... -
Guiding Deep Probabilistic Models
(Massachusetts Institute of Technology, 2024-09)Deep probabilistic models utilize deep neural networks to learn probability distributions in high-dimensional data spaces. Learning and inference in these models are complicated due to the difficulty of direct evaluation ... -
A Technology Platform for Enabling Next-Generation Vacuum Electronic Devices Based on Silicon Field Emitter Arrays
(Massachusetts Institute of Technology, 2024-09)As the demand for electronics with better performance and increased functionality continues to escalate, researchers are finding it more and more difficult to surpass the limitations of conventional transistors due to ...