BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20161030T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20170326T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.7482.field_data.0@www.diag.uniroma1.it
DTSTAMP:20260413T221230Z
CREATED:20170110T092543Z
DESCRIPTION:The talk concerns the design of code protecting transformations
  for anti reverse engineering applications. These technologies are widely 
 used in code protection (e.g.\, IP protection or key protection)\, malware
  design\, anti tampering\, code watermarking and birth-marking of code. Th
 e battle scenario involves attackers intended to extract information by re
 verse engineering the code\, and protecting code transformations modeled a
 s distorted compilers devoted to inhibit these attacks. Attacks are inhibi
 ted by maximizing imprecision in all approximate computations made by the 
 attacker. We introduce a model for code obfuscation which is general enoug
 h to include generic static and dynamic attacks. Protecting transformation
 s are systematically and formally derived as distorted compilers\, by spec
 ializing a distorted interpreter for the programming language with respect
  to the source code to protect. Interestingly this distortion corresponds 
 precisely to defeat the potency of the expected attacker\, which consists 
 in its ability to extract a complete and precise view of program's executi
 on. Short Bio:Roberto Giacobazzi  received the Laurea degree in Computer S
 cience in 1988 from the University of Pisa\, and in 1993 he received the P
 h.D. in Computer Science from the same university\, with a Ph.D. thesis on
  Semantic aspects of logic program analysis\, under the supervision of Pro
 f. Giorgio Levi. From 1993 to 1995 he had a Post Doctoral Research positio
 n at Laboratoire d'Informatique (LIX)\, Ecole Polytechnique (Paris) in the
  equipe Cousot. From 1995 to 1998 he was (tenured) Assistant Professor in 
 Computer Science at the University of Pisa. From May 2000 until now he is 
 Full Professor in Computer Science at the University of Verona. The resear
 ch interests of Roberto Giacobazzi include abstract interpretation\, stati
 c program analysis\, semantics of programming languages\, program verifica
 tion\, abstract model-checking\, program transformation and optimization\,
  digital asset protection\, code obfuscation\, malware detection\, softwar
 e watermarking and lattice theory. He has been Program Chair of SAS\, VMCA
 I\, of workshops in programming languages and language based security\, an
 d General Chair of ACM POPL 2013. He is currently in the Steering committe
 e of SAS and ACM POPL. From 2006 to 2012 he has been Dean of the College o
 f Science of the University of Verona.
DTSTART;TZID=Europe/Paris:20170112T120000
DTEND;TZID=Europe/Paris:20170112T120000
LAST-MODIFIED:20190805T155749Z
LOCATION:DIAG @ A5
SUMMARY:Obscuring code -- Towards Systematic Code Obfuscation - Roberto Gia
 cobazzi\, Università di Verona
URL;TYPE=URI:https://www.diag.uniroma1.it/node/7482
END:VEVENT
END:VCALENDAR