Popular repositories Loading

1. MIRACL MIRACL Public

   Forked from miracl/MIRACL

   MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for…

   C

2. AVISPA_demo AVISPA_demo Public

   This contains the implementation files for the AVISPA simulator used in the paper.