Matches in SemOpenAlex for { <https://semopenalex.org/work/W2248189341> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2248189341 abstract "The Android operating system is now used in the majority of mobile devices. Each application in Android runs in an instance of the Dalvik virtual machine, which is a register-based virtual machine (VM). Most applications for Android are developed using Java, compiled to Java bytecode and then translated to DEX bytecode using the dx tool in the Android Software Development Kit. In this work, I aim to develop a type-based method for certifying non-interference properties of DEX bytecode, following a methodology that has been developed for Java bytecode certification by Barthe et al. To this end, I develop a formal operational semantics of the Dalvik VM, a type system for DEX bytecode, and prove the soundness of the type system with respect to a notion of non-interference. I then study the translation process from Java bytecode to DEX bytecode, as implemented in the dx tool in the Android SDK. I show that an abstracted version of the translation from Java bytecode to DEX bytecode preserves the non-interference property. More precisely, I show that if the Java bytecode is typable in Barthe et al's type system (which guarantees non-interference) then its translation is typable in our type system. This result opens up the possibility to leverage existing bytecode verifiers for Java to certify non-interference properties of Android bytecode." @default.
- W2248189341 created "2016-06-24" @default.
- W2248189341 creator A5047937402 @default.
- W2248189341 date "2015-12-01" @default.
- W2248189341 modified "2023-09-26" @default.
- W2248189341 title "Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)" @default.
- W2248189341 cites W1264845515 @default.
- W2248189341 cites W163795935 @default.
- W2248189341 cites W1885955018 @default.
- W2248189341 cites W1912565424 @default.
- W2248189341 cites W2003276999 @default.
- W2248189341 cites W201827489 @default.
- W2248189341 cites W2034711041 @default.
- W2248189341 cites W2038173123 @default.
- W2248189341 cites W2065085008 @default.
- W2248189341 cites W2076840859 @default.
- W2248189341 cites W2094835181 @default.
- W2248189341 cites W2101834106 @default.
- W2248189341 cites W2117723002 @default.
- W2248189341 cites W2128180740 @default.
- W2248189341 cites W2150587160 @default.
- W2248189341 cites W2153542583 @default.
- W2248189341 cites W2266007867 @default.
- W2248189341 cites W2551108136 @default.
- W2248189341 cites W3136699861 @default.
- W2248189341 doi "https://doi.org/10.1109/iceccs.2015.36" @default.
- W2248189341 hasPublicationYear "2015" @default.
- W2248189341 type Work @default.
- W2248189341 sameAs 2248189341 @default.
- W2248189341 citedByCount "3" @default.
- W2248189341 countsByYear W22481893412016 @default.
- W2248189341 countsByYear W22481893412018 @default.
- W2248189341 countsByYear W22481893412021 @default.
- W2248189341 crossrefType "proceedings-article" @default.
- W2248189341 hasAuthorship W2248189341A5047937402 @default.
- W2248189341 hasConcept C111919701 @default.
- W2248189341 hasConcept C15524039 @default.
- W2248189341 hasConcept C168702491 @default.
- W2248189341 hasConcept C199360897 @default.
- W2248189341 hasConcept C2777472213 @default.
- W2248189341 hasConcept C2779818221 @default.
- W2248189341 hasConcept C41008148 @default.
- W2248189341 hasConcept C548217200 @default.
- W2248189341 hasConcept C557433098 @default.
- W2248189341 hasConceptScore W2248189341C111919701 @default.
- W2248189341 hasConceptScore W2248189341C15524039 @default.
- W2248189341 hasConceptScore W2248189341C168702491 @default.
- W2248189341 hasConceptScore W2248189341C199360897 @default.
- W2248189341 hasConceptScore W2248189341C2777472213 @default.
- W2248189341 hasConceptScore W2248189341C2779818221 @default.
- W2248189341 hasConceptScore W2248189341C41008148 @default.
- W2248189341 hasConceptScore W2248189341C548217200 @default.
- W2248189341 hasConceptScore W2248189341C557433098 @default.
- W2248189341 hasLocation W22481893411 @default.
- W2248189341 hasOpenAccess W2248189341 @default.
- W2248189341 hasPrimaryLocation W22481893411 @default.
- W2248189341 hasRelatedWork W148331396 @default.
- W2248189341 hasRelatedWork W1501401133 @default.
- W2248189341 hasRelatedWork W1544300973 @default.
- W2248189341 hasRelatedWork W165155602 @default.
- W2248189341 hasRelatedWork W1855904407 @default.
- W2248189341 hasRelatedWork W1902013399 @default.
- W2248189341 hasRelatedWork W2005119878 @default.
- W2248189341 hasRelatedWork W2016474211 @default.
- W2248189341 hasRelatedWork W2019012641 @default.
- W2248189341 hasRelatedWork W2035069210 @default.
- W2248189341 hasRelatedWork W2041109742 @default.
- W2248189341 hasRelatedWork W2089598222 @default.
- W2248189341 hasRelatedWork W2146202824 @default.
- W2248189341 hasRelatedWork W2168448595 @default.
- W2248189341 hasRelatedWork W2266007867 @default.
- W2248189341 hasRelatedWork W2570831569 @default.
- W2248189341 hasRelatedWork W2884975599 @default.
- W2248189341 hasRelatedWork W29510440 @default.
- W2248189341 hasRelatedWork W3000427836 @default.
- W2248189341 hasRelatedWork W950049861 @default.
- W2248189341 isParatext "false" @default.
- W2248189341 isRetracted "false" @default.
- W2248189341 magId "2248189341" @default.
- W2248189341 workType "article" @default.