141 search results - page 29 / 29 » A type system for certified binaries |
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...