Di Pierro / Malacaria / Nagarajan | From Lambda Calculus to Cybersecurity Through Program Analysis | E-Book | sack.de
E-Book

E-Book, Englisch, 293 Seiten

Reihe: Lecture Notes in Computer Science

Di Pierro / Malacaria / Nagarajan From Lambda Calculus to Cybersecurity Through Program Analysis

Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Erscheinungsjahr 2020
ISBN: 978-3-030-41103-9
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Essays Dedicated to Chris Hankin on the Occasion of His Retirement

E-Book, Englisch, 293 Seiten

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-41103-9
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.


Di Pierro / Malacaria / Nagarajan From Lambda Calculus to Cybersecurity Through Program Analysis jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Di Pierro, Alessandra
Malacaria, Pasquale
Nagarajan, Rajagopal

Weitere Infos & Material

Logic.- Program Analysis.- Security.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.