Unix & Linux
Profile Activity
Meta user
Network profile
2,693
reputation
6
25
41

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
~205k
people reached

Communities (11)

Top network posts

Top tags (67)

Score 30
Posts 3
Posts % 8
Score 28
Posts 4
Score 27
Posts 4
Score 24
Posts 9
Score 10
Posts 2
Score 9
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
27 Where to find the logs of the services started by systemd at computer boot? Oct 21 '15
21 How to reduce the size of the initrd when compiling your kernel? Mar 17 '16
19 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
9 How to script make menuconfig to automate Linux kernel build configuration? Aug 23 '15
8 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
7 Check if no command line arguments and STDIN is empty Nov 28 '18
View all questions and answers →

Badges (72)

Gold

6

Rarest

Silver

25

Rarest

Bronze

41

Rarest

View all badges →