EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

Awards

Georges Gonthier, Martìn Abadi and Cédric Fournet receiver the 20 year test-of-time award for their LICS 1998 paper Secure Implementation of Channel Abstractions, during LICS 2018 in Oxford.