Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio Security metrics at work on the things in IoT systems. (English) Zbl 1440.68017 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 233-255 (2020). MSC: 68M11 68M25 68Q55 68R10 PDF BibTeX XML Cite \textit{C. Bodei} et al., Lect. Notes Comput. Sci. 12065, 233--255 (2020; Zbl 1440.68017) Full Text: DOI OpenURL
Nielson, Flemming; Nielson, Hanne Riis Secure guarded commands. (English) Zbl 1440.68036 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 201-215 (2020). MSC: 68M25 68P25 94A60 PDF BibTeX XML Cite \textit{F. Nielson} and \textit{H. R. Nielson}, Lect. Notes Comput. Sci. 12065, 201--215 (2020; Zbl 1440.68036) Full Text: DOI OpenURL
Amtoft, Torben; Androutsopoulos, Kelly; Clark, David Correctly slicing extended finite state machines. (English) Zbl 1440.68149 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020). MSC: 68Q45 68Q55 PDF BibTeX XML Cite \textit{T. Amtoft} et al., Lect. Notes Comput. Sci. 12065, 149--197 (2020; Zbl 1440.68149) Full Text: DOI OpenURL
Seidl, Helmut; Erhard, Julian; Vogler, Ralf Incremental abstract interpretation. (English) Zbl 1440.68047 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 132-148 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{H. Seidl} et al., Lect. Notes Comput. Sci. 12065, 132--148 (2020; Zbl 1440.68047) Full Text: DOI OpenURL
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI OpenURL
Di Pierro, Alessandra A type theory for probabilistic \(\lambda \)-calculus. (English) Zbl 1440.68043 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 86-102 (2020). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{A. Di Pierro}, Lect. Notes Comput. Sci. 12065, 86--102 (2020; Zbl 1440.68043) Full Text: DOI OpenURL
Evans, Richard; Berger, Martin Cathoristic logic. A logic for capturing inferences between atomic sentences. (English) Zbl 1440.03042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020). MSC: 03B45 03B65 68T27 68T30 PDF BibTeX XML Cite \textit{R. Evans} and \textit{M. Berger}, Lect. Notes Comput. Sci. 12065, 17--85 (2020; Zbl 1440.03042) Full Text: DOI OpenURL