Matches in SemOpenAlex for { <https://semopenalex.org/work/W2550791299> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2550791299 endingPage "74" @default.
- W2550791299 startingPage "63" @default.
- W2550791299 abstract "Critical and privacy-sensitive applications of smart and connected objects such as health-related objects are now common, thus raising the need to design these objects with strong security guarantees. Many recent works offer practical hardware-assisted security solutions that take advantage of a tight cooperation between hardware and software to provide system-level security guarantees. Formally and consistently proving the efficiency of these solutions raises challenges since software and hardware verifications approaches generally rely on different representations. The paper first sketches an ideal security verification solution naturally handling both hardware and software components. Next, it proposes an evaluation of formal verification methods that have already been proposed for mixed hardware/software systems, with regards to the ideal method. At last, the paper presents a conceptual approach to this ideal method relying on ProVerif, and applies this approach to a remote attestation system (SMART)." @default.
- W2550791299 created "2016-11-30" @default.
- W2550791299 creator A5009355477 @default.
- W2550791299 creator A5029330237 @default.
- W2550791299 creator A5058794408 @default.
- W2550791299 date "2016-11-17" @default.
- W2550791299 modified "2023-10-18" @default.
- W2550791299 title "SMASHUP: a toolchain for unified verification of hardware/software co-designs" @default.
- W2550791299 cites W1593428110 @default.
- W2550791299 cites W17195072 @default.
- W2550791299 cites W1787074469 @default.
- W2550791299 cites W1863850585 @default.
- W2550791299 cites W1998819749 @default.
- W2550791299 cites W2029693536 @default.
- W2550791299 cites W2031525781 @default.
- W2550791299 cites W2045787134 @default.
- W2550791299 cites W2057956383 @default.
- W2550791299 cites W2096455207 @default.
- W2550791299 cites W2103343871 @default.
- W2550791299 cites W2109276114 @default.
- W2550791299 cites W2114189125 @default.
- W2550791299 cites W2126301692 @default.
- W2550791299 cites W2126877041 @default.
- W2550791299 cites W2135274013 @default.
- W2550791299 cites W2144052131 @default.
- W2550791299 cites W2154206750 @default.
- W2550791299 cites W2158395308 @default.
- W2550791299 cites W2188548353 @default.
- W2550791299 cites W4231170123 @default.
- W2550791299 cites W4232308400 @default.
- W2550791299 doi "https://doi.org/10.1007/s13389-016-0145-2" @default.
- W2550791299 hasPublicationYear "2016" @default.
- W2550791299 type Work @default.
- W2550791299 sameAs 2550791299 @default.
- W2550791299 citedByCount "6" @default.
- W2550791299 countsByYear W25507912992018 @default.
- W2550791299 countsByYear W25507912992019 @default.
- W2550791299 countsByYear W25507912992020 @default.
- W2550791299 countsByYear W25507912992021 @default.
- W2550791299 crossrefType "journal-article" @default.
- W2550791299 hasAuthorship W2550791299A5009355477 @default.
- W2550791299 hasAuthorship W2550791299A5029330237 @default.
- W2550791299 hasAuthorship W2550791299A5058794408 @default.
- W2550791299 hasBestOaLocation W25507912992 @default.
- W2550791299 hasConcept C110251889 @default.
- W2550791299 hasConcept C111472728 @default.
- W2550791299 hasConcept C111498074 @default.
- W2550791299 hasConcept C115903868 @default.
- W2550791299 hasConcept C138885662 @default.
- W2550791299 hasConcept C149635348 @default.
- W2550791299 hasConcept C199360897 @default.
- W2550791299 hasConcept C2776639384 @default.
- W2550791299 hasConcept C2777062904 @default.
- W2550791299 hasConcept C2777904410 @default.
- W2550791299 hasConcept C41008148 @default.
- W2550791299 hasConcept C75606506 @default.
- W2550791299 hasConcept C9390403 @default.
- W2550791299 hasConceptScore W2550791299C110251889 @default.
- W2550791299 hasConceptScore W2550791299C111472728 @default.
- W2550791299 hasConceptScore W2550791299C111498074 @default.
- W2550791299 hasConceptScore W2550791299C115903868 @default.
- W2550791299 hasConceptScore W2550791299C138885662 @default.
- W2550791299 hasConceptScore W2550791299C149635348 @default.
- W2550791299 hasConceptScore W2550791299C199360897 @default.
- W2550791299 hasConceptScore W2550791299C2776639384 @default.
- W2550791299 hasConceptScore W2550791299C2777062904 @default.
- W2550791299 hasConceptScore W2550791299C2777904410 @default.
- W2550791299 hasConceptScore W2550791299C41008148 @default.
- W2550791299 hasConceptScore W2550791299C75606506 @default.
- W2550791299 hasConceptScore W2550791299C9390403 @default.
- W2550791299 hasFunder F4320320883 @default.
- W2550791299 hasIssue "1" @default.
- W2550791299 hasLocation W25507912991 @default.
- W2550791299 hasLocation W25507912992 @default.
- W2550791299 hasLocation W25507912993 @default.
- W2550791299 hasLocation W25507912994 @default.
- W2550791299 hasOpenAccess W2550791299 @default.
- W2550791299 hasPrimaryLocation W25507912991 @default.
- W2550791299 hasRelatedWork W1526719226 @default.
- W2550791299 hasRelatedWork W174007698 @default.
- W2550791299 hasRelatedWork W2117798332 @default.
- W2550791299 hasRelatedWork W2264123539 @default.
- W2550791299 hasRelatedWork W2605218250 @default.
- W2550791299 hasRelatedWork W2741430969 @default.
- W2550791299 hasRelatedWork W2887757675 @default.
- W2550791299 hasRelatedWork W3085136136 @default.
- W2550791299 hasRelatedWork W4213079124 @default.
- W2550791299 hasRelatedWork W4306834884 @default.
- W2550791299 hasVolume "7" @default.
- W2550791299 isParatext "false" @default.
- W2550791299 isRetracted "false" @default.
- W2550791299 magId "2550791299" @default.
- W2550791299 workType "article" @default.