Login / Signup
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
Nadim Kobeissi
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
learning activities
cryptographic protocols
higher education
student learning
learning environment
peer to peer
collaborative learning
statistically significant
distance learning
tutoring system
programming course
descriptive statistics