Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109430392> ?p ?o ?g. }
- W2109430392 abstract "The security of systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation conducted by untrusted parties. Special cases include integrity of programs running on untrusted platforms, various forms of confidentiality and side-channel resilience, and domain-specific invariants. We propose a new approach, proof-carrying data (PCD), which sidesteps the threat of faults and leakage by reasoning about properties of a computation’s output data, regardless of the process that produced it. In PCD, the system designer prescribes the desired properties of a computation’s outputs. Corresponding proofs are attached to every message flowing through the system, and are mutually verified by the system’s components. Each such proof attests that the message’s data and all of its history comply with the prescribed properties. We construct a general protocol compiler that generates, propagates, and verifies such proofs of compliance, while preserving the dynamics and efficiency of the original computation. Our main technical tool is the cryptographic construction of short non-interactive arguments (computationally-sound proofs) for statements whose truth depends on “hearsay evidence”: previous arguments about other statements. To this end, we attain a particularly strong proof-of-knowledge property. We realize the above, under standard cryptographic assumptions, in a model where the prover has blackbox access to some simple functionality — essentially, a signature card. Thesis Supervisor: Ronald L. Rivest Title: Professor of Electrical Engineering and Computer Science Thesis Supervisor: Eran Tromer Title: Postdoctoral Associate" @default.
- W2109430392 created "2016-06-24" @default.
- W2109430392 creator A5028305118 @default.
- W2109430392 date "2010-01-01" @default.
- W2109430392 modified "2023-09-23" @default.
- W2109430392 title "Proof-carrying data" @default.
- W2109430392 cites W1484001631 @default.
- W2109430392 cites W1484557542 @default.
- W2109430392 cites W1492842426 @default.
- W2109430392 cites W1493969756 @default.
- W2109430392 cites W1504441476 @default.
- W2109430392 cites W1505345253 @default.
- W2109430392 cites W1508362310 @default.
- W2109430392 cites W1519889149 @default.
- W2109430392 cites W1522113126 @default.
- W2109430392 cites W1527197079 @default.
- W2109430392 cites W1541663547 @default.
- W2109430392 cites W1542455165 @default.
- W2109430392 cites W1549228503 @default.
- W2109430392 cites W1553136405 @default.
- W2109430392 cites W1557561422 @default.
- W2109430392 cites W1559498407 @default.
- W2109430392 cites W1562313898 @default.
- W2109430392 cites W1563623221 @default.
- W2109430392 cites W1566345534 @default.
- W2109430392 cites W1569530622 @default.
- W2109430392 cites W1569885018 @default.
- W2109430392 cites W1588567874 @default.
- W2109430392 cites W1589034595 @default.
- W2109430392 cites W1598324400 @default.
- W2109430392 cites W1626549230 @default.
- W2109430392 cites W1649645444 @default.
- W2109430392 cites W1836725053 @default.
- W2109430392 cites W1867273832 @default.
- W2109430392 cites W1963094505 @default.
- W2109430392 cites W1966205523 @default.
- W2109430392 cites W1966284004 @default.
- W2109430392 cites W1970606468 @default.
- W2109430392 cites W1970808997 @default.
- W2109430392 cites W1972792640 @default.
- W2109430392 cites W1984685443 @default.
- W2109430392 cites W1984976620 @default.
- W2109430392 cites W199023450 @default.
- W2109430392 cites W1993302007 @default.
- W2109430392 cites W1994584977 @default.
- W2109430392 cites W1999602293 @default.
- W2109430392 cites W2002930326 @default.
- W2109430392 cites W2006252547 @default.
- W2109430392 cites W2006453614 @default.
- W2109430392 cites W2006761152 @default.
- W2109430392 cites W2013623332 @default.
- W2109430392 cites W2015880590 @default.
- W2109430392 cites W2019578639 @default.
- W2109430392 cites W2021736779 @default.
- W2109430392 cites W2027471022 @default.
- W2109430392 cites W2034711041 @default.
- W2109430392 cites W2038202352 @default.
- W2109430392 cites W2038517014 @default.
- W2109430392 cites W2040438296 @default.
- W2109430392 cites W2053086236 @default.
- W2109430392 cites W2056189911 @default.
- W2109430392 cites W2057777667 @default.
- W2109430392 cites W2061106457 @default.
- W2109430392 cites W2062427087 @default.
- W2109430392 cites W2063738041 @default.
- W2109430392 cites W2070598115 @default.
- W2109430392 cites W2074594718 @default.
- W2109430392 cites W2077202644 @default.
- W2109430392 cites W2080911030 @default.
- W2109430392 cites W2082647621 @default.
- W2109430392 cites W2083237534 @default.
- W2109430392 cites W2086234010 @default.
- W2109430392 cites W2086653003 @default.
- W2109430392 cites W2094873755 @default.
- W2109430392 cites W2096390054 @default.
- W2109430392 cites W2098121410 @default.
- W2109430392 cites W2098324348 @default.
- W2109430392 cites W2099137371 @default.
- W2109430392 cites W2100666033 @default.
- W2109430392 cites W2107691219 @default.
- W2109430392 cites W2117115928 @default.
- W2109430392 cites W2117362057 @default.
- W2109430392 cites W2119028650 @default.
- W2109430392 cites W2121510533 @default.
- W2109430392 cites W2126661026 @default.
- W2109430392 cites W2128025167 @default.
- W2109430392 cites W2129278597 @default.
- W2109430392 cites W2134149606 @default.
- W2109430392 cites W2136296832 @default.
- W2109430392 cites W2137883105 @default.
- W2109430392 cites W2144560442 @default.
- W2109430392 cites W2145937629 @default.
- W2109430392 cites W2146099890 @default.
- W2109430392 cites W2148352980 @default.
- W2109430392 cites W2148888468 @default.
- W2109430392 cites W2148957455 @default.
- W2109430392 cites W2150769115 @default.
- W2109430392 cites W2151413173 @default.
- W2109430392 cites W2151433956 @default.
- W2109430392 cites W2152005134 @default.