Unix & Linux
Profile Activity
Meta user
Network profile
2,893
reputation
6
29
44

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

28
answers
8
questions
~228k
people reached

Communities (11)

Top network posts

Top tags (67)

Score 38
Posts 3
Posts % 8
Score 34
Posts 4
Score 33
Posts 4
Score 25
Posts 9
Score 11
Posts 2
Score 11
Posts 2
View all tags →

Top posts (36)

All Questions Answers
Votes Newest
35 What do numbers in INPUT,FORWARD,OUTPUT chains mean in iptables config file? Jan 7 '14
29 Where to find the logs of the services started by systemd at computer boot? Oct 21 '15
28 How to reduce the size of the initrd when compiling your kernel? Mar 17 '16
23 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 Check if no command line arguments and STDIN is empty Nov 28 '18
10 How to script make menuconfig to automate Linux kernel build configuration? Aug 23 '15
9 Building and running a ARM system image with QEMU? Sep 20 '18
8 SSE2 requirement for John The Ripper Aug 21 '15
7 How to control keyboard backlight using hotkeys Feb 6 '16
View all questions and answers →

Badges (79)

Gold

6

Rarest

Silver

29

Rarest

Bronze

44

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.