FRINK Linked Data Fragments server

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

• W2520468385 abstract "A fully abstract compilation scheme prevents high-level code security features from being bypassed by an attacker operating at a lower level. This paper presents a fully abstract compilation scheme from a realistic object-oriented language with dynamic memory allocation to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a finegrained, program counter-based memory access control mechanism. This paper contains the outline of a formal proof of full abstraction of the compilation scheme, guaranteeing that lowand high-level attackers have the same power. Secure Compilation of Object-Oriented Components to Untyped Machine Code Marco Patrignani , Dave Clarke, and Frank Piessens iMinds-DistriNet, Dept. Computer Science, Katholieke Universiteit Leuven {first.last}@cs.kuleuven.be Abstract. A fully abstract compilation scheme prevents high-level code security features from being bypassed by an attacker operating at a lower level. This paper presents a fully abstract compilation scheme from a realistic object-oriented language with dynamic memory allocation to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a fine-grained, program counter-based memory access control mechanism. This paper contains the outline of a formal proof of full abstraction of the compilation scheme, guaranteeing that lowand high-level attackers have the same power. A fully abstract compilation scheme prevents high-level code security features from being bypassed by an attacker operating at a lower level. This paper presents a fully abstract compilation scheme from a realistic object-oriented language with dynamic memory allocation to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a fine-grained, program counter-based memory access control mechanism. This paper contains the outline of a formal proof of full abstraction of the compilation scheme, guaranteeing that lowand high-level attackers have the same power." @default.
• W2520468385 created "2016-09-23" @default.
• W2520468385 creator A5008329832 @default.
• W2520468385 creator A5023276491 @default.
• W2520468385 creator A5053931739 @default.
• W2520468385 date "2013-01-01" @default.
• W2520468385 modified "2023-09-25" @default.
• W2520468385 title "Secure compilation of oject-oriented components to untyped machine code" @default.
• W2520468385 cites W144216357 @default.
• W2520468385 cites W1968412195 @default.
• W2520468385 cites W1969600954 @default.
• W2520468385 cites W2007270285 @default.
• W2520468385 cites W2014108710 @default.
• W2520468385 cites W2023959340 @default.
• W2520468385 cites W2094604506 @default.
• W2520468385 cites W2108416936 @default.
• W2520468385 cites W2127279435 @default.
• W2520468385 cites W2127625071 @default.
• W2520468385 cites W2128159601 @default.
• W2520468385 cites W2134056477 @default.
• W2520468385 cites W2147448476 @default.
• W2520468385 cites W2148662736 @default.
• W2520468385 cites W2157480301 @default.
• W2520468385 cites W2166822586 @default.
• W2520468385 cites W2167290885 @default.
• W2520468385 cites W2167804035 @default.
• W2520468385 cites W2168743513 @default.
• W2520468385 cites W1808584269 @default.
• W2520468385 hasPublicationYear "2013" @default.
• W2520468385 type Work @default.
• W2520468385 sameAs 2520468385 @default.
• W2520468385 citedByCount "0" @default.
• W2520468385 crossrefType "journal-article" @default.
• W2520468385 hasAuthorship W2520468385A5008329832 @default.
• W2520468385 hasAuthorship W2520468385A5023276491 @default.
• W2520468385 hasAuthorship W2520468385A5053931739 @default.
• W2520468385 hasConcept C111472728 @default.
• W2520468385 hasConcept C111919701 @default.
• W2520468385 hasConcept C115168132 @default.
• W2520468385 hasConcept C124304363 @default.
• W2520468385 hasConcept C133162039 @default.
• W2520468385 hasConcept C134306372 @default.
• W2520468385 hasConcept C138885662 @default.
• W2520468385 hasConcept C154945302 @default.
• W2520468385 hasConcept C169590947 @default.
• W2520468385 hasConcept C177264268 @default.
• W2520468385 hasConcept C199360897 @default.
• W2520468385 hasConcept C26517878 @default.
• W2520468385 hasConcept C2776760102 @default.
• W2520468385 hasConcept C2781238097 @default.
• W2520468385 hasConcept C33923547 @default.
• W2520468385 hasConcept C41008148 @default.
• W2520468385 hasConcept C43126263 @default.
• W2520468385 hasConcept C77618280 @default.
• W2520468385 hasConceptScore W2520468385C111472728 @default.
• W2520468385 hasConceptScore W2520468385C111919701 @default.
• W2520468385 hasConceptScore W2520468385C115168132 @default.
• W2520468385 hasConceptScore W2520468385C124304363 @default.
• W2520468385 hasConceptScore W2520468385C133162039 @default.
• W2520468385 hasConceptScore W2520468385C134306372 @default.
• W2520468385 hasConceptScore W2520468385C138885662 @default.
• W2520468385 hasConceptScore W2520468385C154945302 @default.
• W2520468385 hasConceptScore W2520468385C169590947 @default.
• W2520468385 hasConceptScore W2520468385C177264268 @default.
• W2520468385 hasConceptScore W2520468385C199360897 @default.
• W2520468385 hasConceptScore W2520468385C26517878 @default.
• W2520468385 hasConceptScore W2520468385C2776760102 @default.
• W2520468385 hasConceptScore W2520468385C2781238097 @default.
• W2520468385 hasConceptScore W2520468385C33923547 @default.
• W2520468385 hasConceptScore W2520468385C41008148 @default.
• W2520468385 hasConceptScore W2520468385C43126263 @default.
• W2520468385 hasConceptScore W2520468385C77618280 @default.
• W2520468385 hasLocation W25204683851 @default.
• W2520468385 hasOpenAccess W2520468385 @default.
• W2520468385 hasPrimaryLocation W25204683851 @default.
• W2520468385 hasRelatedWork W139097992 @default.
• W2520468385 hasRelatedWork W1461485317 @default.
• W2520468385 hasRelatedWork W1593036551 @default.
• W2520468385 hasRelatedWork W1715907323 @default.
• W2520468385 hasRelatedWork W1968412195 @default.
• W2520468385 hasRelatedWork W2003483676 @default.
• W2520468385 hasRelatedWork W2038774992 @default.
• W2520468385 hasRelatedWork W2039026682 @default.
• W2520468385 hasRelatedWork W2093768724 @default.
• W2520468385 hasRelatedWork W2143964278 @default.
• W2520468385 hasRelatedWork W2161938947 @default.
• W2520468385 hasRelatedWork W2328141591 @default.
• W2520468385 hasRelatedWork W2475423329 @default.
• W2520468385 hasRelatedWork W2522667198 @default.
• W2520468385 hasRelatedWork W2767137645 @default.
• W2520468385 hasRelatedWork W2770691405 @default.
• W2520468385 hasRelatedWork W2966793605 @default.
• W2520468385 hasRelatedWork W3158991097 @default.
• W2520468385 hasRelatedWork W3185021159 @default.
• W2520468385 hasRelatedWork W146591897 @default.
• W2520468385 isParatext "false" @default.
• W2520468385 isRetracted "false" @default.
• W2520468385 magId "2520468385" @default.
• W2520468385 workType "article" @default.