FRINK Linked Data Fragments server

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

• W2072885133 endingPage "32" @default.
• W2072885133 startingPage "1" @default.
• W2072885133 abstract "End-to-End security of mobile code requires that the code neither intentionally nor accidentally propagates sensitive information to an adversary. Although mobile code is commonly multithreaded low-level code, there lack enforcement mechanisms that ensure information security for such programs. The modularity is three-fold: we give modular extensions of sequential semantics, sequential security typing, and sequential security-type preserving compilation that allow us enforcing security for multithreaded programs. Thanks to the modularity, there are no more restrictions on multithreaded source programs than on sequential ones, and yet we guarantee that their compilations are provably secure for a wide class of schedulers." @default.
• W2072885133 created "2016-06-24" @default.
• W2072885133 creator A5028178671 @default.
• W2072885133 creator A5070340953 @default.
• W2072885133 creator A5075577852 @default.
• W2072885133 creator A5087729716 @default.
• W2072885133 date "2010-07-01" @default.
• W2072885133 modified "2023-10-18" @default.
• W2072885133 title "Security of multithreaded programs by compilation" @default.
• W2072885133 cites W1519156167 @default.
• W2072885133 cites W1531372410 @default.
• W2072885133 cites W1548432452 @default.
• W2072885133 cites W1973336874 @default.
• W2072885133 cites W1997775274 @default.
• W2072885133 cites W2009342609 @default.
• W2072885133 cites W2017639917 @default.
• W2072885133 cites W2023931614 @default.
• W2072885133 cites W2034711041 @default.
• W2072885133 cites W2057503672 @default.
• W2072885133 cites W2061056245 @default.
• W2072885133 cites W2069107692 @default.
• W2072885133 cites W2072885133 @default.
• W2072885133 cites W2075849836 @default.
• W2072885133 cites W2105443119 @default.
• W2072885133 cites W2110263582 @default.
• W2072885133 cites W2113521415 @default.
• W2072885133 cites W2117723002 @default.
• W2072885133 cites W2122049982 @default.
• W2072885133 cites W2122643307 @default.
• W2072885133 cites W2129278597 @default.
• W2072885133 cites W2141126977 @default.
• W2072885133 cites W2141248338 @default.
• W2072885133 cites W2148478694 @default.
• W2072885133 cites W2151009878 @default.
• W2072885133 cites W2158126684 @default.
• W2072885133 cites W2997271062 @default.
• W2072885133 cites W3160660896 @default.
• W2072885133 cites W4251301725 @default.
• W2072885133 doi "https://doi.org/10.1145/1805974.1805977" @default.
• W2072885133 hasPublicationYear "2010" @default.
• W2072885133 type Work @default.
• W2072885133 sameAs 2072885133 @default.
• W2072885133 citedByCount "26" @default.
• W2072885133 countsByYear W20728851332012 @default.
• W2072885133 countsByYear W20728851332013 @default.
• W2072885133 countsByYear W20728851332015 @default.
• W2072885133 countsByYear W20728851332016 @default.
• W2072885133 countsByYear W20728851332017 @default.
• W2072885133 countsByYear W20728851332018 @default.
• W2072885133 countsByYear W20728851332019 @default.
• W2072885133 countsByYear W20728851332020 @default.
• W2072885133 countsByYear W20728851332021 @default.
• W2072885133 crossrefType "journal-article" @default.
• W2072885133 hasAuthorship W2072885133A5028178671 @default.
• W2072885133 hasAuthorship W2072885133A5070340953 @default.
• W2072885133 hasAuthorship W2072885133A5075577852 @default.
• W2072885133 hasAuthorship W2072885133A5087729716 @default.
• W2072885133 hasConcept C101468663 @default.
• W2072885133 hasConcept C121822524 @default.
• W2072885133 hasConcept C154945302 @default.
• W2072885133 hasConcept C177264268 @default.
• W2072885133 hasConcept C184337299 @default.
• W2072885133 hasConcept C199360897 @default.
• W2072885133 hasConcept C2776760102 @default.
• W2072885133 hasConcept C2777212361 @default.
• W2072885133 hasConcept C2779478453 @default.
• W2072885133 hasConcept C38652104 @default.
• W2072885133 hasConcept C41008148 @default.
• W2072885133 hasConcept C41065033 @default.
• W2072885133 hasConcept C54355233 @default.
• W2072885133 hasConcept C86803240 @default.
• W2072885133 hasConceptScore W2072885133C101468663 @default.
• W2072885133 hasConceptScore W2072885133C121822524 @default.
• W2072885133 hasConceptScore W2072885133C154945302 @default.
• W2072885133 hasConceptScore W2072885133C177264268 @default.
• W2072885133 hasConceptScore W2072885133C184337299 @default.
• W2072885133 hasConceptScore W2072885133C199360897 @default.
• W2072885133 hasConceptScore W2072885133C2776760102 @default.
• W2072885133 hasConceptScore W2072885133C2777212361 @default.
• W2072885133 hasConceptScore W2072885133C2779478453 @default.
• W2072885133 hasConceptScore W2072885133C38652104 @default.
• W2072885133 hasConceptScore W2072885133C41008148 @default.
• W2072885133 hasConceptScore W2072885133C41065033 @default.
• W2072885133 hasConceptScore W2072885133C54355233 @default.
• W2072885133 hasConceptScore W2072885133C86803240 @default.
• W2072885133 hasFunder F4320334960 @default.
• W2072885133 hasFunder F4320334962 @default.
• W2072885133 hasIssue "3" @default.
• W2072885133 hasLocation W20728851331 @default.
• W2072885133 hasOpenAccess W2072885133 @default.
• W2072885133 hasPrimaryLocation W20728851331 @default.
• W2072885133 hasRelatedWork W1502311553 @default.
• W2072885133 hasRelatedWork W1587224678 @default.
• W2072885133 hasRelatedWork W1680480890 @default.
• W2072885133 hasRelatedWork W2002067075 @default.
• W2072885133 hasRelatedWork W2111145992 @default.
• W2072885133 hasRelatedWork W2732612607 @default.
• W2072885133 hasRelatedWork W4231450030 @default.

• next