Slides for this presentation are available to registered HCSS community members. Please log in to access the file.
Once logged in, you may download the slides here: [HCSS 2026 BOYD]
If you do not already have an account, you may create one here:
https://sos-vo.org/user/register
ABSTRACT |
Dusan Kostic, Hanno Becker, John Harrison, Rod Chapman (AWS Cryptography)
ABSTRACT |
Dr. Andres Molina-Markham, Nicholas Potteiger, Lauren Brandt, Aidan Reid, Dr. Ahmad Ridley¹
Corresponding author: Dr. Andres Molina-Markham, amolinamarkham@mitre.org
¹Dr. Ahmad Ridley is a researcher at the National Security Agency’s (NSA’s) Laboratory for Advanced Cybersecurity Reearch AI as an
The National Security Agency (NSA) awarded the 13th Annual Best Scientific Cybersecurity Paper Competition to “zkPi: Proving Lean Theorems in Zero-Knowledge". The winning paper, authored by Evan Laufer, Alex Ozdemir and Dan Boneh of Stanford University, proposes a groundbreaking method to use Zero-Knowledge Proofs to secure Lean Theorems. This is a method to protect the potentially sensitive information that is contained within lean theorems especially when used to verify system properties.
BIO Harun Khan is a master’s student in computer science at the University of Kansas and a research intern at Sandia National Laboratories. His research focuses on machine learning security and privacy, with particular interests in machine unlearning, membership inference attacks, and related areas of trustworthy machine learning. |