FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2604756280> ?p ?o ?g. }

• W2604756280 abstract "Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security. This work introduces an effective way to formally verify important properties of such hardware security mechanisms. In our approach, hardware is developed using a lightweight security-typed hardware description language (HDL) that performs static information flow analysis. We show the practicality of our approach by implementing and verifying a simplified but realistic multi-core prototype of the ARM TrustZone architecture. To make the security-typed HDL expressive enough to verify a realistic processor, we develop new type system features. Our experiments suggest that information flow analysis is efficient, and programmer effort is modest. We also show that information flow constraints are an effective way to detect hardware vulnerabilities, including several found in commercial processors." @default.
• W2604756280 created "2017-04-14" @default.
• W2604756280 creator A5004310989 @default.
• W2604756280 creator A5024329178 @default.
• W2604756280 creator A5043823677 @default.
• W2604756280 creator A5056820945 @default.
• W2604756280 creator A5060394961 @default.
• W2604756280 date "2017-04-04" @default.
• W2604756280 modified "2023-10-12" @default.
• W2604756280 title "Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis" @default.
• W2604756280 cites W1480909796 @default.
• W2604756280 cites W1819958245 @default.
• W2604756280 cites W1967182706 @default.
• W2604756280 cites W2011491452 @default.
• W2604756280 cites W2016224355 @default.
• W2604756280 cites W2036620903 @default.
• W2604756280 cites W2060710422 @default.
• W2604756280 cites W2068034551 @default.
• W2604756280 cites W2088923183 @default.
• W2604756280 cites W2094873755 @default.
• W2604756280 cites W2096828726 @default.
• W2604756280 cites W2100666033 @default.
• W2604756280 cites W2110904621 @default.
• W2604756280 cites W2117241830 @default.
• W2604756280 cites W2121894892 @default.
• W2604756280 cites W2123858370 @default.
• W2604756280 cites W2128932642 @default.
• W2604756280 cites W2131129639 @default.
• W2604756280 cites W2145936802 @default.
• W2604756280 cites W2147378257 @default.
• W2604756280 cites W2151071112 @default.
• W2604756280 cites W2158126684 @default.
• W2604756280 cites W2164232960 @default.
• W2604756280 cites W2166778460 @default.
• W2604756280 cites W2168095934 @default.
• W2604756280 cites W2416938811 @default.
• W2604756280 cites W2539012550 @default.
• W2604756280 cites W4237044060 @default.
• W2604756280 doi "https://doi.org/10.1145/3037697.3037739" @default.
• W2604756280 hasPublicationYear "2017" @default.
• W2604756280 type Work @default.
• W2604756280 sameAs 2604756280 @default.
• W2604756280 citedByCount "36" @default.
• W2604756280 countsByYear W26047562802017 @default.
• W2604756280 countsByYear W26047562802018 @default.
• W2604756280 countsByYear W26047562802019 @default.
• W2604756280 countsByYear W26047562802020 @default.
• W2604756280 countsByYear W26047562802021 @default.
• W2604756280 countsByYear W26047562802022 @default.
• W2604756280 countsByYear W26047562802023 @default.
• W2604756280 crossrefType "proceedings-article" @default.
• W2604756280 hasAuthorship W2604756280A5004310989 @default.
• W2604756280 hasAuthorship W2604756280A5024329178 @default.
• W2604756280 hasAuthorship W2604756280A5043823677 @default.
• W2604756280 hasAuthorship W2604756280A5056820945 @default.
• W2604756280 hasAuthorship W2604756280A5060394961 @default.
• W2604756280 hasBestOaLocation W26047562801 @default.
• W2604756280 hasConcept C111919701 @default.
• W2604756280 hasConcept C118524514 @default.
• W2604756280 hasConcept C123657996 @default.
• W2604756280 hasConcept C138885662 @default.
• W2604756280 hasConcept C142362112 @default.
• W2604756280 hasConcept C149635348 @default.
• W2604756280 hasConcept C153349607 @default.
• W2604756280 hasConcept C178489894 @default.
• W2604756280 hasConcept C199360897 @default.
• W2604756280 hasConcept C2775941552 @default.
• W2604756280 hasConcept C2777904410 @default.
• W2604756280 hasConcept C2778514511 @default.
• W2604756280 hasConcept C2779136372 @default.
• W2604756280 hasConcept C29983905 @default.
• W2604756280 hasConcept C38369872 @default.
• W2604756280 hasConcept C38652104 @default.
• W2604756280 hasConcept C39217717 @default.
• W2604756280 hasConcept C41008148 @default.
• W2604756280 hasConcept C41895202 @default.
• W2604756280 hasConcept C527648132 @default.
• W2604756280 hasConcept C62913178 @default.
• W2604756280 hasConcept C65232700 @default.
• W2604756280 hasConcept C86803240 @default.
• W2604756280 hasConcept C89423630 @default.
• W2604756280 hasConcept C9390403 @default.
• W2604756280 hasConcept C97686452 @default.
• W2604756280 hasConceptScore W2604756280C111919701 @default.
• W2604756280 hasConceptScore W2604756280C118524514 @default.
• W2604756280 hasConceptScore W2604756280C123657996 @default.
• W2604756280 hasConceptScore W2604756280C138885662 @default.
• W2604756280 hasConceptScore W2604756280C142362112 @default.
• W2604756280 hasConceptScore W2604756280C149635348 @default.
• W2604756280 hasConceptScore W2604756280C153349607 @default.
• W2604756280 hasConceptScore W2604756280C178489894 @default.
• W2604756280 hasConceptScore W2604756280C199360897 @default.
• W2604756280 hasConceptScore W2604756280C2775941552 @default.
• W2604756280 hasConceptScore W2604756280C2777904410 @default.
• W2604756280 hasConceptScore W2604756280C2778514511 @default.
• W2604756280 hasConceptScore W2604756280C2779136372 @default.
• W2604756280 hasConceptScore W2604756280C29983905 @default.
• W2604756280 hasConceptScore W2604756280C38369872 @default.
• W2604756280 hasConceptScore W2604756280C38652104 @default.
• W2604756280 hasConceptScore W2604756280C39217717 @default.

• next