Matches in SemOpenAlex for { <https://semopenalex.org/work/W2515122689> ?p ?o ?g. }
- W2515122689 abstract "A manufacturer of custom hardware (ASICs) can undermine the intended execution of that hardware, high-assurance execution thus requires controlling the manufacturing chain. However, a trusted platform might be orders of magnitude worse in performance or price than an advanced, untrusted platform. This paper initiates exploration of an alternative: using verifiable computation (VC), an untrusted ASIC computes proofs of correct execution, which are verified by a trusted processor or ASIC. In contrast to the usual VC setup, here the prover and verifier together must impose less overhead than the alternative of executing directly on the trusted platform. We instantiate this approach by designing and implementing physically realizable, area-efficient, high throughput ASICs (for a prover and verifier), in fully synthesizable Verilog. The system, called Zebra, is based on the CMT and Allspice interactive proof protocols, and required new observations about CMT, careful hardware design, and attention to architectural challenges. For a class of real computations, Zebra meets or exceeds the performance of executing directly on the trusted platform." @default.
- W2515122689 created "2016-09-16" @default.
- W2515122689 creator A5001754506 @default.
- W2515122689 creator A5010950688 @default.
- W2515122689 creator A5033148129 @default.
- W2515122689 creator A5058178559 @default.
- W2515122689 creator A5059954552 @default.
- W2515122689 date "2016-05-01" @default.
- W2515122689 modified "2023-09-24" @default.
- W2515122689 title "Verifiable ASICs" @default.
- W2515122689 cites W1577653766 @default.
- W2515122689 cites W1591013007 @default.
- W2515122689 cites W1736600188 @default.
- W2515122689 cites W179459262 @default.
- W2515122689 cites W1910751411 @default.
- W2515122689 cites W1970606468 @default.
- W2515122689 cites W1970808997 @default.
- W2515122689 cites W1971605365 @default.
- W2515122689 cites W1976955200 @default.
- W2515122689 cites W1982254474 @default.
- W2515122689 cites W1982971905 @default.
- W2515122689 cites W1994870682 @default.
- W2515122689 cites W2012725064 @default.
- W2515122689 cites W2016991483 @default.
- W2515122689 cites W2018746447 @default.
- W2515122689 cites W2024381286 @default.
- W2515122689 cites W2027384865 @default.
- W2515122689 cites W2041068798 @default.
- W2515122689 cites W2049982182 @default.
- W2515122689 cites W2053086236 @default.
- W2515122689 cites W2057370706 @default.
- W2515122689 cites W2061587924 @default.
- W2515122689 cites W2067047774 @default.
- W2515122689 cites W2067596507 @default.
- W2515122689 cites W2067700169 @default.
- W2515122689 cites W2071520502 @default.
- W2515122689 cites W2082647621 @default.
- W2515122689 cites W2096390054 @default.
- W2515122689 cites W2098843110 @default.
- W2515122689 cites W2099836087 @default.
- W2515122689 cites W2100818808 @default.
- W2515122689 cites W2101687784 @default.
- W2515122689 cites W2103979985 @default.
- W2515122689 cites W2104671161 @default.
- W2515122689 cites W2105012170 @default.
- W2515122689 cites W2107019053 @default.
- W2515122689 cites W2109850893 @default.
- W2515122689 cites W2130375286 @default.
- W2515122689 cites W2135211381 @default.
- W2515122689 cites W2144238522 @default.
- W2515122689 cites W2145937629 @default.
- W2515122689 cites W2151433956 @default.
- W2515122689 cites W2151668694 @default.
- W2515122689 cites W2157521472 @default.
- W2515122689 cites W2160566592 @default.
- W2515122689 cites W2161998562 @default.
- W2515122689 cites W2166670067 @default.
- W2515122689 cites W2169657197 @default.
- W2515122689 cites W2171337840 @default.
- W2515122689 cites W2171985529 @default.
- W2515122689 cites W2192481898 @default.
- W2515122689 cites W2293988196 @default.
- W2515122689 cites W2294895936 @default.
- W2515122689 cites W2788433071 @default.
- W2515122689 cites W2964279767 @default.
- W2515122689 cites W3150167865 @default.
- W2515122689 cites W4252006073 @default.
- W2515122689 cites W76123274 @default.
- W2515122689 cites W2054136599 @default.
- W2515122689 doi "https://doi.org/10.1109/sp.2016.51" @default.
- W2515122689 hasPublicationYear "2016" @default.
- W2515122689 type Work @default.
- W2515122689 sameAs 2515122689 @default.
- W2515122689 citedByCount "44" @default.
- W2515122689 countsByYear W25151226892012 @default.
- W2515122689 countsByYear W25151226892016 @default.
- W2515122689 countsByYear W25151226892017 @default.
- W2515122689 countsByYear W25151226892018 @default.
- W2515122689 countsByYear W25151226892019 @default.
- W2515122689 countsByYear W25151226892020 @default.
- W2515122689 countsByYear W25151226892021 @default.
- W2515122689 countsByYear W25151226892022 @default.
- W2515122689 crossrefType "proceedings-article" @default.
- W2515122689 hasAuthorship W2515122689A5001754506 @default.
- W2515122689 hasAuthorship W2515122689A5010950688 @default.
- W2515122689 hasAuthorship W2515122689A5033148129 @default.
- W2515122689 hasAuthorship W2515122689A5058178559 @default.
- W2515122689 hasAuthorship W2515122689A5059954552 @default.
- W2515122689 hasConcept C108710211 @default.
- W2515122689 hasConcept C111919701 @default.
- W2515122689 hasConcept C149635348 @default.
- W2515122689 hasConcept C157764524 @default.
- W2515122689 hasConcept C159718280 @default.
- W2515122689 hasConcept C177264268 @default.
- W2515122689 hasConcept C199360897 @default.
- W2515122689 hasConcept C2524010 @default.
- W2515122689 hasConcept C2779030575 @default.
- W2515122689 hasConcept C2779960059 @default.
- W2515122689 hasConcept C33923547 @default.
- W2515122689 hasConcept C41008148 @default.