141 reputation
118
bio website labri.fr/~fleury
location France
age
visits member for 1 year, 6 months
seen Nov 7 at 16:44

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.


Aug
12
revised Entropy of two concatenated random values
Better highlight of the quote
Aug
12
suggested suggested edit on Entropy of two concatenated random values
Jun
4
revised Is there an oblivious decryption scheme?
Spellchecking and math mode
Jun
4
suggested suggested 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 suggested edit on Merkle Signature Generation
Jul
9
suggested suggested 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
May
15
awarded  Informed
May
12
awarded  Autobiographer