- Neu
Fila / Jonker / Radomirovic Juggling Formal Methods and Security
Erscheinungsjahr 2026
ISBN: 978-3-032-20684-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
E-Book, Englisch, 253 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-20684-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday. Prof. Mauw obtained his PhD from the University of Amsterdam and subsequently held faculty and research positions at Eindhoven University of Technology and at Centrum Wiskunde & Informatica (CWI) in Amsterdam. He has collaborated closely with researchers around the world, including colleagues in Australia, Norway, Singapore, and many other countries. Since 2007, he has served as a full professor at the University of Luxembourg, where he leads the Security and Trust of Software Systems group.
A passionate advocate of rigorous formalization, Prof. Mauw specializes in formal methods for information security. He laid the mathematical foundations for attack trees, a practical and widely used security assessment framework, and he contributed extensively to the development of theory and tools for the specification and automated verification of security protocols.
Many members of Sjouke Mauw's scientific family have contributed to this volume to honor a distinguished advisor, exceptional mentor, and outstanding educator.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Sjouke Mauw: Conqueror of Ambiguities, Inconsistencies, and Incompleteness.- The queue automaton revisited.- Fracterm Calculus for Partial Meadows.- Ethics in Computer Science Research.- A Formal Treatment of the Limits of Authenticated Key Exchange Security.- A Quadratic Lower Bound for Simulation.- How to carve out-of-order fragmented files.- Encrypted and signed file transfer with PostGuard.- Deciding Impossible Futures.- Unfairly Effcient Byzantine-Fault Tolerant Random Number Generation.- Improving Trust in Legal Automation: an Intelligible Approach for Consumer Complaints.- Two decades of secure software development.- Getting Into a Jam with Attack Trees.- Automated Symbolic Verication of Quantum Cryptographic Protocols.
