Doctorates' Information System

     Padmalochan Bera

Ph.D. fromIIT Kharagpur - Information technology
Supervisor(s)  Dr. S.K.Ghosh and Prof. Pallab Dasgupta
Ph.D. status  Joined in 2007 :: In progress
AddressG/187, IIT Campus, IIT Kharagpur-721302, India
Phone+91-9474504823
Emailbera.padmalochan@gmail.com
Formal Education
Exam / Degree Board / UnivBranchYear
10Ramakrishna Mission Vidya Bhawan, MidnaporeSCIENCE1993
12Ramkrishna Misiion Vidya Mandir, Belur Math, HowrahSCIENCE1995
BEJadavpur UniversityComputer Scienec and Engineering2001
M.Tech.West Bengal University of Technology, KolkataComputer Science and Engineering2006

Research Areas
  • Network Security
  • Formal Property Verification
  • Distributed Systems

Skills
  • Exposures in Formal Verification Methods and Tools-SAT and BDD based solvers
  • Experiences in Configuring Network Routers - Basic IPs, Protocols, Access Control Lists etc
  • Developed a Formal Integrated Network Security Analysis Tool- FINSAT during PhD programme

Awards
  • National Scholarship (class 10 level)
  • National Scholarship (class 12 level)

Experience
  • Working as Research Associate (Post-Doctoral Rresearcher) in Uinversity of North Carolina, Charllotte, USA
  • Senior Research Fellow in Indian Institute of Technology, Kharagpur, India, from July 2007 till date

Teaching Experience
  • Database Management Systems, Operating Systems, Data Structure and Algorithms(L) at College of Engineering and Management Kolaghat, India 2002-2007 (9 terms)
  • Database Management Systems, Operating Systems, Introduction to Computing(L) at University Institute of Technology, Burdwan, Indian 2001-2002 (2 terms)

Fellowships / Scholarships
  • Submitted PhD Thesis on Formal Analysis of Security Policy Implementations in Enterrpise Networks in IIT Kharagpur 2010

Papers Published in Journals
  • Policy based Security Analysis in Enterprise Networks- A formal approach by P Bera, S K Ghosh and Pallab Dasgupta IEEE Transaction on Network and Service Management (To appear) -- (2010)
  • A WLAN Security Management Framework based on Formal Spatio-Temporal RBAC Model by P Bera, Pallab Dasgupta and S K Ghosh Journal of Security and Communication Networks, Wiley InterScience (To appear) -- (2010)
  • Integrated Security Analysis Framework for an Enterprise Network-A Formal Approach by P Bera, S K Ghosh and Pallab Dasgupta IET Information Security (To appear) -- (2010)
  • Formal Analysis of Security Policy Implementations in Enterprise Networks by P Bera, Pallab Dasgupta and S K Ghosh International Journal of Computer Network and Communications (IJCNC) vol. 1(2), pp. 56-73 (2009)

Papers Presented at Conferences
  • Formal Verification of Security Policy Implementations in Enterprise Networks by P Bera, S K Ghosh and Pallab Dasgupta 5th International Conference on Information Systems and Security (ICISS 2009) Springer LNCS 5905, pp. 117-131 (2009)
  • A Spatio-temporal Role-based Access Control Model for Wireless LAN Security Policy Management by P Bera, Pallab Dasgupta and S K Ghosh 4th International Conference on Information Systems, Technology and Management (ICISTM-10) Springer CCIS, pp. 76-88 (2010)
  • A Query based Formal Security Analysis Framework for Enterprise LAN by P Bera, Soumya Maity, S K Ghosh and Pallab Dasgupta 10th IEEE International Conference on Computer and Information Technology 2010 (CIT 2010) (To appear) (2010)
  • Fault Analysis of Security Implementations in Enterprise Networks by P Bera, S K Ghosh and Pallab Dasgupta IEEE International Conference on Network and Communication Systems (NetCom 2009) 10.1109/Netcom.2009.82, pp. 240-245 (2009)
  • A Verification Framework for Analyzing Security Implementations in an Enterprise LAN by P Bera, S K Ghosh and Pallab Dasgupta IEEE International Advance Computing Conference (IACC 09) pp. 1008-1015 (2009)
  • A SAT based Verification Framework for Wireless LAN Security Policy Management supported by STRBAC Model by P Bera, Soumya Maity, S K Ghosh and Pallab Dasgupta 3rd International Conference on Network Security and Applications (CNSA 2010) Springer CCIS 89, pp. 232-241 (2010)
  • A Mobile IP based WLAN Security Mnagement Framework with Hardware Accelaration by Soumya Maity, P Bera, S K Ghosh and Pallab Dasgupta ACM International Conference on Security and Information Network (SIN 2010), Taganorg -- (2010)
  • Generating Policy based Security Implementations for Enterprise Networks by P Bera, Soumya Maity and S K Ghosh 3rd ACM Workshop SafeConfig10,17th ACM CCS 2010 -- (2010)

Indian Institute of Technology, Kharagpur-721 302, INDIA
Telephone Number +91-3222-255221 | FAX : +91-3222-255303