Working with me
I am looking for students to work with me on various problems related to symbolic analysis and formal verification. You must have a demonstrable interest in theoretical problems, and an ability to read, write, and present technical proofs. You must also have studied and got at least a B+ or above in courses on discrete maths, theory of computation, automata theory, and algorithms. It is a plus if you have a working knowledge of one or more of: logic, verification, and functional programming.
Here is a tentative list of potential ideas for projects of various kinds.
- Surveying the use of choreographies in distributed systems
- Identifying typing systems that guarantee security
- Uniformizing decidability results for security protocol verification
- Investigating a constraint system formalism for security protocol verification
- Extending the Tamarin tool for automated verification to handle new models
- Studying security protocol verification in the presence of a rational adversary
If you are interested in joining as an MS(R) or PhD student, see the relevant details here and here respectively. Please apply through IIT Delhi admissions process, specifying formal verification as a research interest, and mention my name as a potential supervisor.
If you are an undergraduate student and looking for a BTech Project (IITD students only) or an internship (non-IITD students only), write a mail to me providing your IITD entry number (if available), attaching a CV, and listing your relevant background and which project you are interested in. In order for my spam filter to not reject your mail outright, make sure that your subject line contains the word "Belgium".