From Lambda Calculus to Cybersecurity Through Program Analysis

Keyphrases

Publications

2020

Sebastian Hunt, David Sands
New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Andrew Fielder
Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Flemming Nielson, Hanne Riis Nielson
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Alessandra Di Pierro
A Type Theory for Probabilistic λ-calculus. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Torben Amtoft, Kelly Androutsopoulos, David Clark
Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
Galois Connections for Recursive Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Simon J. Gay
Cables, Trains and Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias
Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Helmut Seidl, Julian Erhard, Ralf Vogler
Incremental Abstract Interpretation. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Richard Prideaux Evans, Martin Berger
Cathoristic Logic. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)

volume 12065, 2020

From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement From Lambda Calculus to Cybersecurity Through Program Analysis 12065 (2020)