HASE 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
Conference Editions
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

HASE 2020 with POPL 2020

Recent years have seen major advances in the application of formal methods and other high assurance verification techniques to software and hardware. However, it is rarely used in the engineering of actual production systems rather than academic prototypes. At the same time, attacks on production systems are showing no signs of decreasing in frequency, whilst our reliance on their security is rapidly increasing, ...