All articles

• Scalable Authorization Architectures Dec 26, 2023
• Next Generation Static Analysis: CodeQL Jul 21, 2023
• Verification of Neural Networks May 10, 2023
• Privacy-Preserving Graph Analytics Mar 22, 2022
• An Introduction to Intel SGX Dec 14, 2021
• Group Pairing Schemes Jul 13, 2021