Skip to main content
  • Home
  • About Us
    • Governing Board & Executive Council
    • IMSc Logo
  • Research
    • Theoretical Physics
    • Mathematics
    • Theoretical Computer Science
    • Computational Biology
  • People
    • Faculty
    • Former Faculty
    • Doctoral Fellows
    • Post Doctoral Fellows
    • Staff
  • Events
    • Seminars
    • Conferences
    • Event Calendar
    • IMSc @60
    • Azadi Ka Amrit Mahotsav
  • Resources
    • Library
    • Outreach
    • IMSc Media
    • Anti-Ragging
    • Internal Complaints Committee
  • Opportunities
    • Faculty Recruitment
    • Doctoral Programme
    • Post Doctoral Programme
    • Summer Research Programme
    • Associateship Programme
    • Visiting Scientist Programme
    • Visiting Student Programme
    • Other Positions
  • Tenders
  • Webmail

Search form

Home
The Institute of Mathematical Sciences
A national institute for research in the theoretical sciences

Upcoming Events

Oct 21
14:00-15:00
Abhishek Mohapatra | Technical University of Munich
TBA (Online)
TBA
Physics Seminar | Alladi Ramakrishnan Hall
Oct 22
11:30-13:00
S P Suresh | CMI
Intruder Theories
In the formal analysis of security protocols, messages are treated as symbolic terms over an algebra rather than as bitstrings. This is typically not a free algebra -- there are equations that try to reflect the behaviour of the cryptographic operators. For example, dec(enc(x, pk), sk) = x is an equation that reflects that encrypting any message with a public key and decrypting using the coresponding secret key gives back the original message. Such (sets of) equations are called "intruder theories". It is typically the case that it makes sense to apply these equations in one direction only, so these are turned into rewrite rules or proof rules, and techniques from rewriting or proof normalization are used to study such intruder theories. We present some interesting intruder theories and their analysis, and how it fits into the problem of verifying the security of protocols, with special attention to the XOR operation. This is joint work with R Ramanujam (Azim Premji University) and Vaishnavi Sundararajan (IIT Delhi).
TCS Seminar | Alladi Ramakrishnan Hall
Oct 22
14:00-15:00
Samapan Bhadury | Jagiellonian University, Krakow, Poland
TBA
TBA
Physics Seminar | Alladi Ramakrishnan Hall
Oct 22
15:30-17:00
Saket+ | IMSc
Parameterized Complexity Seminar
TCS Seminar | E C G Sudarshan Hall
Oct 23
14:00-15:00
Oorna Mitra | IISER Kolkata
On certain algebraic and algorithmic questions about solvable Baumslag-Solitar groups
In the first part of the talk, I will introduce certain algorithmic problems in group theory—namely, the Twisted Conjugacy Problem (TCP) and Orbit Decidability (OD)—which are closely related to the classical Conjugacy Problem (CP). I will then present some recent results addressing the CP in specific extensions of solvable Baumslag–Solitar (BS) groups, based on joint work with Mallika Roy and Enric Ventura. In the second part, I will discuss some new algebraic and algorithmic results concerning fixed point subgroups of solvable BS groups. This part is based on ongoing joint work with Ramya Nair.
Mathematics Colloquium | Alladi Ramakrishnan Hall
More Seminars

Notice Board

  • Hindi Day Celebrations 2025
  • Prof A P Balachandran, In Memoriam
  • NBHM portal

Contact

The Institute of Mathematical Sciences
IV Cross Road, CIT Campus
Taramani
Chennai 600 113
Tamil Nadu, India.
Phone : 91-44-22543100
Fax      : 91-44-22541586

Useful Info

  • Getting Here
  • Shuttle Service
  • Working Hours
  • Forms
  • Vigilance Awareness Week

Resources

  • Computer Facilities
  • Important Numbers
  • Institute Reports
  • Official Language Policy
  • arXiv
  • RTI
  • Anti-Ragging
  • Internal Complaints Committee

For Members

  • Login
  • Student Info
  • HBNI
  • Committees