Now showing items 1-2 of 2
A Foundational Proof Framework for Cryptography
I present a state-of-the-art mechanized framework for developing and checking proofs of security for cryptographic schemes in the computational model. This system, called the Foundational Cryptography Framework (FCF) is ...
Gradient Descent for Optimization Problems With Sparse Solutions
Sparse modeling is central to many machine learning and signal processing algorithms, because finding a parsimonious model often implicitly removes noise and reveals structure in data. They appear in applications such as ...