ABSTRACT
The previous two chapters focused on the RC4 KSA. In this chapter, we present a detailed analysis of the keystream generation component PRGA of RC4.
Certain impossible states of RC4 PRGA were discovered by Finney [50]. We begin the chapter with a discussion on these states in Section 5.1. Next, in Section 5.2, we discuss Glimpse Theorem [78,108], a very important result about the leakage of state information in keystream.
