search

Spirals-Team / correctness-attraction-experiments

Open-science experimental results about correctness attraction
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
3 stars 3 forks source link

run an experiment on AES #65

Open monperrus opened 6 years ago

monperrus commented 6 years ago

I've just presented "Correctness attraction" at KTH.

@bkoepf told me that RC4 is a broken cipher, and suggest to measure correctness attraction on AES.

@danglotb motivated? from BouncyCastle?

monperrus commented 6 years ago

we already have the results for RSA: https://github.com/Spirals-Team/correctness-attraction-experiments/blob/master/results/rsa/IntegerAddOne_CallExplorer_search_space_size_1.txt

54% of correctness attraction for PONE (+1 on integer expressions).