Search results for "binaries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Raghunathan Srinivasan, Partha Dasgupta, Tushar Gohad, Amiya Bhattacharya	Determining the Integrity of Application Binaries on Unsecure Legacy Machines Using Software Based Remote Attestation.	ICISS	2010	DBLP DOI BibTeX RDF
18	Daniel J. Quinlan, Cory Cohen	Discovery of C++ data structures from binaries.	CSIIRW	2010	DBLP DOI BibTeX RDF
18	Johannes Kinder, Helmut Veith	Precise static analysis of untrusted driver binaries.	FMCAD	2010	DBLP BibTeX RDF
18	Clemens Kolbitsch, Thorsten Holz, Christopher Kruegel, Engin Kirda	Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF
18	Kaan Onarlioglu, Leyla Bilge, Andrea Lanzi, Davide Balzarotti, Engin Kirda	G-Free: defeating return-oriented programming through gadget-less binaries.	ACSAC	2010	DBLP DOI BibTeX RDF
18	Scott Sirowy	Emulation of SystemC Applications for Portable FPGA Binaries.		2010	RDF
18	Alexandre Keunecke Ignácio Mendonça, Daniel P. Volpato, José Luís Almada Güntzel, Luiz C. V. dos Santos	Mapping Data and Code into Scratchpads from Relocatable Binaries.	ISVLSI	2009	DBLP DOI BibTeX RDF
18	Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, Gregg M. Townsend	Automatic Static Unpacking of Malware Binaries.	WCRE	2009	DBLP DOI BibTeX RDF
18	Trevor Hansen, Peter Schachte, Harald Søndergaard	State Joining and Splitting for the Symbolic Execution of Binaries.	RV	2009	DBLP DOI BibTeX RDF
18	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
18	Frank Vahid, Greg Stitt, Roman L. Lysecky	Warp Processing: Dynamic Translation of Binaries to FPGA Circuits.	Computer	2008	DBLP DOI BibTeX RDF
18	Lionel Litty, H. Andrés Lagar-Cavilla, David Lie	Hypervisor Support for Identifying Covertly Executing Binaries.	USENIX Security Symposium	2008	DBLP BibTeX RDF
18	Glenn Wurster, Paul C. van Oorschot	Self-Signed Executables: Restricting Replacement of Program Binaries by Malware.	HotSec	2007	DBLP BibTeX RDF
18	Sean McIlwain, Barton P. Miller	A tool for converting Linux device drivers into Solaris compatible binaries.	Softw. Pract. Exp.	2006	DBLP DOI BibTeX RDF
18	Arun Lakhotia, Eric Uday Kumar, Michael Venable	A Method for Detecting Obfuscated Calls in Malicious Binaries.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Invasive software (viruses, worms), abstract stack, validation, program analysis, obfuscation
18	Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh	String analysis for x86 binaries.	PASTE	2005	DBLP DOI BibTeX RDF
18	Marco Slaviero, Jaco Kroon, Martin S. Olivier	Attacking Signed Binaries.	ISSA	2005	DBLP BibTeX RDF
18	Stacey Shogan, Bruce R. Childers	Compact Binaries with Code Compression in a Software Dynamic Translator.	DATE	2004	DBLP DOI BibTeX RDF
18	Christopher Krügel, William K. Robertson, Fredrik Valeur, Giovanni Vigna	Static Disassembly of Obfuscated Binaries.	USENIX Security Symposium	2004	DBLP BibTeX RDF
18	Bertrand Anckaert, Frederik Vandeputte, Bruno De Bus, Bjorn De Sutter, Koen De Bosschere	Link-Time Optimization of IA64 Binaries.	Euro-Par	2004	DBLP DOI BibTeX RDF
18	Axelle Apvrille, David Gordon, Serge E. Hallyn, Makan Pourzandi, Vincent Roy	DigSig: Runtime Authentication of Binaries at Kernel Level.	LISA	2004	DBLP BibTeX RDF
18	Arun Lakhotia, Eric Uday Kumar	Abstracting Stack to Detect Obfuscated Calls in Binaries.	SCAM	2004	DBLP DOI BibTeX RDF
18	Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. Serrano, Manish Gupta 0002	Efficiently Adapting Java Binaries in Limited Memory Contexts.	Int. J. Parallel Program.	2002	DBLP DOI BibTeX RDF
18	Greg Stitt, Frank Vahid	Hardware/software partitioning of software binaries.	ICCAD	2002	DBLP DOI BibTeX RDF	FPGA, low power, C++, C, synthesis, codesign, hardware/software partitioning, binary translation, decompilation, assembly language
18	Enrico Ghillino, Carlo Garetto, Michele Goano, Giovanni Ghione, Enrico Bellotti, Kevin F. Brennan	Simplex Algorithm for Band Structure Calculation of Noncubic Symmetry Semiconductors: Application to III-nitride Binaries and Alloys.	VLSI Design	2001	DBLP DOI BibTeX RDF
18	Henrik Theiling	Generating Decision Trees for Decoding Binaries.	LCTES/OM	2001	DBLP DOI BibTeX RDF
18	Henrik Theiling	Generating Decision Trees for Decoding Binaries.	OM@PLDI	2001	DBLP DOI BibTeX RDF
18	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
18	Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, P. Keyngnaert, Bart Demoen	On the Static Analysis of Indirect Control Transfers in Binaries.	PDPTA	2000	DBLP BibTeX RDF
18	Mira Mezini, Jens Uwe Pipka, Thorsten Dittmar, Wim Boot	Detecting Evolution Incompatibilities by Analyzing Java Binaries.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
18	Venkata Krishnan, Josep Torrellas	Hardware and Software Support for Speculative Execution of Sequential Binaries on a Chip-multiprocessor.	International Conference on Supercomputing	1998	DBLP DOI BibTeX RDF
18	Michael Franz, Thomas Kistler	Slim Binaries.	Commun. ACM	1997	DBLP DOI BibTeX RDF
18	Michelle Rodino	Breaking out of Binaries: Reconceptualizing Gender and its Relationship to Languagein Computer-Mediated Communication.	J. Comput. Mediat. Commun.	1997	DBLP DOI BibTeX RDF
18	Steve C. McMahan, Mark Bluhm, Raul Garibay	6×86: the Cyrix solution to executing ×86 binaries on a high performance microprocessor.	Proc. IEEE	1995	DBLP DOI BibTeX RDF
18	Norman B. Saunders	Magnetic binaries in the logical design of information handling machines.	ACM National Meeting (Pittsburgh)	1952	DBLP DOI BibTeX RDF
12	Asia Slowinska, Traian Stancescu, Herbert Bos	DDE: dynamic data structure excavation.	ApSys	2010	DBLP DOI BibTeX RDF	detecting data structures, dynamic analysis, binary
12	Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma	PRISM: platform for remote sensing using smartphones.	MobiSys	2010	DBLP DOI BibTeX RDF	mobile sandbox, opportunistic sensing, smart phones, mobile platform, participatory sensing
12	Blair Foster, Anil Somayaji	Object-level recombination of commodity applications.	GECCO	2010	DBLP DOI BibTeX RDF	commodity programs, object-level recombination, objrecombga, software recombination, genetic algorithms, genetic programming
12	Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath	Comprehending module dependencies and sharing.	ICSE (2)	2010	DBLP DOI BibTeX RDF	visualization, dependency graph, shared library
12	Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha	Brief announcement: serial-parallel reciprocity in dynamic multithreaded languages.	SPAA	2010	DBLP DOI BibTeX RDF	dynamic multithreading, intel threading building blocks, serial-parallel reciprocity, scheduling, work stealing, cilk
12	Dirk Koch, Christian Beckhoff, Jürgen Teich	Hardware Decompression Techniques for FPGA-Based Embedded Systems.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	reconfigurable computing, configuration, Bitstream
12	Yoann Guillot, Alexandre Gazet	Semi-automatic binary protection tampering.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
12	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
12	Alex Shye, Joseph Blomstedt, Tipp Moseley, Vijay Janapa Reddi, Daniel A. Connors	PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures.	IEEE Trans. Dependable Secur. Comput.	2009	DBLP DOI BibTeX RDF
12	Jongeun Lee, Aviral Shrivastava	A compiler optimization to reduce soft errors in register files.	LCTES	2009	DBLP DOI BibTeX RDF	architectural vulnerability factor, link-time optimization, embedded system, compilation, static analysis, soft error, register file
12	Lucas Davi, Ahmad-Reza Sadeghi, Marcel Winandy	Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks.	STC	2009	DBLP DOI BibTeX RDF	attestation systems, integrity monitoring, return-oriented programming
12	Arjun Dasgupta, Vivek R. Narasayya, Manoj Syamala	A Static Analysis Framework for Database Applications.	ICDE	2009	DBLP DOI BibTeX RDF
12	Gaurav Mittal, David Zaretsky, Prithviraj Banerjee	Streaming implementation of a sequential decompression algorithm on an FPGA.	FPGA	2009	DBLP DOI BibTeX RDF	fix., fpga, system-on-chip, binary translation, hardware-software co-design, streaming architecture
12	Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot	Automatic instrumentation of embedded software for high level hardware/software co-simulation.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Shuo Guo, Yu Gu 0001, Bo Jiang, Tian He 0001	Opportunistic flooding in low-duty-cycle wireless sensor networks with unreliable links.	MobiCom	2009	DBLP DOI BibTeX RDF	low duty cycle networks, wireless sensor networks, flooding
12	Jeff Ringenberg, Trevor N. Mudge	SuiteSpecks and SuiteSpots: A methodology for the automatic conversion of benchmarking programs into intrinsically checkpointed assembly code.	ISPASS	2009	DBLP DOI BibTeX RDF
12	Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah	Backward-compatible constant-time exception-protected memory.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
12	Brian W. DeVries, Gopal Gupta 0001, Kevin W. Hamlen, Scott Moore, Meera Sridhar	ActionScript bytecode verification with co-logic programming.	PLAS	2009	DBLP DOI BibTeX RDF	ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification
12	James Newsome, Stephen McCamant, Dawn Song	Measuring channel capacity to distinguish undue influence.	PLAS	2009	DBLP DOI BibTeX RDF	model counting, quantitative information flow, channel capacity
12	Jeff H. Perkins, Sunghun Kim 0001, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard	Automatically patching errors in deployed software.	SOSP	2009	DBLP DOI BibTeX RDF	self healing
12	Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Hucheng Zhou, Chinyen Chou, Chia-Heng Tu	Prefetch optimizations on large-scale applications via parameter value prediction.	ICS	2009	DBLP DOI BibTeX RDF	data center applications, machine learning
12	Kapil Anand, Rajeev Barua	Instruction cache locking inside a binary rewriter.	CASES	2009	DBLP DOI BibTeX RDF	cache locking, embedded systems, caches, binary rewriting
12	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
12	Manuel Werlberger, Thomas Pock, Markus Unger, Horst Bischof	A Variational Model for Interactive Shape Prior Segmentation and Real-Time Tracking.	SSVM	2009	DBLP DOI BibTeX RDF
12	Monirul Islam Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee	Automatic Reverse Engineering of Malware Emulators.	SP	2009	DBLP DOI BibTeX RDF
12	Asia Slowinska, Herbert Bos	Pointless tainting?: evaluating the practicality of pointer tainting.	EuroSys	2009	DBLP DOI BibTeX RDF	dynamic taint analysis, pointer tainting
12	Thomas Zimmermann 0001	Changes and bugs - Mining and predicting development activities.	ICSM	2009	DBLP DOI BibTeX RDF
12	David K. Tam, Reza Azimi, Livio Soares, Michael Stumm	RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations.	ASPLOS	2009	DBLP DOI BibTeX RDF	miss rate curve, performance monitoring unit, shared cache management, chip multiprocessor, dynamic optimization, multicore processor, shared cache, cache management, cache partitioning, hardware performance counters, online optimization
12	Manuel Costa, Jon Crowcroft, Miguel Castro 0001, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001	Vigilante: End-to-end containment of Internet worm epidemics.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
12	Fredrik Warg, Per Stenström	Dual-thread Speculation: A Simple Approach to Uncover Thread-level Parallelism on a Simultaneous Multithreaded Processor.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Computer architecture, Chip multiprocessors, Thread-level speculation, Thread-level parallelism, Simultaneous multithreading
12	Stanley J. Barr, Samuel J. Cardman, David M. Martin	A boosting ensemble for the recognition of code sharing in malware.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
12	Olaf Landsiedel, Muhammad Hamad Alizai, Klaus Wehrle	When Timing Matters: Enabling Time Accurate and Scalable Simulation of Sensor Network Applications.	IPSN	2008	DBLP DOI BibTeX RDF
12	Vijaykumar Channakeshava, Vivek K. Shanbhag, Avinash Panigrahi, Rajendra Sisodia, Sala Lakshmanan	Safe subset-regression test selection for managed code.	ISEC	2008	DBLP DOI BibTeX RDF	software maintanance, change impact analysis, regression test selection
12	Kevin R. B. Butler, Stephen E. McLaughlin, Patrick D. McDaniel	Rootkit-resistant disks.	CCS	2008	DBLP DOI BibTeX RDF	security, storage, labels, rootkits
12	Dirk Beyer 0001, Damien Zufferey, Rupak Majumdar	CSIsat: Interpolation for LA+EUF.	CAV	2008	DBLP DOI BibTeX RDF
12	Tong Chen 0001, Tao Zhang, Zehra Sura, Marc González Tallada	Prefetching irregular references for software cache on cell.	CGO	2008	DBLP DOI BibTeX RDF	prefetch, DMA, software cache
12	Gunar Schirner, Andreas Gerstlauer, Rainer Dömer	Automatic generation of hardware dependent software for MPSoCs from abstract system specifications.	ASP-DAC	2008	DBLP DOI BibTeX RDF
12	Gabriel Marin, John M. Mellor-Crummey	Pinpointing and Exploiting Opportunities for Enhancing Data Reuse.	ISPASS	2008	DBLP DOI BibTeX RDF
12	Yu Guo, Krzysztof Sierszecki, Christo Angelov	A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	embedded systems, reconfiguration, function blocks
12	Wenrui Dai, Hongkai Xiong, Li Song 0001	On Non-sequential Context Modeling with Application to Executable Data Compression.	DCC	2008	DBLP DOI BibTeX RDF	Sequential context modeling, Prediction by Partial Match, data compression, MDL, maximum a posteriori
12	Martin Pinzger 0001, Nachiappan Nagappan, Brendan Murphy	Can developer-module networks predict failures?	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	developer contribution network, network centrality measures, social network analysis, failure prediction
12	Masoom Alam, Xinwen Zhang, Mohammad Nauman, Tamleek Ali, Jean-Pierre Seifert	Model-based behavioral attestation.	SACMAT	2008	DBLP DOI BibTeX RDF	behavioral attestation, highlevel framework, remote attestation, UCON
12	Anjaneyulu Pasala, Yannick L. H. Lew Yaw Fung, Fady Akladios, Ravi Prakash Gorthi	An approach to select regression tests to validate .NET applications upon deployment of components upgrades.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	components upgrades, software maintenance, change impact analysis, regression test selection
12	Thomas F. Wenisch, Michael Ferdman, Anastasia Ailamaki, Babak Falsafi, Andreas Moshovos	Temporal streams in commercial server applications.	IISWC	2008	DBLP DOI BibTeX RDF
12	Monirul Islam Sharif, Vinod Yegneswaran, Hassen Saïdi, Phillip A. Porras, Wenke Lee	Eureka: A Framework for Enabling Static Malware Analysis.	ESORICS	2008	DBLP DOI BibTeX RDF
12	Thomas Zimmermann 0001, Nachiappan Nagappan	Predicting defects using network analysis on dependency graphs.	ICSE	2008	DBLP DOI BibTeX RDF	windows server 2003, network analysis, dependency graph, defect prediction
12	Nachiappan Nagappan, Brendan Murphy, Victor R. Basili	The influence of organizational structure on software quality: an empirical case study.	ICSE	2008	DBLP DOI BibTeX RDF	code churn, software mining, empirical studies, developers, failures, organizational structure
12	Sanmin Liu, Hai Jin 0001, Xiaofei Liao, Hong Yao, Deze Zeng	TCPBridge: A software approach to establish direct communications for NAT hosts.	AICCSA	2008	DBLP DOI BibTeX RDF
12	Roy Levin, Ilan Newman, Gadi Haber	Complementing Missing and Inaccurate Profiling Using a Minimum Cost Circulation Algorithm.	HiPEAC	2008	DBLP DOI BibTeX RDF	Circulations, Real-time, Sampling, Profiling, Control Flow, Flow network
12	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
12	Nathan E. Rosenblum, Gregory Cooksey, Barton P. Miller	Virtual machine-provided context sensitive page mappings.	VEE	2008	DBLP DOI BibTeX RDF	context sensitive memory, self checksumming code, virtual machine monitor, xen
12	Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter	Policy enforcement and compliance proofs for Xen virtual machines.	VEE	2008	DBLP DOI BibTeX RDF	virtual machines, trusted computing, integrity management
12	Yougang Song, Brett D. Fleisch	Utilizing Binary Rewriting for Improving End-Host Security.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Performance Evaluation, Web Servers, Traffic Analysis, Security and Protection, Binary Rewriting
12	Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Joseph Blomstedt, Daniel A. Connors	Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance.	DSN	2007	DBLP DOI BibTeX RDF
12	Juan Caballero, Heng Yin 0001, Zhenkai Liang, Dawn Xiaodong Song	Polyglot: automatic extraction of protocol message format using dynamic binary analysis.	CCS	2007	DBLP DOI BibTeX RDF	protocol reverse engineering, binary analysis
12	Kussay Nugamesh Mutter, Mohd. Zubir Mat Jafri, Azlan Bin Abdul Aziz	Change detection, Remote sensing image, Saliency map, Visual saliency model.	CGIV	2007	DBLP DOI BibTeX RDF
12	Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen	Graph-Based Procedural Abstraction.	CGO	2007	DBLP DOI BibTeX RDF
12	Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph	Microarchitecture Sensitive Empirical Models for Compiler Optimizations.	CGO	2007	DBLP DOI BibTeX RDF
12	Lungpin Yeh, Juei-Ting Sun, Sheng-Kai Hung, Yarsun Hsu	A Windows-Based Parallel File System.	HPCC	2007	DBLP DOI BibTeX RDF
12	Martin Rehr, Brian Vinter	The One-Click Grid-Resource Model.	HPCC	2007	DBLP DOI BibTeX RDF
12	Stefan Monnier	The swiss coercion.	PLPV	2007	DBLP DOI BibTeX RDF	type based security, formal methods, compilation, coercions
12	Cheng Wang 0013, Shiliang Hu, Ho-Seop Kim, Sreekumar R. Nair, Maurício Breternitz Jr., Zhiwei Ying, Youfeng Wu	StarDBT: An Efficient Multi-platform Dynamic Binary Translation System.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF	performance evaluation, Dynamic binary translation
12	Jan Goebel, Thorsten Holz, Carsten Willems	Measurement and Analysis of Autonomous Spreading Malware in a University Environment.	DIMVA	2007	DBLP DOI BibTeX RDF	Malware, Honeypots, Invasive Software
12	Luís Veiga, Rodrigo Rodrigues 0001, Paulo Ferreira 0001	GiGi: An Ocean of Gridlets on a "Grid-for-the-Masses".	CCGRID	2007	DBLP DOI BibTeX RDF
12	Michael Dalton, Hari Kannan, Christos Kozyrakis	Raksha: a flexible information flow architecture for software security.	ISCA	2007	DBLP DOI BibTeX RDF	semantic vulnerabilities, dynamic, software security