Unix & Linux
Meta user
Network profile
1,995
reputation
5
21
38

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

27
answers
8
questions
~141k
people reached

Communities (11)

Top network posts

Top tags (65)

Score 21
Posts 9
Posts % 26
Score 21
Posts 4
Score 20
Posts 4
Score 20
Posts 3
Score 9
Posts 2
Score 8
Posts 4
View all tags →

Top posts (35) All Questions Answers | Votes Newest

33 What do numbers in INPUT,FORWARD,OUTPUT chains mean in iptables config file? Jan 7 '14
22 Where to find the logs of the services started by systemd at computer boot? Oct 21 '15
14 How to reduce the size of the initrd when compiling your kernel? Mar 17 '16
12 split a string into path and application Jan 12 '16
11 How to reduce the size of the initrd when compiling your kernel? Mar 17 '16
8 SSE2 requirement for John The Ripper Aug 21 '15
6 How to script make menuconfig to automate Linux kernel build configuration? Aug 23 '15
5 C compiler cannot create executables when installing h4toh5 on debian Aug 15 '15
5 lvmetad is not active yet, using direct activation during sysinit Mar 17 '16
5 Building and running a ARM system image with QEMU? Sep 20 '18
View all questions and answers →

Badges (64)

Gold

5

Rarest

Silver

21

Rarest

Bronze

38

Rarest

View all badges →