FRINK Linked Data Fragments server

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

• W2116469687 abstract "Information security can be compromised by leakage via low-level hardware features. One recently prominent example is cache probing attacks, which rely on timing channels created by caches. We introduce a hardware design language, SecVerilog, which makes it possible to statically analyze information flow at the hardware level. With SecVerilog, systems can be built with verifiable control of timing channels and other information channels. SecVerilog is Verilog, extended with expressive type annotations that enable precise reasoning about information flow. It also comes with rigorous formal assurance: we prove that SecVerilog enforces timing-sensitive noninterference and thus ensures secure information flow. By building a secure MIPS processor and its caches, we demonstrate that SecVerilog makes it possible to build complex hardware designs with verified security, yet with low overhead in time, space, and HW designer effort." @default.
• W2116469687 created "2016-06-24" @default.
• W2116469687 creator A5024329178 @default.
• W2116469687 creator A5043823677 @default.
• W2116469687 creator A5060394961 @default.
• W2116469687 creator A5091223193 @default.
• W2116469687 date "2015-03-14" @default.
• W2116469687 modified "2023-10-04" @default.
• W2116469687 title "A Hardware Design Language for Timing-Sensitive Information-Flow Security" @default.
• W2116469687 cites W1488058190 @default.
• W2116469687 cites W153174126 @default.
• W2116469687 cites W1809853109 @default.
• W2116469687 cites W1977764760 @default.
• W2116469687 cites W1998003182 @default.
• W2116469687 cites W2005192022 @default.
• W2116469687 cites W2016224355 @default.
• W2116469687 cites W2027584005 @default.
• W2116469687 cites W2027822753 @default.
• W2116469687 cites W2056778557 @default.
• W2116469687 cites W2066195326 @default.
• W2116469687 cites W2066210260 @default.
• W2116469687 cites W2088923183 @default.
• W2116469687 cites W2099137371 @default.
• W2116469687 cites W2104182023 @default.
• W2116469687 cites W2117550587 @default.
• W2116469687 cites W2122049982 @default.
• W2116469687 cites W2123858370 @default.
• W2116469687 cites W2128255161 @default.
• W2116469687 cites W2128932642 @default.
• W2116469687 cites W2131129639 @default.
• W2116469687 cites W2145936802 @default.
• W2116469687 cites W2146573211 @default.
• W2116469687 cites W2147378257 @default.
• W2116469687 cites W2149465027 @default.
• W2116469687 cites W2151071112 @default.
• W2116469687 cites W2158126684 @default.
• W2116469687 cites W2164232960 @default.
• W2116469687 cites W2166293920 @default.
• W2116469687 cites W2171182387 @default.
• W2116469687 cites W2172060328 @default.
• W2116469687 cites W2987907651 @default.
• W2116469687 cites W4240226860 @default.
• W2116469687 cites W4251912342 @default.
• W2116469687 cites W4252361379 @default.
• W2116469687 cites W4255344275 @default.
• W2116469687 doi "https://doi.org/10.1145/2694344.2694372" @default.
• W2116469687 hasPublicationYear "2015" @default.
• W2116469687 type Work @default.
• W2116469687 sameAs 2116469687 @default.
• W2116469687 citedByCount "103" @default.
• W2116469687 countsByYear W21164696872015 @default.
• W2116469687 countsByYear W21164696872016 @default.
• W2116469687 countsByYear W21164696872017 @default.
• W2116469687 countsByYear W21164696872018 @default.
• W2116469687 countsByYear W21164696872019 @default.
• W2116469687 countsByYear W21164696872020 @default.
• W2116469687 countsByYear W21164696872021 @default.
• W2116469687 countsByYear W21164696872022 @default.
• W2116469687 countsByYear W21164696872023 @default.
• W2116469687 crossrefType "proceedings-article" @default.
• W2116469687 hasAuthorship W2116469687A5024329178 @default.
• W2116469687 hasAuthorship W2116469687A5043823677 @default.
• W2116469687 hasAuthorship W2116469687A5060394961 @default.
• W2116469687 hasAuthorship W2116469687A5091223193 @default.
• W2116469687 hasBestOaLocation W21164696872 @default.
• W2116469687 hasConcept C111919701 @default.
• W2116469687 hasConcept C115537543 @default.
• W2116469687 hasConcept C138885662 @default.
• W2116469687 hasConcept C149635348 @default.
• W2116469687 hasConcept C161394538 @default.
• W2116469687 hasConcept C178489894 @default.
• W2116469687 hasConcept C199360897 @default.
• W2116469687 hasConcept C2777904410 @default.
• W2116469687 hasConcept C2779030575 @default.
• W2116469687 hasConcept C2779136372 @default.
• W2116469687 hasConcept C2779201187 @default.
• W2116469687 hasConcept C2779960059 @default.
• W2116469687 hasConcept C37135326 @default.
• W2116469687 hasConcept C38652104 @default.
• W2116469687 hasConcept C39217717 @default.
• W2116469687 hasConcept C41008148 @default.
• W2116469687 hasConcept C41895202 @default.
• W2116469687 hasConcept C42143788 @default.
• W2116469687 hasConcept C42935608 @default.
• W2116469687 hasConcept C65232700 @default.
• W2116469687 hasConcept C9390403 @default.
• W2116469687 hasConceptScore W2116469687C111919701 @default.
• W2116469687 hasConceptScore W2116469687C115537543 @default.
• W2116469687 hasConceptScore W2116469687C138885662 @default.
• W2116469687 hasConceptScore W2116469687C149635348 @default.
• W2116469687 hasConceptScore W2116469687C161394538 @default.
• W2116469687 hasConceptScore W2116469687C178489894 @default.
• W2116469687 hasConceptScore W2116469687C199360897 @default.
• W2116469687 hasConceptScore W2116469687C2777904410 @default.
• W2116469687 hasConceptScore W2116469687C2779030575 @default.
• W2116469687 hasConceptScore W2116469687C2779136372 @default.
• W2116469687 hasConceptScore W2116469687C2779201187 @default.
• W2116469687 hasConceptScore W2116469687C2779960059 @default.
• W2116469687 hasConceptScore W2116469687C37135326 @default.
• W2116469687 hasConceptScore W2116469687C38652104 @default.

• next