The rubric "Downloads" is no longer maintained on this website. For downloads of software related to cryptography, like cryptographic pairings over BN curves, implementations of AES and LEX or the the HECTOR BAT please have a look in the crypto section.
Other downloads can still be found in the misc section.