Sign in
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis.
Pu Sun
Fu Song
Yuqi Chen
Taolue Chen
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
security analysis
block cipher
secret key
smart card
s box
public key
elliptic curve cryptography
encryption scheme
hash functions
high security
public key cryptography
security requirements
user authentication
image encryption
information security
encryption algorithm
similarity search
high dimensional