34 search results - page 1 / 7 » Replayer: automatic protocol replay by binary analysis |
CCS
2006
ACM
13 years 8 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
The automatic extraction of sports video highlights is a typical kind of personalized media production process. Many ways have been studied from the viewpoints of lowlevel audio/v...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
ASWEC
2006
IEEE
13 years 10 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...