5 citations · 19 across the 16 of their papers we have counts for
1 paper · 1 filter
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
We introduce CryptoBap, a platform to verify weak secrecy and authentication for the (ARMv8 and RISC-V) machine code of cryptographic protocols. We achieve this by first transpilin…