FRINK Linked Data Fragments server

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

• W2149302272 abstract "Increasing attention has recently been given to the formal verification of the source code of cryptographic protocols. The standard approach is to use symbolic abstractions of cryptography that make the analysis amenable to automation. This leaves the possibility of attacks that exploit the mathematical properties of the cryptographic algorithms themselves. In this paper, we show how to conduct the protocol analysis on the source code level (F# in our case) in a computationally sound way, i.e., taking into account cryptographic security definitions." @default.
• W2149302272 created "2016-06-24" @default.
• W2149302272 creator A5004014878 @default.
• W2149302272 creator A5031883158 @default.
• W2149302272 creator A5059351004 @default.
• W2149302272 date "2010-10-04" @default.
• W2149302272 modified "2023-09-28" @default.
• W2149302272 title "Computationally sound verification of source code" @default.
• W2149302272 cites W1480122568 @default.
• W2149302272 cites W1492649894 @default.
• W2149302272 cites W1505659502 @default.
• W2149302272 cites W1582972367 @default.
• W2149302272 cites W1605744481 @default.
• W2149302272 cites W1973054120 @default.
• W2149302272 cites W1982325601 @default.
• W2149302272 cites W1988245494 @default.
• W2149302272 cites W1994676271 @default.
• W2149302272 cites W2029693536 @default.
• W2149302272 cites W2063161063 @default.
• W2149302272 cites W2072210640 @default.
• W2149302272 cites W2074244772 @default.
• W2149302272 cites W2104494325 @default.
• W2149302272 cites W2108978217 @default.
• W2149302272 cites W2112018008 @default.
• W2149302272 cites W2118870447 @default.
• W2149302272 cites W2119050411 @default.
• W2149302272 cites W2134508058 @default.
• W2149302272 cites W2152845220 @default.
• W2149302272 cites W2161011930 @default.
• W2149302272 cites W2168151327 @default.
• W2149302272 cites W2170630946 @default.
• W2149302272 cites W3021065823 @default.
• W2149302272 cites W3031048092 @default.
• W2149302272 doi "https://doi.org/10.1145/1866307.1866351" @default.
• W2149302272 hasPublicationYear "2010" @default.
• W2149302272 type Work @default.
• W2149302272 sameAs 2149302272 @default.
• W2149302272 citedByCount "32" @default.
• W2149302272 countsByYear W21493022722012 @default.
• W2149302272 countsByYear W21493022722013 @default.
• W2149302272 countsByYear W21493022722014 @default.
• W2149302272 countsByYear W21493022722015 @default.
• W2149302272 countsByYear W21493022722016 @default.
• W2149302272 countsByYear W21493022722017 @default.
• W2149302272 countsByYear W21493022722019 @default.
• W2149302272 countsByYear W21493022722020 @default.
• W2149302272 crossrefType "proceedings-article" @default.
• W2149302272 hasAuthorship W2149302272A5004014878 @default.
• W2149302272 hasAuthorship W2149302272A5031883158 @default.
• W2149302272 hasAuthorship W2149302272A5059351004 @default.
• W2149302272 hasConcept C100485629 @default.
• W2149302272 hasConcept C141492731 @default.
• W2149302272 hasConcept C142724271 @default.
• W2149302272 hasConcept C15927051 @default.
• W2149302272 hasConcept C165696696 @default.
• W2149302272 hasConcept C177264268 @default.
• W2149302272 hasConcept C178489894 @default.
• W2149302272 hasConcept C199360897 @default.
• W2149302272 hasConcept C204787440 @default.
• W2149302272 hasConcept C2776760102 @default.
• W2149302272 hasConcept C2780385302 @default.
• W2149302272 hasConcept C33884865 @default.
• W2149302272 hasConcept C38652104 @default.
• W2149302272 hasConcept C41008148 @default.
• W2149302272 hasConcept C43126263 @default.
• W2149302272 hasConcept C71924100 @default.
• W2149302272 hasConcept C80444323 @default.
• W2149302272 hasConceptScore W2149302272C100485629 @default.
• W2149302272 hasConceptScore W2149302272C141492731 @default.
• W2149302272 hasConceptScore W2149302272C142724271 @default.
• W2149302272 hasConceptScore W2149302272C15927051 @default.
• W2149302272 hasConceptScore W2149302272C165696696 @default.
• W2149302272 hasConceptScore W2149302272C177264268 @default.
• W2149302272 hasConceptScore W2149302272C178489894 @default.
• W2149302272 hasConceptScore W2149302272C199360897 @default.
• W2149302272 hasConceptScore W2149302272C204787440 @default.
• W2149302272 hasConceptScore W2149302272C2776760102 @default.
• W2149302272 hasConceptScore W2149302272C2780385302 @default.
• W2149302272 hasConceptScore W2149302272C33884865 @default.
• W2149302272 hasConceptScore W2149302272C38652104 @default.
• W2149302272 hasConceptScore W2149302272C41008148 @default.
• W2149302272 hasConceptScore W2149302272C43126263 @default.
• W2149302272 hasConceptScore W2149302272C71924100 @default.
• W2149302272 hasConceptScore W2149302272C80444323 @default.
• W2149302272 hasLocation W21493022721 @default.
• W2149302272 hasOpenAccess W2149302272 @default.
• W2149302272 hasPrimaryLocation W21493022721 @default.
• W2149302272 hasRelatedWork W1553564935 @default.
• W2149302272 hasRelatedWork W1575556365 @default.
• W2149302272 hasRelatedWork W2047264827 @default.
• W2149302272 hasRelatedWork W2107384724 @default.
• W2149302272 hasRelatedWork W2186642995 @default.
• W2149302272 hasRelatedWork W2342603380 @default.
• W2149302272 hasRelatedWork W2495300764 @default.
• W2149302272 hasRelatedWork W2767162229 @default.
• W2149302272 hasRelatedWork W2904818008 @default.
• W2149302272 hasRelatedWork W1585142320 @default.
• W2149302272 isParatext "false" @default.
• W2149302272 isRetracted "false" @default.
• W2149302272 magId "2149302272" @default.

• next