Record: found
Abstract: not found
Book Chapter: not found

Information and Communications Security 

BinHunt: Automatically Finding Semantic Differences in Binary Programs

other

Author(s): Debin Gao , Michael K. Reiter , Dawn Song

Publication date (Print): 2008

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 9

Record: found
Abstract: not found
Article: not found

An Algorithm for Subgraph Isomorphism

J. R. Ullmann (1976)

0 comments Cited 215 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Symbolic execution and program testing

James C King (1976)

0 comments Cited 164 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Decision Procedure for Bit-Vectors and Arrays

Vijay Ganesh, David Dill (2007)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2008

Pages: 238-255

DOI: 10.1007/978-3-540-88625-9_16

SO-VID: de820860-74c7-4303-a812-18f52ccd8900

License:

http://www.springer.com/tdm

History

Data availability:

BinHunt: Automatically Finding Semantic Differences in Binary Programs

Read this book at

Related collections

Semantic Knowledge Base

Most cited references 9

An Algorithm for Subgraph Isomorphism

Symbolic execution and program testing

A Decision Procedure for Bit-Vectors and Arrays

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,567

Cited by 13