Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link
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