Discussione di tesi

PhD Thesis Defense - Systems Science

Toward Behavioral Software Security: Bridging the Gap between the Theoretical Strengths of Formal Methods and the Practical Needs of Real-World Binary Analysis

Advisor: Prof. Gabriele Costa, Scuola IMT Alti Studi Lucca

Graduation Committee:
Prof. Chiara Bodei, Università di Pisa
Prof. Frank Piessens, KU Leuven University
Prof. Letterio Galletta, Scuola IMT Alti Studi Lucca
 

Online, join at: PhD Thesis Defence - Silvia De Francisci

 

Speakers

  • Silvia De Francisci (Systems Science - Computer Science and Systems Engineering - XXXVI)