Unix & Linux
Profile Activity
Meta user
Network profile
2,503
reputation
5
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
~185k
people reached

Communities (11)

Top network posts

Top tags (67)

Score 27
Posts 3
Posts % 8
Score 26
Posts 4
Score 25
Posts 4
Score 21
Posts 9
Score 9
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
26 Where to find the logs of the services started by systemd at computer boot? Oct 21 '15
19 How to reduce the size of the initrd when compiling your kernel? Mar 17 '16
15 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
8 SSE2 requirement for John The Ripper Aug 21 '15
8 How to script make menuconfig to automate Linux kernel build configuration? Aug 23 '15
6 Set bindings in i3 to control keyboard backlight Feb 6 '16
6 Check if no command line arguments and STDIN is empty Nov 28 '18
5 How to control keyboard backlight using hotkeys Feb 6 '16
View all questions and answers →

Badges (71)

Gold

5

Rarest

Silver

25

Rarest

Bronze

41

Rarest

View all badges →