I seem to be missing the details on the cryptographic constructions here. Can anyone point to the specification i.e. what ciphers, signature systems, etc. are

I seem to be missing the details on the cryptographic constructions here. Can anyone point to the specification i.e. what ciphers, signature systems, etc. are being used, and how they are being used? Also, they seem to be saying that they are secure against passive eavesdroppers. We absolutely must be thinking in terms of active attackers in this day and age.