Reverse Engineering Beta
Profile Activity
Meta user
Network profile
17,321
reputation
25
77
143

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 161
Posts 56
Posts % 26
Score 144
Posts 46
Score 108
Posts 14
Score 97
Posts 13
Score 74
Posts 26
Score 70
Posts 14
View all tags →

Top posts (215)

All Questions Answers
Votes Newest
105 What is PLT/GOT? May 3 '13
74 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
56 Reversing ELF 64-bit LSB executable, x86-64 ,gdb Mar 7 '14
29 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 What symbol tables stay after a strip In ELF format? Aug 14 '13
23 Can I create an object file using gcc that cannot be reverse engineered? Mar 20 '13
View all questions and answers →

Badges (245)

Gold

25

Rarest

Silver

77

Rarest

Bronze

143

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.