From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030411022, 9783030411039

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cathoristic Logic

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_2 ◽

2020 ◽

pp. 17-85

Author(s):

Richard Evans ◽

Martin Berger

Download Full-text

New Program Abstractions for Privacy

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_10 ◽

2020 ◽

pp. 256-267

Author(s):

Sebastian Hunt ◽

David Sands

Download Full-text

Incremental Abstract Interpretation

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_5 ◽

2020 ◽

pp. 132-148 ◽

Cited By ~ 2

Author(s):

Helmut Seidl ◽

Julian Erhard ◽

Ralf Vogler

Keyword(s):

Abstract Interpretation

Download Full-text

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

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_8 ◽

2020 ◽

pp. 216-232

Author(s):

Andrew Fielder

Keyword(s):

Advanced Persistent Threat ◽

Threat Intelligence ◽

The Impact

Download Full-text

A Type Theory for Probabilistic $$\lambda $$–calculus

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_3 ◽

2020 ◽

pp. 86-102

Author(s):

Alessandra Di Pierro

Keyword(s):

Type Theory ◽

Lambda Calculus

Download Full-text

Security Metrics at Work on the Things in IoT Systems

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_9 ◽

2020 ◽

pp. 233-255

Author(s):

Chiara Bodei ◽

Pierpaolo Degano ◽

Gian-Luigi Ferrari ◽

Letterio Galletta

Keyword(s):

Security Metrics

Download Full-text

Secure Guarded Commands

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_7 ◽

2020 ◽

pp. 201-215

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Correctly Slicing Extended Finite State Machines

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_6 ◽

2020 ◽

pp. 149-197

Author(s):

Torben Amtoft ◽

Kelly Androutsopoulos ◽

David Clark

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Galois Connections for Recursive Types

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_4 ◽

2020 ◽

pp. 105-131

Author(s):

Ahmad Salim Al-Sibahi ◽

Thomas Jensen ◽

Rasmus Ejlers Møgelberg ◽

Andrzej Wąsowski

Keyword(s):

Galois Connections

Download Full-text

Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_11 ◽

2020 ◽

pp. 268-291 ◽

Cited By ~ 1

Author(s):

Sakshyam Panda ◽

Emmanouil Panaousis ◽

George Loukas ◽

Christos Laoudias

Download Full-text

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Cathoristic Logic

New Program Abstractions for Privacy

Incremental Abstract Interpretation

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

A Type Theory for Probabilistic $$\lambda $$–calculus

Security Metrics at Work on the Things in IoT Systems

Secure Guarded Commands

Correctly Slicing Extended Finite State Machines

Galois Connections for Recursive Types

Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science
Latest Publications