: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
The success of mobile text messaging poses many questions for usability studies. Considering the inherent usability weaknesses of mobile phones such as the small display, poor inp...
Online banking has become increasingly important to the profitability of financial institutions as well as adding convenience for their customers. As the number of customers using...
Kenneth S. Edge, Richard A. Raines, Michael R. Gri...
Content-dependent watermarking (CDWM) has been proposed as a solution to overcome the potential estimation attack aiming to recover and remove the watermark from the host signal. ...
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...