Deepak Garg
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Crypto×1
Frequent co-authors
Research Timeline
2026
Compositional security definitions for higher-order where declassification
The paper develops a compositional security definition for 'where declassification' in higher-order programs, allowing formal guarantees that private data is handled correctly when it is explicitly declassified in specific parts of the code.
Highlighted terms show continued research focus across papers