9 citations · 26 across the 18 of their papers we have counts for
3 papers · 1 filter
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways
Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu
Imagine that a malicious hacker is trying to attack a server over the Internet and the server wants to block the attack packets as close to their point of origin as possible. Howev…
A similarity criterion for sequential programs using truth-preserving partial functions
Abhinav Aggarwal
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such sta…
Beating the Multiplicative Weights Update Algorithm
Abhinav Aggarwal, José Abel Castellanos Joo, Diksha Gupta
Multiplicative weights update algorithms have been used extensively in designing iterative algorithms for many computational tasks. The core idea is to maintain a distribution over…