Automatic Analysis of the NRL Pump
Ruggero Lanotte, Andrea Maggiolo–Schettini, Simone Tini, Angelo Troina, Enrico Tronci · Electronic Notes in Theoretical Computer Science · 2004
We define a probabilistic model for the NRL Pump and using FHP-murφ show experimentally that there exists a probabilistic covert channel whose capacity depends on various NRL Pump parameters (e.g. buffer size, number of samples in the moving average, etc)