6 papers
Defining Purpose-Limited Secrets
Bhumika Mittal, Aalok Thakkar
A cryptographic secret is issued for a purpose but grants a capability, and the capability is usually larger. Deployed systems state the purpose in policy and enforce only the capa…
Trust a Few: The Weakest Assumptions a Protocol Needs
Bhumika Mittal, Aalok Thakkar
Protocol verifiers check whether a protocol meets a security goal under stated trust assumptions, such as that a key is never leaked, a value is fresh, or a channel is authentic. T…
From Transformers to Weighted Automata: Towards the Verification of Large Language Models
Smayan Agarwal, Aslah Ahmad Faizi, Shobhit Singh +1
Large language models (LLMs) are increasingly deployed in safety-critical settings, yet their black-box nature makes it difficult to provide formal guaranties about their behavior.…
Localising Stochasticity in Weighted Automata
Smayan Agarwal, Aalok Thakkar
Probability distributions over strings can be expressed by locally stochastic weighted automata: state machines in which, at every state, the outgoing and final weights sum to the…
Ancient Algorithms for a Modern Curriculum
Aalok Thakkar
Despite ongoing calls for inclusive and culturally responsive pedagogy in computing education, the teaching of algorithms remains largely decontextualized. Foundational computer sc…
BOOP: Write Right Code
Vaani Goenka, Aalok Thakkar
Novice programmers frequently adopt a syntax-specific and test-case-driven approach, writing code first and adjusting until programs compile and test cases pass, rather than develo…