Department of Computer Science & Engineering
Indian Institute of Technology Madras, Chennai, India.
A - Z Index
|
Sitemap
Home
People
Faculty
Regular Faculty
Visiting Faculty
Adjunct Faculty
Former Faculty
Staff
Scientific Officers
Administrative Staff
Technical Officers
Technical Staff
Project Staff (Tech)
Project Staff (Admin)
Research Scholars
Ph.D.
M.S.
Students
M.Tech
B.Tech Dual Degree
B.Tech
Join Us !
Research
Areas of Research
Research Labs
Research Centers
Robert Bosch Centre for Data Science and Artificial Intelligence
Center for Computational Brain Research (CCBR)
Research Publications
Sponsored Projects
Research Patents
Books
Theses
Academics
Programmes
Curriculum
B.Tech
B.Tech (DD)
M.Tech
Courses
Core Courses
Elective Courses
Even Semester
Odd Semester
Current Courses
Time Table
Moodle
Outreach
Events
Department Events
Department Seminar
PhD Seminar
MS Seminar
PhD Defence
Resources
E-services
Mail
DCF
Room Scheduler
Issue Tracker
Web Group
Library
CS Office
About Us
Message from the HoD
Awards
Distinguished Alumni
Statistics
History
Contact Us
A Formally Verified Multi-precision Arithmetic Library for Cryptographic Applications.
Duration : Nov 2015 - Dec 2018
Funding Agency : CAIR
PI :
Aritra Hazra.
Announcements from Dept.
Apr 12, 2024
: CSE Bits
(read more)
Mar 22, 2024
: CSE Bytes
(read more)
Feb 16, 2024
: CSE Bytes
(read more)
(View All)
© 2016 - All Rights Reserved -
Dept of CSE, IIT Madras
Website Credits
