Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955478879> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2955478879 abstract "Hybrid applications (apps) have become one of the most attractive options for mobile app developers thanks to its support for portability and device-specific features. Android hybrid apps, for example, support portability via JavaScript, device-specific features via Android Java, and seamless interactions between them. However, their interoperation semantics is often under-documented and unintuitive, which makes hybrid apps vulnerable to errors. While recent research has addressed such vulnerabilities, none of them are based on any formal grounds. In this paper, we present the first formal specification of Android interoperability to establish a firm ground for understanding and reasoning about the interoperations. We identify its semantics via extensive testing and thorough inspection of Android source code. We extend an existing multi-language semantics to formally express the key features of hybrid mechanisms, dynamic and indistinguishable interoperability. Based on the extensions, we incrementally define a formal interoperation semantics and disclose its numerous unintuitive and inconsistent behaviors. Moreover, on top of the formal semantics, we devise a lightweight type system that can detect bugs due to the unintuitive inter-language communication. We show that it detects more bugs more efficiently than HybriDroid, the state-of-the-art analyzer of Android hybrid apps, in real-world Android hybrid apps." @default.
- W2955478879 created "2019-07-12" @default.
- W2955478879 creator A5053075425 @default.
- W2955478879 creator A5065813141 @default.
- W2955478879 creator A5087492388 @default.
- W2955478879 date "2019-05-01" @default.
- W2955478879 modified "2023-10-13" @default.
- W2955478879 title "Towards Understanding and Reasoning About Android Interoperations" @default.
- W2955478879 cites W2013109541 @default.
- W2955478879 cites W2032042254 @default.
- W2955478879 cites W2103240295 @default.
- W2955478879 cites W2120878745 @default.
- W2955478879 cites W2141554582 @default.
- W2955478879 cites W2148009765 @default.
- W2955478879 cites W2151716725 @default.
- W2955478879 cites W2318709333 @default.
- W2955478879 cites W2407313496 @default.
- W2955478879 cites W2514626402 @default.
- W2955478879 cites W3105116128 @default.
- W2955478879 cites W4245120671 @default.
- W2955478879 doi "https://doi.org/10.1109/icse.2019.00038" @default.
- W2955478879 hasPublicationYear "2019" @default.
- W2955478879 type Work @default.
- W2955478879 sameAs 2955478879 @default.
- W2955478879 citedByCount "9" @default.
- W2955478879 countsByYear W29554788792019 @default.
- W2955478879 countsByYear W29554788792020 @default.
- W2955478879 countsByYear W29554788792021 @default.
- W2955478879 countsByYear W29554788792023 @default.
- W2955478879 crossrefType "proceedings-article" @default.
- W2955478879 hasAuthorship W2955478879A5053075425 @default.
- W2955478879 hasAuthorship W2955478879A5065813141 @default.
- W2955478879 hasAuthorship W2955478879A5087492388 @default.
- W2955478879 hasConcept C111919701 @default.
- W2955478879 hasConcept C136764020 @default.
- W2955478879 hasConcept C139458680 @default.
- W2955478879 hasConcept C199360897 @default.
- W2955478879 hasConcept C20136886 @default.
- W2955478879 hasConcept C41008148 @default.
- W2955478879 hasConcept C548217200 @default.
- W2955478879 hasConcept C557433098 @default.
- W2955478879 hasConcept C63000827 @default.
- W2955478879 hasConceptScore W2955478879C111919701 @default.
- W2955478879 hasConceptScore W2955478879C136764020 @default.
- W2955478879 hasConceptScore W2955478879C139458680 @default.
- W2955478879 hasConceptScore W2955478879C199360897 @default.
- W2955478879 hasConceptScore W2955478879C20136886 @default.
- W2955478879 hasConceptScore W2955478879C41008148 @default.
- W2955478879 hasConceptScore W2955478879C548217200 @default.
- W2955478879 hasConceptScore W2955478879C557433098 @default.
- W2955478879 hasConceptScore W2955478879C63000827 @default.
- W2955478879 hasLocation W29554788791 @default.
- W2955478879 hasOpenAccess W2955478879 @default.
- W2955478879 hasPrimaryLocation W29554788791 @default.
- W2955478879 hasRelatedWork W123583347 @default.
- W2955478879 hasRelatedWork W2106545963 @default.
- W2955478879 hasRelatedWork W2112050737 @default.
- W2955478879 hasRelatedWork W2126880801 @default.
- W2955478879 hasRelatedWork W2133678176 @default.
- W2955478879 hasRelatedWork W2348166665 @default.
- W2955478879 hasRelatedWork W3195682748 @default.
- W2955478879 hasRelatedWork W4210651130 @default.
- W2955478879 hasRelatedWork W4210786264 @default.
- W2955478879 hasRelatedWork W4386889851 @default.
- W2955478879 isParatext "false" @default.
- W2955478879 isRetracted "false" @default.
- W2955478879 magId "2955478879" @default.
- W2955478879 workType "article" @default.