Taintart: A practical multi-level information-flow tracking system for android runtime

M Sun, T Wei, JCS Lui - Proceedings of the 2016 ACM SIGSAC …, 2016 - dl.acm.org
Mobile operating systems like Android failed to provide sufficient protection on personal
data, and privacy leakage becomes a major concern. To understand the security risks and …

Method and system for compiler optimization

QI Xinyu, J Ningsheng, H Huang, L Gao - US Patent 9,323,508, 2016 - Google Patents
Aspects of the disclosure provide a method for code compilation. The method includes
receiving instructions of a loop code for compiling, allocating one or more registers to …

Improved ahead-of-time compilation of stack-based JVM bytecode on resource-constrained devices

N Reijers, CS Shih - ACM Transactions on Sensor Networks (TOSN), 2019 - dl.acm.org
Many virtual machines exist for sensor nodes with only a few kB RAM and tens-to a few
hundred kB Flash memory. They pack an impressive set of features but suffer from a …

[PDF][PDF] Ahead-of-Time Compilation of Stack-Based JVM Bytecode on Resource-Constrained Devices.

N Reijers, CS Shih - EWSN, 2017 - ewsn.org
Many virtual machines have been developed for tiny devices with only a few KB of RAM and
tens to a few hundred KB of flash memory. They pack an impressive set of features in a very …

Static dalvik bytecode optimization for Android applications

J Kim, I Kim, C Min, HK Jun, SH Lee, WT Kim… - ETRI …, 2015 - Wiley Online Library
Since just‐in‐time (JIT) has considerable overhead to detect hot spots and compile them at
runtime, using sophisticated optimization techniques for embedded devices means that any …

Verified Transformation of Continuation-Passing Style into Static Single Assignment Form

S Liu, Y Wang - International Symposium on Theoretical Aspects of …, 2023 - Springer
Abstract Static Single Assignment form (SSA) is widely adopted as an intermediate
representation (IR) of production compilers as it enables aggressive compiler optimizations …

CapeVM: 用於資源受限的物聯網裝置之快速安全虛擬機

雷理生 - 2018 - tdr.lib.ntu.edu.tw
針對在資源受限的裝置上運行的虛擬機已被廣泛地研究, 然而, 在設計如何將衆多功能包裝進
資源受限的裝置的過程, 絕多數的虛擬機都難以同時滿足以下兩種關鍵特性 …

Extending the pcre library with static backtracking based just-in-time compilation support

Z Herczeg - Proceedings of Annual IEEE/ACM International …, 2014 - dl.acm.org
High matching performance of regular expressions is a critical requirement for many widely
used software tools today, including web servers, firewalls, and intrusion detection systems …

[PDF][PDF] Efficient and Retargetable Dynamic Binary Translation

DY Hong - National Tsing Hua University, 2013 - iis.sinica.edu.tw
Dynamic binary translation (DBT) is a core technology to many important applications such
as system virtualization, dynamic binary instrumentation and security. However, there are …

A static region‐based compiler for the Dalvik virtual machine

YP You, JR Chen - Software: Practice and Experience, 2016 - Wiley Online Library
The Dalvik virtual machine (VM) is an integral component used to execute applications in
Android, which is one of the leading operating systems for mobile devices. The Dalvik VM is …