Matches in SemOpenAlex for { <https://semopenalex.org/work/W2758676311> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2758676311 abstract "Due to the proliferation of reprogrammable hardware, core designs built from modules drawn from a variety of sources execute with direct access to critical system resources. Expressing guarantees that such modules satisfy, in particular the dynamic conditions under which they release information about their unbounded streams of inputs, and automatically proving that they satisfy such guarantees, is an open and critical problem.,,To address these challenges, we propose a domain-specific language, named STREAMS, for expressing information-flow policies with declassification over unbounded input streams. We also introduce a novel algorithm, named SIMAREL, that given a core design C and STREAMS policy P, automatically proves or falsifies that C satisfies P. The key technical insight behind the design of SIMAREL is a novel algorithm for efficiently synthesizing relational invariants over pairs of circuit executions.,,We expressed expected behavior of cores designed independently for research and production as STREAMS policies and used SIMAREL to check if each core satisfies its policy. SIMAREL proved that half of the cores satisfied expected behavior, but found unexpected information leaks in six open-source designs: an Ethernet controller, a flash memory controller, an SD-card storage manager, a robotics controller, a digital-signal processing (DSP) module, and a debugging interface." @default.
- W2758676311 created "2017-10-06" @default.
- W2758676311 creator A5030836304 @default.
- W2758676311 creator A5074768327 @default.
- W2758676311 creator A5084514143 @default.
- W2758676311 date "2017-08-01" @default.
- W2758676311 modified "2023-09-23" @default.
- W2758676311 title "Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants" @default.
- W2758676311 cites W1503170978 @default.
- W2758676311 cites W1517737241 @default.
- W2758676311 cites W1528837436 @default.
- W2758676311 cites W1564176330 @default.
- W2758676311 cites W1565898282 @default.
- W2758676311 cites W1629850749 @default.
- W2758676311 cites W1699782153 @default.
- W2758676311 cites W1974401809 @default.
- W2758676311 cites W2005487033 @default.
- W2758676311 cites W2017025011 @default.
- W2758676311 cites W2065439108 @default.
- W2758676311 cites W2066443755 @default.
- W2758676311 cites W2097774686 @default.
- W2758676311 cites W2110012131 @default.
- W2758676311 cites W2110904621 @default.
- W2758676311 cites W2112678088 @default.
- W2758676311 cites W2116236474 @default.
- W2758676311 cites W2116469687 @default.
- W2758676311 cites W2117550587 @default.
- W2758676311 cites W2121822272 @default.
- W2758676311 cites W2122599614 @default.
- W2758676311 cites W2126469755 @default.
- W2758676311 cites W2128255161 @default.
- W2758676311 cites W2129874841 @default.
- W2758676311 cites W2131129639 @default.
- W2758676311 cites W2136296832 @default.
- W2758676311 cites W2138788987 @default.
- W2758676311 cites W2139799388 @default.
- W2758676311 cites W2145936802 @default.
- W2758676311 cites W2148575324 @default.
- W2758676311 cites W2149996206 @default.
- W2758676311 cites W2151071112 @default.
- W2758676311 cites W2151398141 @default.
- W2758676311 cites W2158126684 @default.
- W2758676311 cites W2165078378 @default.
- W2758676311 cites W2167008350 @default.
- W2758676311 cites W2168590567 @default.
- W2758676311 cites W2261808795 @default.
- W2758676311 cites W2293685560 @default.
- W2758676311 cites W2295903522 @default.
- W2758676311 cites W2496353951 @default.
- W2758676311 cites W2912087756 @default.
- W2758676311 cites W4212792638 @default.
- W2758676311 cites W4236433846 @default.
- W2758676311 cites W4236684541 @default.
- W2758676311 cites W4236991443 @default.
- W2758676311 cites W4250728693 @default.
- W2758676311 cites W4255344275 @default.
- W2758676311 cites W4256629673 @default.
- W2758676311 cites W57185801 @default.
- W2758676311 doi "https://doi.org/10.1109/csf.2017.35" @default.
- W2758676311 hasPublicationYear "2017" @default.
- W2758676311 type Work @default.
- W2758676311 sameAs 2758676311 @default.
- W2758676311 citedByCount "7" @default.
- W2758676311 countsByYear W27586763112017 @default.
- W2758676311 countsByYear W27586763112019 @default.
- W2758676311 countsByYear W27586763112021 @default.
- W2758676311 crossrefType "proceedings-article" @default.
- W2758676311 hasAuthorship W2758676311A5030836304 @default.
- W2758676311 hasAuthorship W2758676311A5074768327 @default.
- W2758676311 hasAuthorship W2758676311A5084514143 @default.
- W2758676311 hasConcept C199360897 @default.
- W2758676311 hasConcept C2524010 @default.
- W2758676311 hasConcept C33923547 @default.
- W2758676311 hasConcept C38349280 @default.
- W2758676311 hasConcept C41008148 @default.
- W2758676311 hasConcept C80444323 @default.
- W2758676311 hasConceptScore W2758676311C199360897 @default.
- W2758676311 hasConceptScore W2758676311C2524010 @default.
- W2758676311 hasConceptScore W2758676311C33923547 @default.
- W2758676311 hasConceptScore W2758676311C38349280 @default.
- W2758676311 hasConceptScore W2758676311C41008148 @default.
- W2758676311 hasConceptScore W2758676311C80444323 @default.
- W2758676311 hasLocation W27586763111 @default.
- W2758676311 hasOpenAccess W2758676311 @default.
- W2758676311 hasPrimaryLocation W27586763111 @default.
- W2758676311 hasRelatedWork W1491366424 @default.
- W2758676311 hasRelatedWork W1527862632 @default.
- W2758676311 hasRelatedWork W1652311832 @default.
- W2758676311 hasRelatedWork W2109507516 @default.
- W2758676311 hasRelatedWork W2118300983 @default.
- W2758676311 hasRelatedWork W2135396778 @default.
- W2758676311 hasRelatedWork W2740990710 @default.
- W2758676311 hasRelatedWork W3137189469 @default.
- W2758676311 hasRelatedWork W4235530921 @default.
- W2758676311 hasRelatedWork W4243252198 @default.
- W2758676311 isParatext "false" @default.
- W2758676311 isRetracted "false" @default.
- W2758676311 magId "2758676311" @default.
- W2758676311 workType "article" @default.