Back to Results
First PageMeta Content
Predicate transformer semantics / Program logic / KeY / IP / NP / Symbolic execution / PP / Algorithm / Function / 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: 2014-05-29 15:38:01

Open Document

File Size: 175,54 KB

Share Result on Facebook

City

Alexandria / Oakland / /

Company

COMPUTER COMMUNICATION NETWORKS / Compaq / /

Country

United States / /

Currency

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 / observer / and verifier / ABSTRACT General / straight-forward / Forward / King / /

Product

We / Valgrind / Replayer / Our solution / /

ProgrammingLanguage

C++ / /

ProvinceOrState

Virginia / /

PublishedMedium

IEEE Transactions on Software Engineering / IEEE Transactions on Computers / /

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