FRINK Linked Data Fragments server

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

• W3137434536 abstract "Methods for automatically, soundly, and precisely guaranteeing the noninterference security policy are predominantly based on multi-execution. All other methods are either based on undecidable theorem proving or suffer from false alarms. The multi-execution mechanisms, meanwhile, work by isolating security levels during program execution and running multiple copies of the target program, once for each security level with carefully tailored inputs that ensure both soundness and precision. When security levels are hierarchically organised in a lattice, this may lead to an exponential number of executions of the target program as the number of possible ways of combining security levels grows. In this paper we study how the lattice structure for security levels influences the runtime overhead of multi-execution. We additionally show how to use Galois connections to gain speedups in multi-execution by switching from lattices with high overhead to lattices with low overhead. Additionally, we give an empirical evaluation that corroborates our analysis and shows how Galois connections have potential to speed up multi-execution." @default.
• W3137434536 created "2021-03-29" @default.
• W3137434536 creator A5018139743 @default.
• W3137434536 creator A5060824078 @default.
• W3137434536 date "2021-03-25" @default.
• W3137434536 modified "2023-09-27" @default.
• W3137434536 title "Multi-Execution Lattices Fast and Slow." @default.
• W3137434536 cites W1236479421 @default.
• W3137434536 cites W1606774834 @default.
• W3137434536 cites W1613776191 @default.
• W3137434536 cites W1771153709 @default.
• W3137434536 cites W1977764760 @default.
• W3137434536 cites W1994197051 @default.
• W3137434536 cites W1995290095 @default.
• W3137434536 cites W1999978255 @default.
• W3137434536 cites W2005525408 @default.
• W3137434536 cites W2008332764 @default.
• W3137434536 cites W2016604944 @default.
• W3137434536 cites W2028705369 @default.
• W3137434536 cites W2033178475 @default.
• W3137434536 cites W2062950667 @default.
• W3137434536 cites W2094873755 @default.
• W3137434536 cites W2103428609 @default.
• W3137434536 cites W2104658241 @default.
• W3137434536 cites W2122049982 @default.
• W3137434536 cites W2122167991 @default.
• W3137434536 cites W2136887296 @default.
• W3137434536 cites W2146717998 @default.
• W3137434536 cites W2149143260 @default.
• W3137434536 cites W2153684747 @default.
• W3137434536 cites W2154564703 @default.
• W3137434536 cites W2155781848 @default.
• W3137434536 cites W2174461360 @default.
• W3137434536 cites W2223370306 @default.
• W3137434536 cites W2256578114 @default.
• W3137434536 cites W2404393214 @default.
• W3137434536 cites W2463192860 @default.
• W3137434536 cites W2479255192 @default.
• W3137434536 cites W2519680833 @default.
• W3137434536 cites W2613920541 @default.
• W3137434536 cites W2752188526 @default.
• W3137434536 cites W2766482825 @default.
• W3137434536 cites W2794811688 @default.
• W3137434536 cites W2890509371 @default.
• W3137434536 cites W2923670466 @default.
• W3137434536 cites W2930968024 @default.
• W3137434536 cites W2962955124 @default.
• W3137434536 cites W2972047516 @default.
• W3137434536 cites W2987470874 @default.
• W3137434536 cites W3037582562 @default.
• W3137434536 cites W3047199768 @default.
• W3137434536 cites W3047262496 @default.
• W3137434536 cites W57185801 @default.
• W3137434536 cites W578709777 @default.
• W3137434536 hasPublicationYear "2021" @default.
• W3137434536 type Work @default.
• W3137434536 sameAs 3137434536 @default.
• W3137434536 citedByCount "0" @default.
• W3137434536 crossrefType "posted-content" @default.
• W3137434536 hasAuthorship W3137434536A5018139743 @default.
• W3137434536 hasAuthorship W3137434536A5060824078 @default.
• W3137434536 hasConcept C120314980 @default.
• W3137434536 hasConcept C153269930 @default.
• W3137434536 hasConcept C173608175 @default.
• W3137434536 hasConcept C192034797 @default.
• W3137434536 hasConcept C199360897 @default.
• W3137434536 hasConcept C2779960059 @default.
• W3137434536 hasConcept C2989134064 @default.
• W3137434536 hasConcept C39920170 @default.
• W3137434536 hasConcept C41008148 @default.
• W3137434536 hasConcept C68339613 @default.
• W3137434536 hasConcept C80444323 @default.
• W3137434536 hasConceptScore W3137434536C120314980 @default.
• W3137434536 hasConceptScore W3137434536C153269930 @default.
• W3137434536 hasConceptScore W3137434536C173608175 @default.
• W3137434536 hasConceptScore W3137434536C192034797 @default.
• W3137434536 hasConceptScore W3137434536C199360897 @default.
• W3137434536 hasConceptScore W3137434536C2779960059 @default.
• W3137434536 hasConceptScore W3137434536C2989134064 @default.
• W3137434536 hasConceptScore W3137434536C39920170 @default.
• W3137434536 hasConceptScore W3137434536C41008148 @default.
• W3137434536 hasConceptScore W3137434536C68339613 @default.
• W3137434536 hasConceptScore W3137434536C80444323 @default.
• W3137434536 hasLocation W31374345361 @default.
• W3137434536 hasOpenAccess W3137434536 @default.
• W3137434536 hasPrimaryLocation W31374345361 @default.
• W3137434536 hasRelatedWork W2035256749 @default.
• W3137434536 hasRelatedWork W2038347389 @default.
• W3137434536 hasRelatedWork W2047068447 @default.
• W3137434536 hasRelatedWork W2059600276 @default.
• W3137434536 hasRelatedWork W2102740706 @default.
• W3137434536 hasRelatedWork W2110279000 @default.
• W3137434536 hasRelatedWork W2188062327 @default.
• W3137434536 hasRelatedWork W2267854506 @default.
• W3137434536 hasRelatedWork W2293637521 @default.
• W3137434536 hasRelatedWork W2336425870 @default.
• W3137434536 hasRelatedWork W2520686861 @default.
• W3137434536 hasRelatedWork W2776844453 @default.
• W3137434536 hasRelatedWork W2925610405 @default.
• W3137434536 hasRelatedWork W2962804085 @default.

• next