Henry Helm

A blog about various security related topics

Recent posts

Dec 26, 2023
Scalable Authorization Architectures — About Google Zanzibar like authorization systems, policy engines and the policy as code paradigm
Jul 21, 2023
Next Generation Static Analysis: CodeQL — The stages of a secure software development lifecycle and how CodeQL can be integrated to build more secure software
May 10, 2023
Verification of Neural Networks — Applying formal methods to make neural networks safer and more reliable
Mar 22, 2022
Privacy-Preserving Graph Analytics — Secure multi party computation combined with large-scale graph analysis frameworks.
Dec 14, 2021
An Introduction to Intel SGX — Explaining the concept of trusted execution environments.