PROGRAM FOR TUESDAY, JULY 5TH: TALK VIEW
View: with abstractssession overview
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
10:30-11:00 Coffee Break
11:00-12:30
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo
11:00-12:30
Yutaka Nagashima
12:30-14:00 Lunch Break
14:00-15:30
Daniela Kaufmann, Armin Biere
14:00-15:30
A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes
Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari
14:00-15:30
Diego Marmsoler, Achim D. Brucker
15:30-16:00 Closing and Coffee Break