S
Srinivas Devadas
Researcher at Massachusetts Institute of Technology
Publications - 498
Citations - 35003
Srinivas Devadas is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Sequential logic & Combinational logic. The author has an hindex of 88, co-authored 480 publications receiving 31897 citations. Previous affiliations of Srinivas Devadas include University of California, Berkeley & Cornell University.
Papers
More filters
Proceedings ArticleDOI
Catena: Efficient Non-equivocation via Bitcoin
Alin Tomescu,Srinivas Devadas +1 more
TL;DR: Catena enables any number of thin clients, such as mobile phones, to efficiently agree on a log of application-specific statements managed by an adversarial server, and increases the bandwidth requirements of log auditors from 90GB to only tens of megabytes.
Proceedings ArticleDOI
OCCOM: efficient computation of observability-based code coverage metrics for functional verification
TL;DR: This paper provides the details of an efficient method to compute an Observability-based Code COverage Metric (OCCOM) that can be used while simulating complex HDL designs and offers a more accurate assessment of design verification coverage than line coverage.
Proceedings ArticleDOI
Instruction selection, resource allocation, and scheduling in the AVIV retargetable code generator
Silvina Hanono,Srinivas Devadas +1 more
TL;DR: It is shown that near-optimal code can be generated for basic blocks for different architectures within reasonable amounts of CPU time, and allows us to accurately evaluate the performance of different architectures on application code.
Journal ArticleDOI
Controlled physical random functions and applications
TL;DR: This work proposes controlled physical random functions (CPUFs) as an alternative to storing keys and describes the core protocols that are needed to use CPUFs and presents some elementary applications, such as certified execution.
Proceedings ArticleDOI
Application-specific memory management for embedded systems using software-controlled caches
TL;DR: A way to improve the performance of embedded processors running data-intensive applications by allowing software to allocate on-chip memory on an application-specific basis via a novel hardware mechanism, called column caching.