French
From Lambda Calculus to Cybersecurity Through Program Analysis
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Cables, Trains and Types
-
Altmetric BadgeChapter 2 Cathoristic Logic
-
Altmetric BadgeChapter 3 A Type Theory for Probabilistic $$\lambda $$ –calculus
-
Altmetric BadgeChapter 4 Galois Connections for Recursive Types
-
Altmetric BadgeChapter 5 Incremental Abstract Interpretation
-
Altmetric BadgeChapter 6 Correctly Slicing Extended Finite State Machines
-
Altmetric BadgeChapter 7 Secure Guarded Commands
-
Altmetric BadgeChapter 8 Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games
-
Altmetric BadgeChapter 9 Security Metrics at Work on the Things in IoT Systems
-
Altmetric BadgeChapter 10 New Program Abstractions for Privacy
-
Altmetric BadgeChapter 11 Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users