perror
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.
1
answer
3
questions
~125
people reached
-
France
-
Member for 8 years
-
10 profile views
-
Last seen Feb 27 '19 at 16:46
Communities (11)
- Reverse Engineering 17.3k 17.3k 2525 gold badges7676 silver badges142142 bronze badges
- Stack Overflow 6.3k 6.3k 1616 gold badges5555 silver badges7272 bronze badges
- Unix & Linux 2.7k 2.7k 66 gold badges2525 silver badges4141 bronze badges
- Area 51 2.2k 2.2k 11 gold badge44 silver badges2222 bronze badges
- Information Security 753 753 11 gold badge99 silver badges2626 bronze badges
- View network profile
Top network posts
- 104 What is PLT/GOT?
- 73 How are the segment registers (fs, gs, cs, ss, ds, es) used in Linux?
- 56 Reversing ELF 64-bit LSB executable, x86-64 ,gdb
- 49 How to upgrade glibc from version 2.13 to 2.15 on Debian?
- 45 How to print __int128 in g++?
- 35 What do numbers in INPUT,FORWARD,OUTPUT chains mean in iptables config file?
- 34 Valgrind Unrecognised instruction
- View more network posts →
Top tags (4)
Score
3
Posts
1
Posts %
25
Badges (22)
Gold
—
Silver
7
Rarest
Bronze
15
Rarest
-
Jan 16 '16
-
Jan 16 '16
-
Jan 16 '16