Results 121 to 130 of about 18,338 (256)

Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode [PDF]

, 2021
Haoran Xu, Fredrik Kjølstad
openalex   +1 more source

BejaGNN: behavior-based Java malware detection via graph neural network. [PDF]

J Supercomput, 2023
Feng P, Yang L, Lu D, Xi N, Ma J.
europepmc   +1 more source

STAN: Towards Describing Bytecodes of Smart Contract [PDF]

, 2020
Xiaoqi Li, Ting Chen, Xiapu Luo, Tao Zhang, Le Yu, Xu Zhou   +5 more
openalex   +1 more source

Smart contract vulnerability detection method based on pre-training and novel timing graph neural network

Tongxin xuebao
To address the limitations of current deep learning-based methods in extracting contract bytecode features and representing vulnerability semantics, as well as the shortcomings of the traditional graph neural networks in learning temporal information ...
ZHUANG Yuan, FAN Zekai, WANG Cheng, SUN Jianguo, LI Yaolin   +4 more
doaj   +2 more sources

Evaluation of 6LoWPAN Generic Header Compression in the Context of a RPL Network. [PDF]

Sensors (Basel), 2023
Vandervelden T, Deac D, Van Glabbeek R, De Smet R, Braeken A, Steenhaut K.   +5 more
europepmc   +1 more source

Non-termination of Dalvik bytecode via compilation to CLP

, 2014
We present a set of rules for compiling a Dalvik bytecode program into a logic program with array constraints. Non-termination of the resulting program entails that of the original one, hence the techniques we have presented before for proving non ...
Mesnard, Fred, Payet, Etienne
core  

Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART [PDF]

, 2019
Geonbae Na, Jongsu Lim, Sunjun Lee, Jeong Hyun Yi   +3 more
openalex   +1 more source

Verification System of Removable Key Carriers Software

Безопасность информационных технологий, 2013
Removable key carriers are most widespread devices for cryptographic key systems. The most popular platform for them is JavaCard. However, an on-card bytecode verifier is only optional on JavaCard smartcards, and indeed most cards do not include it. That’
Sergey Sergeevich Agafyin, Anton Andreevich Krasnopevtsev   +1 more
doaj  

A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices. [PDF]

Sensors (Basel), 2022
Culic I, Vochescu A, Radovici A.
europepmc   +1 more source

Smart contracts software metrics: A first study. [PDF]

PLoS One, 2023
Tonelli R, Pierro GA, Ortu M, Destefanis G.   +3 more
europepmc   +1 more source