824 followers
@MonniauxD Il y a ce super papier qui fait la collection de protocoles "prouvés" mais "craqués" plus tard (de Needham, celui du protocole). https://t.co/k1WTIPD3ZE
824 followers
@Timeo_Danaos @pbeyssac Même ici je doute qu'un le tenir moyen ait une idée de ce qu'est une bisimulation et de comment on prouve des propriétés de non-interférence (sous quelles hypothèses etc.). Pour le côté crypto prouvée-qui-en fait-était-fausse il y
655 followers
@MonniauxD @didier_schwab Oui il y a le classique papier d'Anderson et Schroeder : https://t.co/kkejhfJFfC
655 followers
@achambertloir @vardi @chtruchet @VICE I thought of cryptography because it is a field in which a lot of proofs were proven wrong. The controversy around the random oracle model for instance. But I agree it is slightly different (bad assumptions). There is