07 Nov 2023
Paper accepted at POPL’24
We are happy to announce that our paper about EasyBC, a cryptography-specific language for security analysis of block ciphers against differential cryptanalysis, has been accepted at POPL’24.
We are happy to announce that our paper about EasyBC, a cryptography-specific language for security analysis of block ciphers against differential cryptanalysis, has been accepted at POPL’24.