FRINK Linked Data Fragments server

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

• W2137402267 endingPage "28" @default.
• W2137402267 startingPage "1" @default.
• W2137402267 abstract "We present a new type system for verifying the security of cryptographic protocol implementations. The type system combines prior work on refinement types, with union, intersection, and polymorphic types, and with the novel ability to reason statically about the disjointness of types. The increased expressivity enables the analysis of important protocol classes that were previously out of scope for the type-based analyses of protocol implementations. In particular, our types can statically characterize: (i) more usages of asymmetric cryptography, such as signatures of private data and encryptions of authenticated data; (ii) authenticity and integrity properties achieved by showing knowledge of secret data; (iii) applications based on zero-knowledge proofs. The type system comes with a mechanized proof of correctness and an efficient type-checker." @default.
• W2137402267 created "2016-06-24" @default.
• W2137402267 creator A5004014878 @default.
• W2137402267 creator A5009220862 @default.
• W2137402267 creator A5059351004 @default.
• W2137402267 date "2012-01-01" @default.
• W2137402267 modified "2023-10-16" @default.
• W2137402267 title "Union and Intersection Types for Secure Protocol Implementations" @default.
• W2137402267 cites W1479802504 @default.
• W2137402267 cites W1480909796 @default.
• W2137402267 cites W1527933453 @default.
• W2137402267 cites W1562901937 @default.
• W2137402267 cites W1809974132 @default.
• W2137402267 cites W1923535011 @default.
• W2137402267 cites W1975882289 @default.
• W2137402267 cites W1978183200 @default.
• W2137402267 cites W2001788001 @default.
• W2137402267 cites W2003295197 @default.
• W2137402267 cites W2014351883 @default.
• W2137402267 cites W2073385346 @default.
• W2137402267 cites W2096216741 @default.
• W2137402267 cites W2105237010 @default.
• W2137402267 cites W2112018008 @default.
• W2137402267 cites W2118377274 @default.
• W2137402267 cites W2118870447 @default.
• W2137402267 cites W2123727486 @default.
• W2137402267 cites W2126275975 @default.
• W2137402267 cites W2141505892 @default.
• W2137402267 cites W2149302272 @default.
• W2137402267 cites W2152845220 @default.
• W2137402267 cites W2155032609 @default.
• W2137402267 cites W2161011930 @default.
• W2137402267 cites W2170630946 @default.
• W2137402267 cites W2295923951 @default.
• W2137402267 cites W3101847013 @default.
• W2137402267 cites W3146621368 @default.
• W2137402267 doi "https://doi.org/10.1007/978-3-642-27375-9_1" @default.
• W2137402267 hasPublicationYear "2012" @default.
• W2137402267 type Work @default.
• W2137402267 sameAs 2137402267 @default.
• W2137402267 citedByCount "14" @default.
• W2137402267 countsByYear W21374022672012 @default.
• W2137402267 countsByYear W21374022672013 @default.
• W2137402267 countsByYear W21374022672014 @default.
• W2137402267 countsByYear W21374022672015 @default.
• W2137402267 countsByYear W21374022672017 @default.
• W2137402267 crossrefType "book-chapter" @default.
• W2137402267 hasAuthorship W2137402267A5004014878 @default.
• W2137402267 hasAuthorship W2137402267A5009220862 @default.
• W2137402267 hasAuthorship W2137402267A5059351004 @default.
• W2137402267 hasBestOaLocation W21374022671 @default.
• W2137402267 hasConcept C108710211 @default.
• W2137402267 hasConcept C127413603 @default.
• W2137402267 hasConcept C138958017 @default.
• W2137402267 hasConcept C142724271 @default.
• W2137402267 hasConcept C146978453 @default.
• W2137402267 hasConcept C176329583 @default.
• W2137402267 hasConcept C178489894 @default.
• W2137402267 hasConcept C199360897 @default.
• W2137402267 hasConcept C204787440 @default.
• W2137402267 hasConcept C2524010 @default.
• W2137402267 hasConcept C26713055 @default.
• W2137402267 hasConcept C2778012447 @default.
• W2137402267 hasConcept C2780385302 @default.
• W2137402267 hasConcept C33884865 @default.
• W2137402267 hasConcept C33923547 @default.
• W2137402267 hasConcept C38652104 @default.
• W2137402267 hasConcept C41008148 @default.
• W2137402267 hasConcept C55439883 @default.
• W2137402267 hasConcept C64543145 @default.
• W2137402267 hasConcept C71924100 @default.
• W2137402267 hasConcept C80444323 @default.
• W2137402267 hasConceptScore W2137402267C108710211 @default.
• W2137402267 hasConceptScore W2137402267C127413603 @default.
• W2137402267 hasConceptScore W2137402267C138958017 @default.
• W2137402267 hasConceptScore W2137402267C142724271 @default.
• W2137402267 hasConceptScore W2137402267C146978453 @default.
• W2137402267 hasConceptScore W2137402267C176329583 @default.
• W2137402267 hasConceptScore W2137402267C178489894 @default.
• W2137402267 hasConceptScore W2137402267C199360897 @default.
• W2137402267 hasConceptScore W2137402267C204787440 @default.
• W2137402267 hasConceptScore W2137402267C2524010 @default.
• W2137402267 hasConceptScore W2137402267C26713055 @default.
• W2137402267 hasConceptScore W2137402267C2778012447 @default.
• W2137402267 hasConceptScore W2137402267C2780385302 @default.
• W2137402267 hasConceptScore W2137402267C33884865 @default.
• W2137402267 hasConceptScore W2137402267C33923547 @default.
• W2137402267 hasConceptScore W2137402267C38652104 @default.
• W2137402267 hasConceptScore W2137402267C41008148 @default.
• W2137402267 hasConceptScore W2137402267C55439883 @default.
• W2137402267 hasConceptScore W2137402267C64543145 @default.
• W2137402267 hasConceptScore W2137402267C71924100 @default.
• W2137402267 hasConceptScore W2137402267C80444323 @default.
• W2137402267 hasLocation W21374022671 @default.
• W2137402267 hasOpenAccess W2137402267 @default.
• W2137402267 hasPrimaryLocation W21374022671 @default.
• W2137402267 hasRelatedWork W18781025 @default.
• W2137402267 hasRelatedWork W1997440650 @default.

• next