Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Malte Mues, Falk Howar |
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). |
TACAS (2) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Naitian Hu, Xingkong Ma, Fuqiang Lin, Bo Liu 0014, Tong Lu |
DexFus: An Android Obfuscation Technique Based on Dalvik Bytecode Translation. |
FCS |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Vignesh S. Rao, Tarunkant Gupta, Saastha Vasan, Deepthi L. R |
PHPIL: Fuzzing the PHP Interpreter with Custom Bytecode. |
ICCCNT |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Selin Sezer, Clemens Eyhoff, Wolfgang Prinz, Thomas Rose 0001 |
Exploiting Smart Contract Bytecode for Classification on Ethereum. |
PoEM Workshops |
2020 |
DBLP BibTeX RDF |
|
17 | Muhammad Fakhrur Rozi, Sangwook Kim, Seiichi Ozawa |
Deep Neural Networks for Malicious JavaScript Detection Using Bytecode Sequences. |
IJCNN |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ahmet Çelik, Pengyu Nie 0001, Christopher J. Rossbach, Milos Gligoric 0001 |
Design, implementation, and application of GPU-based Java bytecode interpreters. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yang Zhang 0037, Shuai Shao, Huan Liu, Jing Qiu 0002, Dongwen Zhang, Guanghua Zhang |
Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yuntae Kim, Dohyun Pak, JongHyup Lee |
ScanAT: Identification of Bytecode-Only Smart Contracts With Multiple Attribute Tags. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dongjin Yu, Jiazha Yang, Xin Chen 0032, Jie Chen 0060 |
Detecting Java Code Clones Based on Bytecode Sequence Alignment. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry |
Scalable Comparison of JavaScript V8 Bytecode Traces. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry |
The Strengths and Behavioral Quirks of Java Bytecode Decompilers. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz |
A Framework for Debugging Java Programs in a Bytecode. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Davide Pizzolotto, Mariano Ceccato |
Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Jacob Staples, Charles Endicott, Lee Krause, Partha P. Pal, Peter Samouelian, Richard E. Schantz, Austin Wellman |
A Semi-Autonomic Bytecode Repair Framework. |
IEEE Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Niels Reijers, Chi-Sheng Shih 0001 |
Improved Ahead-of-time Compilation of Stack-based JVM Bytecode on Resource-constrained Devices. |
ACM Trans. Sens. Networks |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ferenc Horváth, Tamás Gergely, Árpád Beszédes, Dávid Tengeri, Gergö Balogh, Tibor Gyimóthy |
Code coverage differences of Java bytecode and source code instrumentation tools. |
Softw. Qual. J. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Geonbae Na, Jongsu Lim, Sunjun Lee, Jeong Hyun Yi |
Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry |
Scalable comparison of JavaScript V8 bytecode traces. |
VMIL@SPLASH |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tam The Nguyen, Phong Minh Vu, Tung Thanh Nguyen |
Code Search on Bytecode for Mobile App Development. |
ACM Southeast Regional Conference |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yanru Peng, Yuting Chen, Beijun Shen |
An Adaptive Approach to Recommending Obfuscation Rules for Java Bytecode Obfuscators. |
COMPSAC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Dann, Ben Hermann 0001, Eric Bodden |
SootDiff: bytecode comparison across different Java compilers. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Steven Varoumas, Tristan Crolard |
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. |
WCET |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ali Ghanbari 0001, Samuel Benton, Lingming Zhang 0001 |
Practical program repair via bytecode mutation. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel |
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). |
TACAS (3) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Gheorghe Hajmasan, Alexandra Mondoc, Octavian Cret |
Bytecode Heuristic Signatures for Detecting Malware Behavior. |
NextComp |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ali Ghanbari 0001, Lingming Zhang 0001 |
PraPR: Practical Program Repair via Bytecode Mutation. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Gbadebo Ayoade, Erick Bauman, Latifur Khan, Kevin W. Hamlen |
Smart Contract Defense through Bytecode Rewriting. |
Blockchain |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry |
The Strengths and Behavioral Quirks of Java Bytecode Decompilers. |
SCAM |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ning Guo, Xiaoyong Li 0003, Hui Yin, Yali Gao |
VulHunter: An Automated Vulnerability Detection System Based on Deep Learning and Bytecode. |
ICICS |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner |
Faster variational execution with transparent bytecode transformation. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Zheng Cheng, Rosemary Monahan, James F. Power |
Formalised EMFTVM bytecode language for sound verification of model transformations. |
Softw. Syst. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Haihe Ba, Huaizhe Zhou, Huidong Qiao, Zhiying Wang 0003, Jiangchun Ren |
RIM4J: An Architecture for Language-Supported Runtime Measurement against Malicious Bytecode in Cloud Computing. |
Symmetry |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Eduardo Geraldo, João Costa Seco |
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. |
VORTEX@ECOOP/ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ali Ghanbari 0001, Lingming Zhang 0001 |
Practical Program Repair via Bytecode Mutation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Chu-Pan Wong, Jens Meinicke, Lukas Lazarek, Christian Kästner |
Faster Variational Execution with Transparent Bytecode Transformation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Zhenyu Ning, Fengwei Zhang |
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Kaiyuan Kuang, Zhanyong Tang, Xiaoqing Gong, Dingyi Fang, Xiaojiang Chen, Zheng Wang 0001 |
Enhance virtual-machine-based code obfuscation security through dynamic bytecode scheduling. |
Comput. Secur. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Georg Moser, Michael Schaper |
From Jinja bytecode to term rewriting: A complexity reflecting transformation. |
Inf. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Safaa Achour, Mohammed Benattou |
A Model Based Testing Approach for Java Bytecode Programs. |
J. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Izuru Kume, Masahide Nakamura, Naoya Nitta |
Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers. |
ASWEC |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert |
A Java Bytecode Formalisation. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Zhenyu Ning, Fengwei Zhang |
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis. |
DSN |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík |
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. |
CAV (1) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Safaa Achour, Mohammed Benattou |
Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs. |
ICMCS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld |
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework. |
ICOOOLPS@ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Daejun Park 0001, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu |
A formal verification tool for Ethereum VM bytecode. |
ESEC/SIGSOFT FSE |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Strug, Barbara Strug |
Cost Reduction in Mutation Testing with Bytecode-Level Mutants Classification. |
ICAISC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Safaa Achour, Mohammed Benattou |
Constraint Based Testing and Verification of Java Bytecode Programs. |
CIST |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz |
Bytecode Corruption Attacks Are Real - And How to Defend Against Them. |
DIMVA |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Judong Bao, Yongqiang He, Weiping Wen |
DroidPro: An AOTC-Based Bytecode-Hiding Scheme for Packing the Android Applications. |
TrustCom/BigDataSE |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nick Benton |
Semantic Equivalence Checking for HHVM Bytecode. |
PPDP |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples |
Towards verifying ethereum smart contract bytecode in Isabelle/HOL. |
CPP |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yuxin Ding, Rui Wu, Fuxing Xue |
Detecting Android Malware Using Bytecode Image. |
ICCC |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
CIL to Java-bytecode translation for static analysis leveraging. |
FormaliSE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider 0002, Markus Tasch |
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. |
NordSec |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tetsuya Inafune, Shinichi Miura, Toshihiro Taketa, Yukio Hiranaka |
Symbolic backward simulation of Java bytecode program. |
ICCMS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Davide Pizzolotto, Mariano Ceccato |
[Research Paper] Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries. |
SCAM |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tewfik Ziadi, Lom-Messan Hillah |
Software Product Line Extraction from Bytecode Based Applications. |
ICECCS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Doni Pracner, Zoran Budimac |
Enabling code transformations with FermaT on simplified bytecode. |
J. Softw. Evol. Process. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Niels Reijers, Chi-Sheng Shih 0001 |
Improved Ahead-of-Time Compilation of Stack-Based JVM Bytecode on Resource-Constrained Devices. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Abel Garcia, Cosimo Laneve |
Deadlock detection of Java Bytecode. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Eugene Minibaev |
Static Dalvik VM bytecode instrumentation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
17 | Tufail Muhammad, Zahid Halim, Majid Ali Khan |
Visualizing trace of Java collection APIs by dynamic bytecode instrumentation. |
J. Vis. Lang. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Cagatay Catal, Serkan Tugul, Basar Akpinar |
Automatic Software Categorization Using Ensemble Methods and Bytecode Analysis. |
Int. J. Softw. Eng. Knowl. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Beibei Zhao, Zhanyong Tang, Zhen Li, Lina Song, Xiaoqing Gong, Dingyi Fang, Fangyuan Liu, Zheng Wang 0001 |
DexPro: A Bytecode Level Code Protection System for Android Applications. |
CSS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Niels Reijers, Chi-Sheng Shih 0001 |
Ahead-of-Time Compilation of Stack-Based JVM Bytecode on Resource-Constrained Devices. |
EWSN |
2017 |
DBLP BibTeX RDF |
|
17 | Dongjin Yu, Jie Wang 0013, Qing Wu, Jiazha Yang, Jiaojiao Wang, Wei Yang, Wei Yan |
Detecting Java Code Clones with Multi-granularities Based on Bytecode. |
COMPSAC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | James Baxter 0001, Ana Cavalcanti 0001 |
Algebraic Compilation of Safety-Critical Java Bytecode. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit |
A Java Bytecode Metamodel for Composable Program Analyses. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Cosimo Laneve, Abel Garcia |
Deadlock Detection of Java Bytecode. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ralph Duncan |
Managing Bytecode and ISA Compatibility with an Enhanced Toolchain. |
PDCAT |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Haihe Ba, Huaizhe Zhou, Jiangchun Ren, Zhiying Wang 0003 |
Runtime Measurement Architecture for Bytecode Integrity in JVM-Based Cloud. |
SRDS |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Oliver Haase |
Abstract Interpretation of Java Bytecode for Immutability Analysis. |
J. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
Provably correct control flow graphs from Java bytecode programs with exceptions. |
Int. J. Softw. Tools Technol. Transf. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Michael Backes 0001, Robert Künnemann, Esfandiar Mohammadi |
Computational Soundness for Dalvik Bytecode. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Md. Jawaherul Alam, Michael T. Goodrich, Timothy Johnson |
J-Viz: Sibling-First Recursive Graph Drawing for Visualizing Java Bytecode. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
17 | Daibin Wang, Hai Jin 0001, Deqing Zou, Peng Xu 0003, Tianqing Zhu, Gang Chen |
Taming transitive permission attack via bytecode rewriting on Android application. |
Secur. Commun. Networks |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni |
Polymorphic bytecode instrumentation. |
Softw. Pract. Exp. |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mangala Gowri Nanda, S. Arun-Kumar |
Decompiling Boolean Expressions from Java™ Bytecode. |
ISEC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Michael Backes 0001, Robert Künnemann, Esfandiar Mohammadi |
Computational Soundness for Dalvik Bytecode. |
CCS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Md. Jawaherul Alam, Michael T. Goodrich, Timothy Johnson |
J-Viz: Finding algorithmic complexity attacks via graph visualization of Java bytecode. |
VizSEC |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dávid Tengeri, Ferenc Horváth, Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy |
Negative Effects of Bytecode Instrumentation on Java Source Code Coverage. |
SANER |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Sangwook Cho, Gyoosik Kim, Seong-je Cho, Jongmoo Choi, Minkyu Park, Sangchul Han |
Runtime Input Validation for Java Web Applications using Static Bytecode Instrumentation. |
RACS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Safaa Achour, Mohammed Benattou |
Test case generation for Java Bytecode programs annotated with BML specifications. |
ICMCS |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen |
Learning API usages from bytecode: a statistical approach. |
ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Luke Dominic Mark Urquhart |
Worst-case resource-usage analysis of Java Card classic editions application bytecode. |
|
2016 |
RDF |
|
17 | Aymerick Savary |
Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. (Vulnerability detection into Java Card bytecode verifier). |
|
2016 |
RDF |
|
17 | Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi |
Design and Implementation of a Java Bytecode Manipulation Library for Clojure. |
J. Inf. Process. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Surachai Thongkaew, Tsuyoshi Isshiki, Dongju Li, Hiroaki Kunieda |
Dalvik Bytecode Acceleration Using Fetch/Decode Hardware Extension. |
J. Inf. Process. |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hendra Gunadi, Alwen Tiu, Rajeev Goré |
Formal Certification of Android Bytecode. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen |
Learning API Usages from Bytecode: A Statistical Approach. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
17 | Mohamed Sarrab |
Bytecode instrumentation mechanism for monitoring mobile application information flow. |
Int. J. Secur. Networks |
2015 |
DBLP DOI BibTeX RDF |
|
17 | David A. W. Clarke, Tim Miller 0001, Antonette Mendoza |
Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. |
ASWEC (2) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad R. Azadmanesh, Matthias Hauswirth |
BLAST: Bytecode-Level Analysis on Sliced Traces. |
PPPJ |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hyeong-Seok Oh, Ji Hwan Yeo, Soo-Mook Moon |
Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine. |
DATE |
2015 |
DBLP BibTeX RDF |
|
17 | Patrik Lantz, Björn Johansson 0006 |
Towards bridging the gap between Dalvik bytecode and native code during static analysis of Android applications. |
IWCMC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Julien Lancia, Guillaume Bouffard |
Java Card Virtual Machine Compromising from a Bytecode Verified Applet. |
CARDIS |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Javier Escobar-Avila, Mario Linares Vásquez, Sonia Haiduc |
Unsupervised software categorization using bytecode. |
ICPC |
2015 |
DBLP DOI BibTeX RDF |
|