Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Dishant Munjal, Jagannath Singh, Subhrakanta Panda, Durga Prasad Mohapatra |
Automated Slicing of Aspect-Oriented Programs Using Bytecode Analysis. |
COMPSAC |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wenbo Yang, Yuanyuan Zhang 0002, Juanru Li, Junliang Shu, Bodong Li, Wenjun Hu, Dawu Gu |
AppSpear: Bytecode Decrypting and DEX Reassembling for Packed Android Malware. |
RAID |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Dario Weißer, Johannes Dahse, Thorsten Holz |
Security Analysis of PHP Bytecode Protection Mechanisms. |
RAID |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Puffitsch |
Fernando: An Educational Ahead-of-Time Bytecode Compiler. |
JTRES |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. |
VECoS |
2015 |
DBLP BibTeX RDF |
|
17 | Santiago Vargas-Baldrich, Mario Linares Vásquez, Denys Poshyvanyk |
Automated Tagging of Software Projects Using Bytecode and Dependencies (N). |
ASE |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Maximilian Seitzer, Michael Gruhn, Tilo Müller |
A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory. |
ESORICS (2) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Javier Escobar-Avila |
Automatic Categorization of Software Libraries Using Bytecode. |
ICSE (2) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Information Flow Control in WebKit's JavaScript Bytecode. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Étienne Payet, Fred Mesnard, Fausto Spoto |
Non-Termination Analysis of Java Bytecode. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Étienne Payet, Frédéric Mesnard |
Non-termination of Dalvik bytecode via compilation to CLP. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
17 | Teja Tamboli, Thomas H. Austin, Mark Stamp 0001 |
Metamorphic code generation from LLVM bytecode. |
J. Comput. Virol. Hacking Tech. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen |
Formalisation and analysis of Dalvik bytecode. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Marieke Huisman |
SCP special issue on Bytecode 2012 - Preface. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Caserta, Olivier Zendra |
JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Iman Keivanloo, Chanchal Kumar Roy, Juergen Rilling |
SeByte: Scalable clone and similarity search for bytecode. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Gómez-Zamalloa, Germán Puebla |
Selected and extended papers from Bytecode 2013. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jérôme Vouillon, Vincent Balat |
From bytecode to JavaScript: the Js_of_ocaml compiler. |
Softw. Pract. Exp. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Geffken, Peter Thiemann 0001 |
Side effect monitoring for Java using bytecode rewriting. |
PPPJ |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Information Flow Control in WebKit's JavaScript Bytecode. |
POST |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Zhifei Chen, Lin Chen 0015, Baowen Xu |
Hybrid Information Flow Analysis for Python Bytecode. |
IEEE WISA |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Weifeng Xu, Tao Ding, Dianxiang Xu |
Rule-Based Test Input Generation from Bytecode. |
SERE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Chisoon Jeong, Su Hang, Bernd Burgstaller |
Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams. |
FCC |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Parvez Faruki, Ammar Bharmal, Vijay Laxmi, Manoj Singh Gaur, Mauro Conti, Muttukrishnan Rajarajan |
Evaluation of Android Anti-malware Techniques against Dalvik Bytecode Obfuscation. |
TrustCom |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana |
A Redundancy-Based Attack Detection Technique for Java Card Bytecode. |
WETICE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Surachai Thongkaew, Tsuyoshi Isshiki, Dongju Li, Hiroaki Kunieda |
Dalvik bytecode acceleration using Fetch/Decode Hardware Extension with hybrid Execution. |
APCCAS |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gilles Barthe, David Pichardie, Tamara Rezk |
A certified lightweight non-interference Java bytecode verifier. |
Math. Struct. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta |
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. |
Autom. Softw. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mark C. Reynolds |
Modeling the Java Bytecode Verifier. |
Sci. Comput. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sunghun Kim 0001, Thomas Zimmermann 0001, Rahul Premraj, Nicolas Bettenburg, Shivkumar Shivaji |
Predicting method crashes with bytecode operations. |
ISEC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hao Hao, Vicky Singh, Wenliang Du |
On the effectiveness of API-level access control using bytecode rewriting in Android. |
AsiaCCS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yudi Zheng, Lubomír Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder |
Dynamic optimization of bytecode instrumentation. |
VMIL@SPLASH |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Bandar Alshammari, Colin J. Fidge, Diane Corney |
Security Metrics for Java Bytecode Programs (S). |
SEKE |
2013 |
DBLP BibTeX RDF |
|
17 | Cheng Wang 0013, Youfeng Wu, Marcelo Cintra |
Acceldroid: Co-designed acceleration of Android bytecode. |
CGO |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Byeongho Kang, Boojoong Kang, Jungtae Kim, Eul Gyu Im |
Android malware classification method: Dalvik bytecode frequency analysis. |
RACS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu |
Mining Test Oracles for Test Inputs Generated from Java Bytecode. |
COMPSAC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nan Li 0008, Xin Meng, Jeff Offutt, Lin Deng 0001 |
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report). |
ISSRE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Marco T. Morazán |
Bytecode and Memoized Closure Performance. |
Trends in Functional Programming |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed A. Sharaf, Jie Huang, Chin-Tser Huang |
Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications. |
ICDCS Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon |
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon |
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Georg Moser, Michael Schaper |
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Songzhu Mei, Zhiying Wang 0003, Yong Cheng, Jiangchun Ren, Jiangjiang Wu, Jie Zhou |
Trusted Bytecode Virtual Machine Module: A Novel Method for Dynamic Remote Attestation in Cloud Computing. |
Int. J. Comput. Intell. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Durica Nikolic, Fausto Spoto |
Definite Expression Aliasing Analysis for Java Bytecode. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma 0001, Zhengwei Qi |
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Shuai Hao, Ding Li 0001, William G. J. Halfond, Ramesh Govindan |
Estimating Android applications' CPU energy usage via bytecode profiling. |
GREENS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Kerry A. Seitz, Mark C. Lewis |
Virtual Machine and Bytecode for Optimization on Heterogeneous Systems. |
ITNG |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Damien Octeau, Somesh Jha, Patrick D. McDaniel |
Retargeting Android applications to Java bytecode. |
SIGSOFT FSE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Martin Zabel, Thomas B. Preußer, Rainer G. Spallek |
Increasing the efficiency of an embedded multi-core bytecode processor using an object cache. |
JTRES |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Flavius Gruian, Mehmet Ali Arslan |
Java bytecode to hardware made easy with bluespec system verilog. |
JTRES |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Lukás Marek, Alex Villazón, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi |
DiSL: a domain-specific language for bytecode instrumentation. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma 0001, Zhengwei Qi, Mira Mezini |
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. |
TOOLS (50) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Zambon |
Aucsmith-Like Obfuscation of Java Bytecode. |
SCAM |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Zaremba, Yuan Lin, Vinod Grover |
JaBEE: framework for object-oriented Java bytecode compilation and execution on graphics processor units. |
GPGPU@ASPLOS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Iman Keivanloo, Chanchal K. Roy, Juergen Rilling |
Java bytecode clone detection via relaxation on code fingerprint and Semantic Web reasoning. |
IWSC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Louis Lanet |
Bytecode Verification. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov |
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini |
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine. |
PPPJ |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazón |
JP2: collecting dynamic bytecode metrics in JVMs. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Songzhu Mei, Jiangjiang Wu, Yong Cheng, Jun Ma 0015, Jiangchun Ren, Xiaoxing Li |
Trusted Bytecode Virtual Machine Module: Towards Dynamic Remote Attestation in Cloud Computing. |
IPTC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Caserta, Olivier Zendra |
A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level. |
ICOOOLPS@ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl |
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen |
WCET analysis of Java bytecode featuring common execution environments. |
JTRES |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yanchuan Li, Gordon Fraser 0001 |
Bytecode Testability Transformation. |
SSBSE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Moret, Walter Binder, Éric Tanter |
Polymorphic bytecode instrumentation. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Carsten Otto, Jürgen Giesl |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams 0001, Albert Cohen 0001, Ayal Zaks |
Speculatively vectorized bytecode. |
HiPEAC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl |
Verifiable Control Flow Policies for Java Bytecode. |
Formal Aspects in Security and Trust |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Simone Campanoni, Luca Rocchini |
Static memory management within bytecode languages on multicore systems. |
CHANGE@ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Antonella Santone |
Clone detection through process algebras and Java bytecode. |
IWSC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Martin Zabel |
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren. |
|
2011 |
RDF |
|
17 | Diana V. Ramírez-Deantes |
Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java. |
|
2011 |
RDF |
|
17 | Lennart Beringer |
Relational bytecode correlations. |
J. Log. Algebraic Methods Program. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini |
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mads Dam, Andreas Lundblad |
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Laurent Hubert |
A Non-Null Annotation Inferencer for Java Bytecode |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
17 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. |
High. Order Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Spoto, Étienne Payet |
Magic-sets for localised analysis of Java bytecode. |
High. Order Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Spoto, Fred Mesnard, Étienne Payet |
A termination analyzer for Java bytecode based on path-length. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei |
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin |
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
17 | David Aspinall 0001, Robert Atkey, Kenneth MacKenzie, Donald Sannella |
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl |
Termination Graphs for Java Bytecode. |
Verification, Induction, Termination Analysis |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Delphine Demange, Thomas P. Jensen, David Pichardie |
A Provably Correct Stackless Intermediate Representation for Java Bytecode. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Florence Charreteur, Arnaud Gotlieb |
Constraint-Based Test Input Generation for Java Bytecode. |
ISSRE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Lee 0004, Shin-Jie Lee, Hsi-Min Chen, Jeremy Liang, Chia-Ling Wu, Yao-Chiang Wang |
Activating mobile agents from contactless smart cards through a Java bytecode extractor. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Luis Quesada 0002, Fernando Berzal, Juan C. Cubero |
JSimil - A Java Bytecode Clone Detector. |
ICSOFT (2) |
2010 |
DBLP BibTeX RDF |
|
17 | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla |
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl |
Automated Termination Analysis of Java Bytecode by Term Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Corina S. Pasareanu, Neha Rungta |
Symbolic PathFinder: symbolic execution of Java bytecode. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Florence Charreteur |
Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests. |
|
2010 |
RDF |
|
17 | Sylvain Martin, Guy Leduc |
A practical bytecode interpreter for programmable routers on IXP network processors. |
Comput. Networks |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pradeep Rao, Kazuaki J. Murakami |
Identifying Processor Bottlenecks in Virtual Machine Based Execution of Java Bytecode. |
IEICE Trans. Electron. |
2009 |
DBLP DOI BibTeX RDF |
|