Data.SBV.Examples.Crypto.RC4

Types

type S

initS

type Key

type RC4

The PRGA

swap

prga

Key schedule

initRC4

keySchedule

keyScheduleString

Encryption and Decryption

encrypt

decrypt

Verification

rc4IsCorrect