Back to Results
First PageMeta Content
Predicate transformer semantics / Program logic / KeY / IP / Function / Algorithm / NP / Symbolic execution / Communications protocol / Theoretical computer science / Mathematics / Applied mathematics


Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,
Add to Reading List

Document Date: 2013-03-28 20:19:28

Open Document

File Size: 252,17 KB

Share Result on Facebook

City

Alexandria / Oakland / /

Company

COMPUTER COMMUNICATION NETWORKS / Compaq / /

Country

United States / /

Currency

pence / USD / /

/

Event

FDA Phase / /

Facility

Oak Ridge Institute / Prentice Hall / Dawn Song∗ Carnegie Mellon University / /

IndustryTerm

session-specific protocol / observed software vulnerabilities / software versions / replay applications / sound solution / generic protocol replay tool / dynamic binary rewriting tool / formal and general solution / replay tools / configuration-specific protocol / non-trivial network protocols / possible network protocol / particular protocol / non-state-dependent protocol / sum-of-products / iterative greedy algorithm / /

OperatingSystem

Linux / Ubuntu / /

Organization

U.S Department of Energy / National Science Foundation / Oak Ridge Institute for Science and Education / U.S. Department of Homeland Security / Dawn Song∗ Carnegie Mellon University Pittsburgh / Computer Systems Organization / /

Person

Yu-Chung Cheng / Dawn Song / Geoffrey M. Voelker / Eric Li / Samuel T. King / Neal Cardwell / Vijay Ganesh / George W. Dunlap / Murtaza Basrai / Cristian Cadar / Jason Franklin / Stefan Savage / Randy H. Katz / James Newsome / Urs Hoelzle / Sukru Cinar / Nicholas C. Weaver / David Dill / David Gries / Peter M. Chen / David Brumley / Seth Copen Goldstein / Weidong Cui / Ivan Jager / Vern Paxson / /

Position

editor / state extractor / author / Replay Engine State Extractor / ABSTRACT General / straight-forward / King / /

Product

We / Valgrind / Replayer / our / /

ProgrammingLanguage

C++ / /

ProvinceOrState

Virginia / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

RAM / Linux / updating session-specific protocol / machine learning / non-trivial network protocols / scheduling algorithm / application protocol / Operating Systems / non-state-dependent protocol / text-based protocol / reverse DNS lookup / particular protocol / updating configuration-specific protocol / possible network protocol / same protocol / iterative greedy algorithm / /

URL

http /

SocialTag