Sciweavers

226 search results - page 46 / 46
» On Tool Integration in High-Performance FPGA Design Flows
Sort
View
ICS
2010
Tsinghua U.
14 years 2 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer