Skip to main content
SpringerLink
Log in

From Lambda Calculus to Cybersecurity Through Program Analysis

Essays Dedicated to Chris Hankin on the Occasion of His Retirement

  • Book
  • © 2020

Overview

Editors:
  1. Alessandra Di Pierro

    1. University of Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pasquale Malacaria

    1. School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Rajagopal Nagarajan

    1. Department of Computer Science, Middlesex University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Honorary volume dedicated to Chris Hankin on Occasion to His 65th birthday
  • Written by well-known experts
  • Features the broad range of Chris Hankin research topics

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12065)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Cables, Trains and Types

      • Simon J. Gay
      Pages 3-16

    3. Cathoristic Logic

      • Richard Evans, Martin Berger
      Pages 17-85

    4. A Type Theory for Probabilistic \(\lambda \)–calculus

      • Alessandra Di Pierro
      Pages 86-102

  3. Program Analysis

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Galois Connections for Recursive Types

      • Ahmad Salim Al-Sibahi, Thomas Jensen, Rasmus Ejlers Møgelberg, Andrzej WÄ…sowski
      Pages 105-131

    3. Incremental Abstract Interpretation

      • Helmut Seidl, Julian Erhard, Ralf Vogler
      Pages 132-148

    4. Correctly Slicing Extended Finite State Machines

      • Torben Amtoft, Kelly Androutsopoulos, David Clark
      Pages 149-197

  4. Security

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Secure Guarded Commands

      • Flemming Nielson, Hanne Riis Nielson
      Pages 201-215

    3. Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games

      • Andrew Fielder
      Pages 216-232

    4. Security Metrics at Work on the Things in IoT Systems

      • Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
      Pages 233-255

    5. New Program Abstractions for Privacy

      • Sebastian Hunt, David Sands
      Pages 256-267

    6. Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users

      • Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias
      Pages 268-291

  5. Back Matter

    Pages 293-293
    Download chapter PDF
Back to top

Keywords

About this book

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.




Editors and Affiliations

  • University of Verona, Verona, Italy

    Alessandra Di Pierro

  • School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK

    Pasquale Malacaria

  • Department of Computer Science, Middlesex University, London, UK

    Rajagopal Nagarajan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation