Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386272957> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4386272957 abstract "We introduce CryptoBap, a platform to verify weak secrecy and authentication for the (ARMv8 and RISC-V) machine code of cryptographic protocols. We achieve this by first transpiling the binary of protocols into an intermediate representation and then performing a crypto-aware symbolic execution to automatically extract a model of the protocol that represents all its execution paths. Our symbolic execution resolves indirect jumps and supports bounded loops using the loop-summarization technique, which we fully automate. The extracted model is then translated into models amenable to automated verification via ProVerif and CryptoVerif using a third-party toolchain. We prove the soundness of the proposed approach and used CryptoBap to verify multiple case studies ranging from toy examples to real-world protocols, TinySSH, an implementation of SSH, and WireGuard, a modern VPN protocol." @default.
- W4386272957 created "2023-08-31" @default.
- W4386272957 creator A5071250407 @default.
- W4386272957 creator A5084522176 @default.
- W4386272957 creator A5092715786 @default.
- W4386272957 date "2023-08-28" @default.
- W4386272957 modified "2023-09-27" @default.
- W4386272957 title "CryptoBap: A Binary Analysis Platform for Cryptographic Protocols" @default.
- W4386272957 doi "https://doi.org/10.48550/arxiv.2308.14450" @default.
- W4386272957 hasPublicationYear "2023" @default.
- W4386272957 type Work @default.
- W4386272957 citedByCount "0" @default.
- W4386272957 crossrefType "posted-content" @default.
- W4386272957 hasAuthorship W4386272957A5071250407 @default.
- W4386272957 hasAuthorship W4386272957A5084522176 @default.
- W4386272957 hasAuthorship W4386272957A5092715786 @default.
- W4386272957 hasBestOaLocation W43862729571 @default.
- W4386272957 hasConcept C110251889 @default.
- W4386272957 hasConcept C142724271 @default.
- W4386272957 hasConcept C15927051 @default.
- W4386272957 hasConcept C178489894 @default.
- W4386272957 hasConcept C199360897 @default.
- W4386272957 hasConcept C204787440 @default.
- W4386272957 hasConcept C2777062904 @default.
- W4386272957 hasConcept C2777904410 @default.
- W4386272957 hasConcept C2779639559 @default.
- W4386272957 hasConcept C2780385302 @default.
- W4386272957 hasConcept C33884865 @default.
- W4386272957 hasConcept C38652104 @default.
- W4386272957 hasConcept C39920170 @default.
- W4386272957 hasConcept C41008148 @default.
- W4386272957 hasConcept C71924100 @default.
- W4386272957 hasConcept C80444323 @default.
- W4386272957 hasConceptScore W4386272957C110251889 @default.
- W4386272957 hasConceptScore W4386272957C142724271 @default.
- W4386272957 hasConceptScore W4386272957C15927051 @default.
- W4386272957 hasConceptScore W4386272957C178489894 @default.
- W4386272957 hasConceptScore W4386272957C199360897 @default.
- W4386272957 hasConceptScore W4386272957C204787440 @default.
- W4386272957 hasConceptScore W4386272957C2777062904 @default.
- W4386272957 hasConceptScore W4386272957C2777904410 @default.
- W4386272957 hasConceptScore W4386272957C2779639559 @default.
- W4386272957 hasConceptScore W4386272957C2780385302 @default.
- W4386272957 hasConceptScore W4386272957C33884865 @default.
- W4386272957 hasConceptScore W4386272957C38652104 @default.
- W4386272957 hasConceptScore W4386272957C39920170 @default.
- W4386272957 hasConceptScore W4386272957C41008148 @default.
- W4386272957 hasConceptScore W4386272957C71924100 @default.
- W4386272957 hasConceptScore W4386272957C80444323 @default.
- W4386272957 hasLocation W43862729571 @default.
- W4386272957 hasOpenAccess W4386272957 @default.
- W4386272957 hasPrimaryLocation W43862729571 @default.
- W4386272957 hasRelatedWork W1511149514 @default.
- W4386272957 hasRelatedWork W18781025 @default.
- W4386272957 hasRelatedWork W2101645518 @default.
- W4386272957 hasRelatedWork W2120961426 @default.
- W4386272957 hasRelatedWork W2124059194 @default.
- W4386272957 hasRelatedWork W2159543798 @default.
- W4386272957 hasRelatedWork W2952519015 @default.
- W4386272957 hasRelatedWork W3029353988 @default.
- W4386272957 hasRelatedWork W83088695 @default.
- W4386272957 hasRelatedWork W2124639815 @default.
- W4386272957 isParatext "false" @default.
- W4386272957 isRetracted "false" @default.
- W4386272957 workType "article" @default.