Acknowledgments

With gratitude

Verifpal draws on Professor Bruno Blanchet’s foundational work in formal verification. This acknowledgment does not imply his endorsement of Verifpal. Toby Fox’s Undertale also influenced the project’s visual style and tone.

The NLnet Foundation supported Verifpal through the NGI0 Privacy Enhancing Technologies Fund. This fund was established by NLnet with financial support from the European Commission’s Next Generation Internet program, under the aegis of DG Communications Networks, Content and Technology, grant agreement № 825310.

I thank my students Georgio Nicolas, who contributed the first edition’s chapter on DP-3T, and Sasha Lapiha. I also thank Vlad Antipin. All three provided feedback on earlier editions of the manual.

I also thank the artists at Collateral Damage Studios, who created the Verifpal manga and illustrations over three months of close collaboration. The manga’s artists are Michelle Tan and Cardi Chow, with art lead and character design by Low Zi Rong.

Nadim Kobeissi