Matches in SemOpenAlex for { <https://semopenalex.org/work/W3119606276> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3119606276 endingPage "38" @default.
- W3119606276 startingPage "29" @default.
- W3119606276 abstract "Computer hosts a virtual roundtable with four experts in formal methods to discuss recent developments in the area of cryptography." @default.
- W3119606276 created "2021-01-18" @default.
- W3119606276 creator A5005783400 @default.
- W3119606276 creator A5036504001 @default.
- W3119606276 date "2021-01-01" @default.
- W3119606276 modified "2023-09-26" @default.
- W3119606276 title "The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems" @default.
- W3119606276 cites W2023035194 @default.
- W3119606276 cites W2181293862 @default.
- W3119606276 cites W2213989452 @default.
- W3119606276 cites W2555865845 @default.
- W3119606276 cites W2604664164 @default.
- W3119606276 cites W2610968094 @default.
- W3119606276 cites W2640092413 @default.
- W3119606276 cites W2751455878 @default.
- W3119606276 cites W2766545755 @default.
- W3119606276 cites W2835280932 @default.
- W3119606276 cites W2886207505 @default.
- W3119606276 cites W2928036819 @default.
- W3119606276 cites W2964540713 @default.
- W3119606276 cites W2984214499 @default.
- W3119606276 cites W3029108158 @default.
- W3119606276 cites W3198061885 @default.
- W3119606276 doi "https://doi.org/10.1109/mc.2020.3033613" @default.
- W3119606276 hasPublicationYear "2021" @default.
- W3119606276 type Work @default.
- W3119606276 sameAs 3119606276 @default.
- W3119606276 citedByCount "2" @default.
- W3119606276 countsByYear W31196062762022 @default.
- W3119606276 countsByYear W31196062762023 @default.
- W3119606276 crossrefType "journal-article" @default.
- W3119606276 hasAuthorship W3119606276A5005783400 @default.
- W3119606276 hasAuthorship W3119606276A5036504001 @default.
- W3119606276 hasBestOaLocation W31196062761 @default.
- W3119606276 hasConcept C115903868 @default.
- W3119606276 hasConcept C120314980 @default.
- W3119606276 hasConcept C15927051 @default.
- W3119606276 hasConcept C178489894 @default.
- W3119606276 hasConcept C33884865 @default.
- W3119606276 hasConcept C38652104 @default.
- W3119606276 hasConcept C41008148 @default.
- W3119606276 hasConcept C75606506 @default.
- W3119606276 hasConcept C80444323 @default.
- W3119606276 hasConceptScore W3119606276C115903868 @default.
- W3119606276 hasConceptScore W3119606276C120314980 @default.
- W3119606276 hasConceptScore W3119606276C15927051 @default.
- W3119606276 hasConceptScore W3119606276C178489894 @default.
- W3119606276 hasConceptScore W3119606276C33884865 @default.
- W3119606276 hasConceptScore W3119606276C38652104 @default.
- W3119606276 hasConceptScore W3119606276C41008148 @default.
- W3119606276 hasConceptScore W3119606276C75606506 @default.
- W3119606276 hasConceptScore W3119606276C80444323 @default.
- W3119606276 hasIssue "1" @default.
- W3119606276 hasLocation W31196062761 @default.
- W3119606276 hasOpenAccess W3119606276 @default.
- W3119606276 hasPrimaryLocation W31196062761 @default.
- W3119606276 hasRelatedWork W1488313539 @default.
- W3119606276 hasRelatedWork W1491103038 @default.
- W3119606276 hasRelatedWork W1532150808 @default.
- W3119606276 hasRelatedWork W1553564935 @default.
- W3119606276 hasRelatedWork W1563545523 @default.
- W3119606276 hasRelatedWork W1605792925 @default.
- W3119606276 hasRelatedWork W2614608017 @default.
- W3119606276 hasRelatedWork W3028597541 @default.
- W3119606276 hasRelatedWork W1585142320 @default.
- W3119606276 hasRelatedWork W2789771188 @default.
- W3119606276 hasVolume "54" @default.
- W3119606276 isParatext "false" @default.
- W3119606276 isRetracted "false" @default.
- W3119606276 magId "3119606276" @default.
- W3119606276 workType "article" @default.