1271 search results - page 232 / 255 » On Simulation-Checking with Sequential Systems |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Compromised machines are one of the key security threats on the Internet; they are often used to launch various security attacks such as DDoS, spamming, and identity theft. In t...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Consider a communications system where the detector generates a mix of hard and soft outputs, which are then fed into a soft-input channel decoder. In such a setting, it...
NDSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
RECONFIG
2008
IEEE
14 years 2 months ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—Bloom Filters (BFs) are fundamental building blocks in various network security applications, where packets from high-speed links are processed using state-of-the-art hardwareba...