Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103884889> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2103884889 abstract "We develop a framework for mechanized certification of secure hardware systems built out of commercial off-the-shelf (COTS) components purchased from untrusted vendors. Certification requires a guarantee that the fabricated system satisfies the requisite safety and security properties. Our framework facilitates this by (1) providing an unambiguous description of the requirements specification in a formal, computational logic, (2) a formalized hardware description language (HDL) to describe the implementation, and (3) mechanical tools and techniques for providing a certification of correctness and security. We illustrate the use of the framework in certifying the correctness and security properties of the net list implementation of a voting machine using the ACL2 theorem prover." @default.
- W2103884889 created "2016-06-24" @default.
- W2103884889 creator A5068991400 @default.
- W2103884889 creator A5084447019 @default.
- W2103884889 date "2007-12-01" @default.
- W2103884889 modified "2023-09-27" @default.
- W2103884889 title "Mechanized Certification of Secure Hardware Designs" @default.
- W2103884889 cites W1489215519 @default.
- W2103884889 cites W1530237793 @default.
- W2103884889 cites W1588366745 @default.
- W2103884889 cites W1590828018 @default.
- W2103884889 cites W1597068544 @default.
- W2103884889 cites W1605668881 @default.
- W2103884889 cites W1608700668 @default.
- W2103884889 cites W1925866415 @default.
- W2103884889 cites W2038977978 @default.
- W2103884889 cites W2084715426 @default.
- W2103884889 cites W2099168208 @default.
- W2103884889 cites W2099571283 @default.
- W2103884889 cites W2108776769 @default.
- W2103884889 cites W2113547509 @default.
- W2103884889 cites W2132107743 @default.
- W2103884889 cites W2134267719 @default.
- W2103884889 cites W2167940678 @default.
- W2103884889 cites W944981343 @default.
- W2103884889 doi "https://doi.org/10.1109/mtv.2007.16" @default.
- W2103884889 hasPublicationYear "2007" @default.
- W2103884889 type Work @default.
- W2103884889 sameAs 2103884889 @default.
- W2103884889 citedByCount "3" @default.
- W2103884889 countsByYear W21038848892012 @default.
- W2103884889 countsByYear W21038848892013 @default.
- W2103884889 countsByYear W21038848892018 @default.
- W2103884889 crossrefType "proceedings-article" @default.
- W2103884889 hasAuthorship W2103884889A5068991400 @default.
- W2103884889 hasAuthorship W2103884889A5084447019 @default.
- W2103884889 hasConcept C111498074 @default.
- W2103884889 hasConcept C115903868 @default.
- W2103884889 hasConcept C149635348 @default.
- W2103884889 hasConcept C17744445 @default.
- W2103884889 hasConcept C199360897 @default.
- W2103884889 hasConcept C199539241 @default.
- W2103884889 hasConcept C206880738 @default.
- W2103884889 hasConcept C38652104 @default.
- W2103884889 hasConcept C41008148 @default.
- W2103884889 hasConcept C46304622 @default.
- W2103884889 hasConcept C520049643 @default.
- W2103884889 hasConcept C55439883 @default.
- W2103884889 hasConcept C75606506 @default.
- W2103884889 hasConcept C94625758 @default.
- W2103884889 hasConceptScore W2103884889C111498074 @default.
- W2103884889 hasConceptScore W2103884889C115903868 @default.
- W2103884889 hasConceptScore W2103884889C149635348 @default.
- W2103884889 hasConceptScore W2103884889C17744445 @default.
- W2103884889 hasConceptScore W2103884889C199360897 @default.
- W2103884889 hasConceptScore W2103884889C199539241 @default.
- W2103884889 hasConceptScore W2103884889C206880738 @default.
- W2103884889 hasConceptScore W2103884889C38652104 @default.
- W2103884889 hasConceptScore W2103884889C41008148 @default.
- W2103884889 hasConceptScore W2103884889C46304622 @default.
- W2103884889 hasConceptScore W2103884889C520049643 @default.
- W2103884889 hasConceptScore W2103884889C55439883 @default.
- W2103884889 hasConceptScore W2103884889C75606506 @default.
- W2103884889 hasConceptScore W2103884889C94625758 @default.
- W2103884889 hasLocation W21038848891 @default.
- W2103884889 hasOpenAccess W2103884889 @default.
- W2103884889 hasPrimaryLocation W21038848891 @default.
- W2103884889 hasRelatedWork W1562434331 @default.
- W2103884889 hasRelatedWork W1578309927 @default.
- W2103884889 hasRelatedWork W1581579680 @default.
- W2103884889 hasRelatedWork W2374512474 @default.
- W2103884889 hasRelatedWork W2587189906 @default.
- W2103884889 hasRelatedWork W2898879311 @default.
- W2103884889 hasRelatedWork W2954121957 @default.
- W2103884889 hasRelatedWork W2997738523 @default.
- W2103884889 hasRelatedWork W3006530033 @default.
- W2103884889 hasRelatedWork W4213455721 @default.
- W2103884889 isParatext "false" @default.
- W2103884889 isRetracted "false" @default.
- W2103884889 magId "2103884889" @default.
- W2103884889 workType "article" @default.