TANMOY SARKAR
Graduate Student
Department of Computer Science
Iowa State University
115 Atanasoff Hall
Ames, IA 50011-1040
Phone: 515-451-2238
Fax: 515-294-0258
E-mail: (tanmoy@iastate.edu)
I am currently pursuing PhD in the Department of Computer Science at Iowa State University. My advisors are Dr. Samik Basu and Dr. Johnny Wong.

Background

  • (2007-present)Graduate Student pursuing PhD at Iowa State University, USA
  • (2006-2007) Associate Software Engineer at IBM India Private Ltd., India
  • BE (Aug 2006) Jadavpur University, India

Research

My Complete CV.

My main research interests include program verification and counter-example analysis, Model Checking. I have been involved in projects on the application of formal methods in intrusion detection and automate Intrusion Response System and Smart Home.

My publications:

  1. Igors Svecs, Tanmoy Sarkar, Samik Basu, Johnny Wong
    XIDR: A Dynamic Framework Utilizing Cross-Layer Intrusion Detection for Effective Response Deployment Proceedings of the 2nd IEEE International Workshop on Computer Forensics in Software Engineering (COMPSAC/CFSE 2010).

  2. Michelle Ruse, Tanmoy Sarkar, Samik Basu
    Analysis & Detection of SQL Injection Vulnerabilites via Automatic Test Case Generation of Programs Proceedings of the 10th Annual International Symposium on Applications and the Internet (SAINT 2010). WebPage.

  3. Jose M. Reyes Alamo, Tanmoy Sarkar, Johnny Wong
    "Composition of Services for Notification in Smart Homes" Proceedings of the International Symposium on Universal Communication, Japan, December 2008.

  4. Pramita Mitra, Amitabha Samajpati, Tanmoy Sarkar, Pradip K. Das
    "An SMS Based Rural Application for Agricultural Consultancy and Commodity Booking Service". Proceedings of the International Conference on Emerging Applications organized by Computer Society of India (CSI - EAIT), Kolkata, India, February 2006.

  5. Amitabha Samajpati, Pramita Mitra, Tanmoy Sarkar, Pradip K. Das
    "Next Generation Mobile Services using Location specific applications". Proceedings of the 4th Asian International Mobile Computing Conference (AMOC), Kolkata, India, January 2006.

Posters:

  1. "Response to Collaborative Attacks Against Network Vulnerability". The Center for information Protection grant for 2009, USA, October 2008.

  2. "A Web based Architecture for Usability of Service Oriented Environments". International Conference On Smart homes and health Telematics, USA, June 2008.

Presentations:

  1. "Response to Collaborative Attacks Against Network Vulnerability". The Center for information Protection grant for 2009, USA, November 2008.

  2. "Formal Approach on Intrusion Detection and Response System". The Center for information Protection grant for 2008, USA, November 2008.

Teaching Assistant

  • ComS 363. Introduction to Database Management Systems: Fall 2007, Spring 2008
  • ComS 228. Introduction to Data Structures: Summer 2008

Research Assistant

  • Application of formal methods in Intrusion Detection and deploy Automated Intrusion Response System: Fall 2008

Assorted

Hit Counters
Private jet charter