FRINK Linked Data Fragments server

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

• W3047465835 abstract "Language-based information-flow control (IFC) techniques often rely on special purpose, ad-hoc primitives to address different covert channels that originate in the runtime system, beyond the scope of language constructs. Since these piecemeal solutions may not compose securely, there is a need for a unified mechanism to control covert channels. As a first step towards this goal, we argue for the design of a general interface that allows programs to safely interact with the runtime system and the available computing resources. To coordinate the communication between programs and the runtime system, we propose the use of asynchronous exceptions (interrupts), which, to the best of our knowledge, have not been considered before in the context of IFC languages. Since asynchronous exceptions can be raised at any point during execution-often due to the occurrence of an external event-threads must temporarily mask them out when manipulating locks and shared data structures to avoid deadlocks and, therefore, breaking program invariants. Crucially, the naive combination of asynchronous exceptions with existing features of IFC languages (e.g., concurrency and synchronization variables) may open up new possibilities of information leakage. In this paper, we present $mathrm {M}mathrm {A}mathrm {C}_{async}$, a concurrent, statically enforced IFC language that, as a novelty, features asynchronous exceptions. We show how asynchronous exceptions easily enable (out of the box) useful programming patterns like speculative execution and some degree of resource management. We prove that programs in $mathrm {M}mathrm {A}mathrm {C}_{async}$ satisfy progress-sensitive non-interference and mechanize our formal claims in the Agda proof assistant." @default.
• W3047465835 created "2020-08-10" @default.
• W3047465835 creator A5028178671 @default.
• W3047465835 creator A5065850135 @default.
• W3047465835 creator A5087618755 @default.
• W3047465835 date "2020-06-01" @default.
• W3047465835 modified "2023-09-27" @default.
• W3047465835 title "Securing Asynchronous Exceptions" @default.
• W3047465835 cites W1499326305 @default.
• W3047465835 cites W1538718799 @default.
• W3047465835 cites W1587375298 @default.
• W3047465835 cites W1606774834 @default.
• W3047465835 cites W1750514695 @default.
• W3047465835 cites W1783004285 @default.
• W3047465835 cites W1979651969 @default.
• W3047465835 cites W1980895171 @default.
• W3047465835 cites W1991895580 @default.
• W3047465835 cites W2005525408 @default.
• W3047465835 cites W2027961147 @default.
• W3047465835 cites W2028705369 @default.
• W3047465835 cites W2033178475 @default.
• W3047465835 cites W2039469905 @default.
• W3047465835 cites W2057503672 @default.
• W3047465835 cites W2060493407 @default.
• W3047465835 cites W2086234010 @default.
• W3047465835 cites W2089102058 @default.
• W3047465835 cites W2095951614 @default.
• W3047465835 cites W2099878912 @default.
• W3047465835 cites W2109507655 @default.
• W3047465835 cites W2110681288 @default.
• W3047465835 cites W2112147599 @default.
• W3047465835 cites W2121591000 @default.
• W3047465835 cites W2122049982 @default.
• W3047465835 cites W2127625071 @default.
• W3047465835 cites W2128282420 @default.
• W3047465835 cites W2129278597 @default.
• W3047465835 cites W2132185316 @default.
• W3047465835 cites W2139077453 @default.
• W3047465835 cites W2141248338 @default.
• W3047465835 cites W2146717998 @default.
• W3047465835 cites W2151716725 @default.
• W3047465835 cites W2175237184 @default.
• W3047465835 cites W2223370306 @default.
• W3047465835 cites W2296715995 @default.
• W3047465835 cites W2519805394 @default.
• W3047465835 cites W254902136 @default.
• W3047465835 cites W2613920541 @default.
• W3047465835 cites W2700845503 @default.
• W3047465835 cites W2769061097 @default.
• W3047465835 cites W2774134654 @default.
• W3047465835 cites W2798644064 @default.
• W3047465835 cites W2890914193 @default.
• W3047465835 cites W2896496024 @default.
• W3047465835 cites W2909585706 @default.
• W3047465835 cites W2930968024 @default.
• W3047465835 cites W2972136551 @default.
• W3047465835 cites W3047132017 @default.
• W3047465835 doi "https://doi.org/10.1109/csf49147.2020.00023" @default.
• W3047465835 hasPublicationYear "2020" @default.
• W3047465835 type Work @default.
• W3047465835 sameAs 3047465835 @default.
• W3047465835 citedByCount "0" @default.
• W3047465835 crossrefType "proceedings-article" @default.
• W3047465835 hasAuthorship W3047465835A5028178671 @default.
• W3047465835 hasAuthorship W3047465835A5065850135 @default.
• W3047465835 hasAuthorship W3047465835A5087618755 @default.
• W3047465835 hasConcept C120314980 @default.
• W3047465835 hasConcept C145428669 @default.
• W3047465835 hasConcept C151319957 @default.
• W3047465835 hasConcept C193702766 @default.
• W3047465835 hasConcept C199360897 @default.
• W3047465835 hasConcept C31258907 @default.
• W3047465835 hasConcept C41008148 @default.
• W3047465835 hasConcept C48859967 @default.
• W3047465835 hasConcept C80444323 @default.
• W3047465835 hasConceptScore W3047465835C120314980 @default.
• W3047465835 hasConceptScore W3047465835C145428669 @default.
• W3047465835 hasConceptScore W3047465835C151319957 @default.
• W3047465835 hasConceptScore W3047465835C193702766 @default.
• W3047465835 hasConceptScore W3047465835C199360897 @default.
• W3047465835 hasConceptScore W3047465835C31258907 @default.
• W3047465835 hasConceptScore W3047465835C41008148 @default.
• W3047465835 hasConceptScore W3047465835C48859967 @default.
• W3047465835 hasConceptScore W3047465835C80444323 @default.
• W3047465835 hasLocation W30474658351 @default.
• W3047465835 hasOpenAccess W3047465835 @default.
• W3047465835 hasPrimaryLocation W30474658351 @default.
• W3047465835 hasRelatedWork W10411674 @default.
• W3047465835 hasRelatedWork W11123744 @default.
• W3047465835 hasRelatedWork W11697580 @default.
• W3047465835 hasRelatedWork W13181376 @default.
• W3047465835 hasRelatedWork W369794 @default.
• W3047465835 hasRelatedWork W385118 @default.
• W3047465835 hasRelatedWork W4979087 @default.
• W3047465835 hasRelatedWork W5747143 @default.
• W3047465835 hasRelatedWork W654905 @default.
• W3047465835 hasRelatedWork W7208704 @default.
• W3047465835 isParatext "false" @default.
• W3047465835 isRetracted "false" @default.
• W3047465835 magId "3047465835" @default.

• next