Reverse Engineering Beta
Profile Activity
Meta user
Network profile
17,411
reputation
25
78
144

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.

profile for perror on Stack Exchange, a network of free, community-driven Q&A sites

151
answers
64
questions
~1.3m
people reached

Communities (11)

Top Meta Posts
5
4

Top network posts

Top tags (125)

Score 164
Posts 56
Posts % 26
Score 147
Posts 46
Score 107
Posts 14
Score 96
Posts 13
Score 75
Posts 26
Score 71
Posts 14
View all tags →

Top posts (215)

All Questions Answers
Votes Newest
106 What is PLT/GOT? May 3 '13
75 How are the segment registers (fs, gs, cs, ss, ds, es) used in Linux? May 4 '13
62 Where to find (free) training in reverse engineering? [closed] Mar 25 '13
55 Reversing ELF 64-bit LSB executable, x86-64 ,gdb Mar 7 '14
30 What is the meaning of movabs in gas/x86 AT&T syntax? Aug 12 '13
26 What symbol tables stay after a strip In ELF format? Jul 26 '13
24 What is a “control-flow flattening” obfuscation technique? Jun 10 '13
23 What is the most efficient way to detect and to break xor encryption? May 20 '13
23 How to deobfuscate an obfuscated javascript file like this? Jun 8 '14
23 What symbol tables stay after a strip In ELF format? Aug 14 '13
View all questions and answers →

Badges (247)

Gold

25

Rarest

Silver

78

Rarest

Bronze

144

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.