Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949076050> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2949076050 abstract "Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol description nor manual annotation of source code. First, symbolically execute the C program to obtain symbolic descriptions for the network messages sent by the protocol. Second, apply algebraic rewriting to obtain a process calculus description. Third, run an existing protocol analyser (ProVerif) to prove security properties or find attacks. We formalise our algorithm and appeal to existing results for ProVerif to establish computational soundness under suitable circumstances. We analyse only a single execution path, so our results are limited to protocols with no significant branching. The results in this paper provide the first computationally sound verification of weak secrecy and authentication for (single execution paths of) C code." @default.
- W2949076050 created "2019-06-27" @default.
- W2949076050 creator A5029120753 @default.
- W2949076050 creator A5054057089 @default.
- W2949076050 creator A5078684560 @default.
- W2949076050 date "2011-07-06" @default.
- W2949076050 modified "2023-09-27" @default.
- W2949076050 title "Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution" @default.
- W2949076050 hasPublicationYear "2011" @default.
- W2949076050 type Work @default.
- W2949076050 sameAs 2949076050 @default.
- W2949076050 citedByCount "10" @default.
- W2949076050 countsByYear W29490760502012 @default.
- W2949076050 countsByYear W29490760502013 @default.
- W2949076050 countsByYear W29490760502014 @default.
- W2949076050 countsByYear W29490760502015 @default.
- W2949076050 countsByYear W29490760502016 @default.
- W2949076050 countsByYear W29490760502019 @default.
- W2949076050 countsByYear W29490760502020 @default.
- W2949076050 countsByYear W29490760502021 @default.
- W2949076050 crossrefType "posted-content" @default.
- W2949076050 hasAuthorship W2949076050A5029120753 @default.
- W2949076050 hasAuthorship W2949076050A5054057089 @default.
- W2949076050 hasAuthorship W2949076050A5078684560 @default.
- W2949076050 hasConcept C110251889 @default.
- W2949076050 hasConcept C142724271 @default.
- W2949076050 hasConcept C154690210 @default.
- W2949076050 hasConcept C15927051 @default.
- W2949076050 hasConcept C161771561 @default.
- W2949076050 hasConcept C177264268 @default.
- W2949076050 hasConcept C178489894 @default.
- W2949076050 hasConcept C199360897 @default.
- W2949076050 hasConcept C204787440 @default.
- W2949076050 hasConcept C21564112 @default.
- W2949076050 hasConcept C2776452267 @default.
- W2949076050 hasConcept C2776760102 @default.
- W2949076050 hasConcept C2777904410 @default.
- W2949076050 hasConcept C2779639559 @default.
- W2949076050 hasConcept C2780385302 @default.
- W2949076050 hasConcept C33884865 @default.
- W2949076050 hasConcept C38652104 @default.
- W2949076050 hasConcept C39920170 @default.
- W2949076050 hasConcept C41008148 @default.
- W2949076050 hasConcept C71924100 @default.
- W2949076050 hasConcept C80444323 @default.
- W2949076050 hasConcept C99138194 @default.
- W2949076050 hasConceptScore W2949076050C110251889 @default.
- W2949076050 hasConceptScore W2949076050C142724271 @default.
- W2949076050 hasConceptScore W2949076050C154690210 @default.
- W2949076050 hasConceptScore W2949076050C15927051 @default.
- W2949076050 hasConceptScore W2949076050C161771561 @default.
- W2949076050 hasConceptScore W2949076050C177264268 @default.
- W2949076050 hasConceptScore W2949076050C178489894 @default.
- W2949076050 hasConceptScore W2949076050C199360897 @default.
- W2949076050 hasConceptScore W2949076050C204787440 @default.
- W2949076050 hasConceptScore W2949076050C21564112 @default.
- W2949076050 hasConceptScore W2949076050C2776452267 @default.
- W2949076050 hasConceptScore W2949076050C2776760102 @default.
- W2949076050 hasConceptScore W2949076050C2777904410 @default.
- W2949076050 hasConceptScore W2949076050C2779639559 @default.
- W2949076050 hasConceptScore W2949076050C2780385302 @default.
- W2949076050 hasConceptScore W2949076050C33884865 @default.
- W2949076050 hasConceptScore W2949076050C38652104 @default.
- W2949076050 hasConceptScore W2949076050C39920170 @default.
- W2949076050 hasConceptScore W2949076050C41008148 @default.
- W2949076050 hasConceptScore W2949076050C71924100 @default.
- W2949076050 hasConceptScore W2949076050C80444323 @default.
- W2949076050 hasConceptScore W2949076050C99138194 @default.
- W2949076050 hasLocation W29490760501 @default.
- W2949076050 hasOpenAccess W2949076050 @default.
- W2949076050 hasPrimaryLocation W29490760501 @default.
- W2949076050 hasRelatedWork W134285089 @default.
- W2949076050 hasRelatedWork W1581922034 @default.
- W2949076050 hasRelatedWork W1853215850 @default.
- W2949076050 hasRelatedWork W1977417404 @default.
- W2949076050 hasRelatedWork W2029693536 @default.
- W2949076050 hasRelatedWork W2036707990 @default.
- W2949076050 hasRelatedWork W2081888787 @default.
- W2949076050 hasRelatedWork W2112018008 @default.
- W2949076050 hasRelatedWork W2152845220 @default.
- W2949076050 hasRelatedWork W2158464066 @default.
- W2949076050 hasRelatedWork W2159617506 @default.
- W2949076050 hasRelatedWork W2161706819 @default.
- W2949076050 hasRelatedWork W2169923303 @default.
- W2949076050 hasRelatedWork W2170630946 @default.
- W2949076050 hasRelatedWork W2174624365 @default.
- W2949076050 hasRelatedWork W2351521370 @default.
- W2949076050 hasRelatedWork W2972606400 @default.
- W2949076050 hasRelatedWork W3094700539 @default.
- W2949076050 hasRelatedWork W3112402493 @default.
- W2949076050 hasRelatedWork W3166879819 @default.
- W2949076050 isParatext "false" @default.
- W2949076050 isRetracted "false" @default.
- W2949076050 magId "2949076050" @default.
- W2949076050 workType "article" @default.