Search results for "binaries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Yanjun Wu, Tzi-cker Chiueh, Chen Zhao	Efficient and Automatic Instrumentation for Packed Binaries.	ISA	2009	DBLP DOI BibTeX RDF
70	Erez Perelman, Jeremy Lau, Harish Patil, Aamer Jaleel, Greg Hamerly, Brad Calder	Cross Binary Simulation Points.	ISPASS	2007	DBLP DOI BibTeX RDF	cross binary simulation point, SimPoint, architectural design space exploration, compiler optimization evaluation, program execution, program evaluation
68	Greg Stitt, Zhi Guo, Walid A. Najjar, Frank Vahid	Techniques for synthesizing binaries to an advanced register/memory structure.	FPGA	2005	DBLP DOI BibTeX RDF	smart buffers, FPGA, embedded systems, synthesis, decompilation, binaries
67	Ioannis Pachoulakis	3D reconstruction and visualization of astrophysical wind volumes using physical models.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	3D volume reconstruction, early type binaries, spectroscopic binaries, synthetic light curves, wind modeling, volume visualization, physical models, photometry
64	Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prithviraj Banerjee	An Overview of a Compiler for Mapping Software Binaries to Hardware.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
53	Ramakrishnan Venkitaraman, Gopal Gupta 0001	Framework for Safe Reuse of Software Binaries.	ICDCIT	2004	DBLP DOI BibTeX RDF
53	Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar	SELF: a transparent security extension for ELF binaries.	NSPW	2003	DBLP DOI BibTeX RDF
51	Greg Stitt, Frank Vahid	Binary synthesis.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Binary synthesis, synthesis from software binaries, FPGA, hardware/software codesign, hardware/software partitioning, configurable logic, warp processors
46	Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su 0001	Detecting code clones in binary executables.	ISSTA	2009	DBLP DOI BibTeX RDF	software tools, clone detection, binary analysis
46	Milenko Drinic, Darko Kirovski, Hoi Vo	Code Optimization for Code Compression.	CGO	2003	DBLP DOI BibTeX RDF
46	Per Gustafsson, Konstantinos Sagonas	Native code compilation of Erlang's bit syntax.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
45	Greg Stitt, Frank Vahid, Gordon McGregor, Brian Einloth	Hardware/software partitioning of software binaries: a case study of H.264 decode.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	FPGA, embedded systems, synthesis, H.264, hardware/software partitioning, binaries
45	Per Gustafsson, Konstantinos Sagonas	Bit-level binaries and generalized comprehensions in Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	bit-streams, Erlang, comprehensions, binaries
41	Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001	Extracting compiler provenance from program binaries.	PASTE	2010	DBLP DOI BibTeX RDF	program provenance, static binary analysis, forensics
41	Alexander Yermolovich, Andreas Gal, Michael Franz	Portable execution of legacy binaries on the Java virtual machine.	PPPJ	2008	DBLP DOI BibTeX RDF	system emulation, legacy software
41	Thomas Panas	Signature visualization of software binaries.	SOFTVIS	2008	DBLP DOI BibTeX RDF	malware visualization, binary analysis
41	Lucas Layman, Gunnar Kudrjavets, Nachiappan Nagappan	Iterative identification of fault-prone binaries using in-process metrics.	ESEM	2008	DBLP DOI BibTeX RDF	code churn, regression, statistical models, fault prediction
41	Henrik Löf, Zoran Radovic, Erik Hagersten	THROOM - Supporting POSIX Multithreaded Binaries on a Cluster.	Euro-Par	2003	DBLP DOI BibTeX RDF
35	JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis	Thread-safe dynamic binary translation using transactional memory.	HPCA	2008	DBLP DOI BibTeX RDF
35	Haibing Guan, Bo Liu 0001, Tingtao Li, Alei Liang	Multithreaded Optimizing Technique for Dynamic Binary Translator CrossBit.	CSSE (5)	2008	DBLP DOI BibTeX RDF
35	Milenko Drinic, Darko Kirovski, Hoi Vo	PPMexe: Program compression.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	prediction by partial matching, random access compression, software compression, Instruction scheduling, software distribution
35	Nachiappan Nagappan, Thomas Ball, Brendan Murphy	Using Historical In-Process and Product Metrics for Early Estimation of Software Failures.	ISSRE	2006	DBLP DOI BibTeX RDF
35	Susanta Nanda, Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	Foreign Code Detection on the Windows/X86 Platform.	ACSAC	2006	DBLP DOI BibTeX RDF
35	Jianhui Li, Peng Zhang, Orna Etzion	Module-aware translation for real-life desktop applications.	VEE	2005	DBLP DOI BibTeX RDF	dynamic loaded module, translation reuse, memory management, dynamic binary translation
35	Lian Li 0002, Jingling Xue	A trace-based binary compilation framework for energy-aware computing.	LCTES	2004	DBLP DOI BibTeX RDF	energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation
35	Sophia Drossopoulou, David Wragg, Susan Eisenbach	What is Java Binary Compatibility?	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
29	Thirumalesh Bhat, Nachiappan Nagappan	Tempest: Towards early identification of failure-prone binaries.	DSN	2008	DBLP DOI BibTeX RDF
29	Johannes Kinder, Helmut Veith	Jakstab: A Static Analysis Platform for Binaries.	CAV	2008	DBLP DOI BibTeX RDF
29	Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	Accurate Application-Specific Sandboxing for Win32/Intel Binaries.	IAS	2007	DBLP DOI BibTeX RDF
29	Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
29	Wei Li 0020, Tzi-cker Chiueh	Automated Format String Attack Prevention for Win32/X86 Binaries.	ACSAC	2007	DBLP DOI BibTeX RDF
29	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou	A type system for certified binaries.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	proof-preserving compilation, typed intermediate languages, Certified code
29	Yugo Kaneda, Hitomi Takahashi, Masato Saito, Hiroto Aida, Hideyuki Tokuda	A challenge for reusing multiplayer online games without modifying binaries.	NETGAMES	2005	DBLP DOI BibTeX RDF	middleware, reuse, client-server architecture, multiplayer online games, peer-to-peer architecture
29	Gaurav Mittal, David Zaretsky, Gokhan Memik, Prith Banerjee	Automatic extraction of function bodies from software binaries.	ASP-DAC	2005	DBLP DOI BibTeX RDF
29	Jay Nelson	A stream library using Erlang binaries.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	stream, erlang, binary, BIF
29	Ashwin Swaminathan, Yinian Mao, Min Wu 0001, Krishnan Kailas	Data Hiding in Compiled Program Binaries for Enhancing Computer System Performance.	Information Hiding	2005	DBLP DOI BibTeX RDF
29	Simon Winwood, Manuel M. T. Chakravarty	Secure Untrusted Binaries - Provably!.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
29	Bruno De Bus, Bjorn De Sutter, Ludo Van Put, Dominique Chanet, Koen De Bosschere	Link-time optimization of ARM binaries.	LCTES	2004	DBLP DOI BibTeX RDF	linker, optimization, performance, compaction
29	Rakan El-Khalil, Angelos D. Keromytis	Hydan: Hiding Information in Program Binaries.	ICICS	2004	DBLP DOI BibTeX RDF
29	Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prithviraj Banerjee	Automatic translation of software binaries onto FPGAs.	DAC	2004	DBLP DOI BibTeX RDF	compiler, reconfigurable computing, binary translation, hardware-software co-design, decompilation
29	Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou	A type system for certified binaries.	POPL	2002	DBLP DOI BibTeX RDF
29	Derek Rayside, Evan Mamas, Erik Hons	Compact Java binaries for embedded systems.	CASCON	1999	DBLP BibTeX RDF	Java
23	Byoungyoung Lee, Yuna Kim, Jong Kim 0001	binOb+: a framework for potent and stealthy binary obfuscation.	AsiaCCS	2010	DBLP DOI BibTeX RDF	binary obfuscation, stealth, windows SEH, reverse engineering, exception handling
23	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
23	Prateek Saxena, R. Sekar 0001, Varun Puranik	Efficient fine-grained binary instrumentationwith applications to taint-tracking.	CGO	2008	DBLP DOI BibTeX RDF	binary analysis/rewriting, taint tracking, information flow
23	Fanglu Guo, Peter Ferrie, Tzi-cker Chiueh	A Study of the Packer Problem and Its Solutions.	RAID	2008	DBLP DOI BibTeX RDF
23	Roberto Perdisci, Andrea Lanzi, Wenke Lee	McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables.	ACSAC	2008	DBLP DOI BibTeX RDF
23	Yang Yu, Hariharan Kolam, Lap-Chung Lam, Tzi-cker Chiueh	Applications of a feather-weight virtual machine.	VEE	2008	DBLP DOI BibTeX RDF	binary server, browser exploit, information theft, virtual machine, web crawler
23	Yoshifumi Uemura, Yoshihiro Nakajima, Mitsuhisa Sato	Direct Execution of Linux Binary on Windows for Grid RPC Workers.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Matthias Jacob, Mariusz H. Jakubowski, Ramarathnam Venkatesan	Towards integral binary execution: implementing oblivious hashing using overlapped instruction encodings.	MM&Sec	2007	DBLP DOI BibTeX RDF	anti-disassembly, oblivious hashing, overlapped code, obfuscation, tamper-resistance, integrity checking
23	Dong Ye 0004, Joydeep Ray, Christophe Harle, David R. Kaeli	Performance Characterization of SPEC CPU2006 Integer Benchmarks on x86-64 Architecture.	IISWC	2006	DBLP DOI BibTeX RDF
23	Ákos Kiss 0001, Judit Jász, Tibor Gyimóthy	Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
23	Montserrat Ros, Peter Sutton	A post-compilation register reassignment technique for improving hamming distance code compression.	CASES	2005	DBLP DOI BibTeX RDF	register reassignment, hamming distance, code compression
23	David Zaretsky, Gaurav Mittal, Robert P. Dick, Prith Banerjee	Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code.	LCPC	2005	DBLP DOI BibTeX RDF
23	Eelco Dolstra	Secure sharing between untrusted users in a transparent source/binary deployment model.	ASE	2005	DBLP DOI BibTeX RDF	hash rewriting, secure sharing, source deployment, security, configuration management, software deployment
23	Gabriel Marin, John M. Mellor-Crummey	Cross-architecture performance predictions for scientific applications using parameterized models.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	modeling, performance analysis, prediction
23	Constantinos Evangelinos, Robert Chang, Pierre F. J. Lermusiaux, Nicholas M. Patrikalakis	Rapid Real-Time Interdisciplinary Ocean Forecasting Using Adaptive Sampling and Adaptive Modeling and Legacy Codes: Component Encapsulation Using XML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
23	Ákos Kiss 0001, Judit Jász, Gábor Lehotai, Tibor Gyimóthy	Interprocedural Static Slicing of Binary Executables.	SCAM	2003	DBLP DOI BibTeX RDF
23	Milenko Drinic, Darko Kirovski	PPMexe: PPM for Compressing Software.	DCC	2002	DBLP DOI BibTeX RDF	software compression, software delivery, code optimization, PPM
23	Shih-Wei Liao, Perry H. Wang, Hong Wang 0003, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery	Post-Pass Binary Adaptation for Software-Based Speculative Precomputation.	PLDI	2002	DBLP DOI BibTeX RDF	chaining speculative precomputation, dependence reduction, long-range thread-based prefetching, loop rotation, post-pass, scheduling, prediction, slicing, speculation, triggering, pointer, slack, delay minimization
23	Lucian Codrescu, D. Scott Wills, James D. Meindl	Architecture of the Atlas Chip-Multiprocessor: Dynamically Parallelizing Irregular Applications.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Thread speculation, multiscalar, parallelization, chip-multiprocessor, multithreading, value prediction
23	Toshinori Sato, Akihiko Hamano, Kiichi Sugitani, Itsujiro Arita	Influence of Compiler Optimizations on Value Prediction.	HPCN	2001	DBLP DOI BibTeX RDF	optimization level, high-performance compilers, instruction level parallelism, value prediction, data speculation
23	Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia	Dynamo: a transparent dynamic optimization system.	PLDI	2000	DBLP DOI BibTeX RDF
23	Lucian Codrescu, D. Scott Wills	Architecture of the Atlas Chip-Multiprocessor: Dynamically Parallelizing Irregular Applications.	ICCD	1999	DBLP DOI BibTeX RDF
23	Thibault Parmentier, Danielle Ziébelin	Distributed Problem Solving Environment Dedicated to DNA Sequence Annotation.	EKAW	1999	DBLP DOI BibTeX RDF
23	Michael Golden, Trevor N. Mudge	A comparison of two pipeline organizations.	MICRO	1994	DBLP DOI BibTeX RDF	pipelines, cache memory, RISC, memory system, interlocks
18	Hohyeon Jang, Nozima Murodova, Hyungjoon Koo	ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains.	IEEE Access	2024	DBLP DOI BibTeX RDF
18	Guoqiang Chen, Xiuwei Shang, Shaoyin Cheng, Yanming Zhang, Weiming Zhang, Nenghai Yu	FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs.	CoRR	2024	DBLP DOI BibTeX RDF
18	Siyuan Li, Yongpan Wang, Chaopeng Dong, Shouguo Yang, Hong Li 0004, Hao Sun, Zhe Lang, Zuxin Chen, Weijie Wang, Hongsong Zhu, Limin Sun	LibAM: An Area Matching Framework for Detecting Third-Party Libraries in Binaries.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
18	Antonis Louka, Antreas Dionysiou, Elias Athanasopoulos	Validating Memory Safety in Rust Binaries.	EuroSec@EUROSYS	2024	DBLP DOI BibTeX RDF
18	Chaopeng Dong, Siyuan Li, Shouguo Yang, Yang Xiao 0011, Yongpan Wang, Hong Li 0004, Zhi Li 0018, Limin Sun	LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries.	ICSE	2024	DBLP DOI BibTeX RDF
18	Rui Liu, Baojiang Cui, Chen Chen 0061, Jinxin Ma	XRLFuzz: Fuzzing Binaries Guided by Format Information Based on Deep Reinforcement Learning.	EIDWT	2024	DBLP DOI BibTeX RDF
18	Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz	Polynima: Practical Hybrid Recompilation for Multithreaded Binaries.	EuroSys	2024	DBLP DOI BibTeX RDF
18	Carlos A. Benavides-Gallego, Wen-Biao Han	Gravitational Waves and Electromagnetic Radiation fromCharged Black Hole Binaries.	Symmetry	2023	DBLP DOI BibTeX RDF
18	Siyuan Li, Yongpan Wang, Chaopeng Dong, Shouguo Yang, Hong Li 0004, Hao Sun, Zhe Lang, Zuxin Chen, Weijie Wang, Hongsong Zhu, Limin Sun	LibAM: An Area Matching Framework for Detecting Third-party Libraries in Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ali Shokri 0003, Alexandre Perez, Souma Chowdhury, Chen Zeng, Gerald Kaloor, Ion Matei, Peter-Patel Schneider, Akshith Gunasekaran, Shantanu Rane	CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ying Cao, Ruigang Liang, Kai Chen 0012, Peiwei Hu	Boosting Neural Networks to Decompile Optimized Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Vidya Lakshmi Rajagopalan, Konstantinos Kleftogiorgos, Enes Göktas, Jun Xu, Georgios Portokalidis	SYSPART: Automated Temporal System Call Filtering for Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Nan Jiang 0012, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan 0001, Xiangyu Zhang 0001	Nova+: Generative Language Models for Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo, Haoyu Wang 0001, Guangtai Liang, Ding Li 0001, Xiangqun Chen, Yao Guo 0001	Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Zhiyuan Pan, Xing Hu 0008, Xin Xia 0001, Xian Zhan, David Lo 0001, Xiaohu Yang 0001	PPT4J: Patch Presence Test for Java Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jason Kim 0007, Daniel Genkin, Kevin Leach	Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ali Al-Kaswan, Toufique Ahmed, Maliheh Izadi, Anand Ashok Sawant, Premkumar T. Devanbu, Arie van Deursen	Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jannik Zeitschner, Nicolai Müller, Amir Moradi 0001	PROLEAD_SW Probing-Based Software Leakage Detection for ARM Binaries.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
18	Jannik Zeitschner, Nicolai Müller, Amir Moradi 0001	PROLEAD_SW - Probing-Based Software Leakage Detection for ARM Binaries.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
18	Yeming Gu, Hui Shu, Fei Kang	BinAIV: Semantic-enhanced vulnerability detection for Linux x86 binaries.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
18	Jian Lin 0007, Dingding Wang 0003, Rui Chang, Lei Wu 0012, Yajin Zhou, Kui Ren 0001	EnBinDiff: Identifying Data-Only Patches for Binaries.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
18	Vidya Lakshmi Rajagopalan, Konstantinos Kleftogiorgos, Enes Göktas, Jun Xu 0024, Georgios Portokalidis	SysPart: Automated Temporal System Call Filtering for Binaries.	CCS	2023	DBLP DOI BibTeX RDF
18	Jason Kim 0007, Daniel Genkin, Kevin Leach	Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries.	ICPC	2023	DBLP DOI BibTeX RDF
18	Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer	BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI.	ICST	2023	DBLP DOI BibTeX RDF
18	Luca Di Bartolomeo, Hossein Moghaddas, Mathias Payer	ARMore: Pushing Love Back Into Binaries.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Xingman Chen, Yinghao Shi, Zheyu Jiang, Yuan Li, Ruoyu Wang 0001, Haixin Duan, Haoyu Wang, Chao Zhang 0008	MTSan: A Feasible and Practical Memory Sanitizer for Fuzzing COTS Binaries.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Hui Jun Tay, Kyle Zeng, Jayakrishna Menon Vadayath, Arvind S. Raj, Audrey Dutcher, Tejesh Reddy, Wil Gibbs, Zion Leonahenahe Basque, Fangzhou Dong, Zack Smith, Adam Doupé, Tiffany Bao, Yan Shoshitaishvili, Ruoyu Wang 0001	Greenhouse: Single-Service Rehosting of Linux-Based Firmware Binaries in User-Space Emulation.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Haohuang Wen, Zhiqiang Lin	Egg Hunt in Tesla Infotainment: A First Look at Reverse Engineering of Qt Binaries.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Jiawei Huang, Hao Han, Fengyuan Xu, Bing Chen 0002	SAPPX: Securing COTS Binaries with Automatic Program Partitioning for Intel SGX.	ISSRE	2023	DBLP DOI BibTeX RDF
18	Bing Xia, Yunxiang Ge, Ruinan Yang, Jiabin Yin, Jianmin Pang, Chongjun Tang	BContext2Name: Naming Functions in Stripped Binaries with Multi-Label Learning and Neural Networks.	CSCloud/EdgeCom	2023	DBLP DOI BibTeX RDF
18	Md Sakib Anwar, Chaoshun Zuo, Carter Yagemann, Zhiqiang Lin	Extracting Threat Intelligence From Cheat Binaries For Anti-Cheating.	RAID	2023	DBLP DOI BibTeX RDF
18	Arwa Abdulkarim Al Alsadi, Kaichi Sameshima, Katsunari Yoshioka, Michel van Eeten, Carlos Hernandez Gañán	Bin there, target that: Analyzing the target selection of IoT vulnerabilities in malware binaries.	RAID	2023	DBLP DOI BibTeX RDF
18	Daniel Engel, Freek Verbeek, Binoy Ravindran	BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.	TAP	2023	DBLP DOI BibTeX RDF
18	Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo, Haoyu Wang 0001, Guangtai Liang, Ding Li 0001, Xiangqun Chen, Yao Guo 0001	Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.	ISSTA	2023	DBLP DOI BibTeX RDF