From Lambda Calculus to Cybersecurity Through Program Analysis PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download From Lambda Calculus to Cybersecurity Through Program Analysis PDF full book. Access full book title From Lambda Calculus to Cybersecurity Through Program Analysis by Alessandra Di Pierro. Download full books in PDF and EPUB format.

From Lambda Calculus to Cybersecurity Through Program Analysis

From Lambda Calculus to Cybersecurity Through Program Analysis PDF Author: Alessandra Di Pierro
Publisher: Springer Nature
ISBN: 3030411036
Category : Mathematics
Languages : en
Pages : 300

Get Book Here

Book Description
This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday. Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science. His research is in cyber security, data analytics and semantics-based program analysis. He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks. This Festschrift is a collection of scientific contributions related to the topics that have marked the research career of Professor Chris Hankin. The contributions have been written to honour Chris' career and on the occasion of his retirement.