146 reputation
118
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 10 months
seen Mar 13 at 7:42

I hold a position of associate professor in the group Model & Verification in the team Formal Methods within the LaBRI at the University of Bordeaux (France).

I am interested in many topics about 'formal methods', 'program analysis' and 'software verification' (model-checking, abstract interpretation, theorem provers, ...). I am currently very interested in binary program analysis and in its applications to computer security.


Feb
18
comment Is cryptanalysis of CTB-Locker really impossible?
I didn't mean "breaking ECC" or "breaking AES", I was more thinking about an error in the way the things have been arranged to build the whole encryption scheme or specificities that are linked to the very peculiar way the encryption is used here. For example, if you have a partial back-up of your file, you will have access to a reasonable quantity of cleartext/ciphertext couple that you may use. Or, is there a flaw in the entropy of the chosen keys... But, of course, I believe in the security of ECC and AES... I am not that naive !
Feb
18
asked Is cryptanalysis of CTB-Locker really impossible?
Aug
12
revised Entropy of two concatenated random values
Better highlight of the quote
Aug
12
suggested approved edit on Entropy of two concatenated random values
Jun
4
revised Is there an oblivious decryption scheme?
Spellchecking and math mode
Jun
4
suggested approved edit on Is there an oblivious decryption scheme?
Feb
1
awarded  Fanatic
Nov
23
awarded  Enthusiast
Jul
9
revised Merkle Signature Generation
Improved grammar and syntax
Jul
9
revised Creating a PKCS#12 file where public key doesn't match the private key
Better usage of the wiki syntax
Jul
9
suggested approved edit on Merkle Signature Generation
Jul
9
suggested approved edit on Creating a PKCS#12 file where public key doesn't match the private key
Jul
9
awarded  Custodian
Jun
3
awarded  Scholar
Jun
3
accepted Can somebody explain the major contributions of the tenants of the Gödel Prize 2013?
Jun
3
awarded  Editor
Jun
3
revised Can somebody explain the major contributions of the tenants of the Gödel Prize 2013?
deleted 7 characters in body
Jun
3
awarded  Student
Jun
3
asked Can somebody explain the major contributions of the tenants of the Gödel Prize 2013?
May
15
awarded  Analytical