Database Management Systems; Database Systems Laboratory; Discrete Structure and Foundation of Logic; Computer Networks; Computer Network Laboratory; Networks and System Security; Embedded Systems; Programming and Data Structure; Programming and Data Structure Lab; Basic Electronics
Recent Publications (International Journals)
Soumya Maity, Padmalochan Bera, S. K. Ghosh and Ehab Al-Shaer. Formal integrated network security analysis tool: formal query-based network security configuration analysis. IET Networks vol. 4(2): 137-147, 2015
Santosh Majhi, Padmalochan Bera, OHMF: A Query Based Optimal Healthcare Medication Framework, International Journal of Information Processing, 2014.
M. Ashiqur Rahaman and Ehab Al-Shaer, Padmalochan Bera A Noninvasive Threat Analyzer for Advanced Metering Infrastructure in Smart Grid In IEEE Transaction on Smart Grid vol 4(1), pp. 273-287, March 2013
Padmalochan Bera, S. K. Ghosh and Pallab Dasgupta, A WLAN Security Management Framework based on Formal Spatio-Temporal RBAC Model, Journal of Security and Communication Networks, Wiley InterScience, vol 4(9), pp. 981-993, August 2011.
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, Policy based Security Analysis in Enterprise Networks- A formalapproach, In IEEE Transaction on Network and Service Management, vol. 7(4), pp. 231-243, December 2010.
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, Integrated Security Analysis Framework for an Enterprise Network-A Formal Approach, In IET Information Security Journal, vol. 4(4), pp. 283-300, December 2010.
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, Formal Analysis of Security Policy Implementations in EnterpriseNetworks. International Journal of Computer Network and Communications (IJCNC), Vol. 1(2), pp. 56-73, July 2009.
Madhukrishna Priyadarsini, Dr. Padmalochan Bera, Rohan Bhampal, "Performance Analysis of SDN controller architecture- A Simulation Based Survey ", IEEE WisPNET 2017 (IEEE COMSOC), Chennai, India, 22-24 March 2017
Bata Krishna Tripathy, Ashray Sudhir, Padmalochan Bera, "Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network", 41st IEEE COMPSAC, Turin, Italy, July 2017. (Accept)
Kamalakanta Sethi, Amartya Majumdar, Padmalochan Bera, "A Novel Implementation of Parallel Homomorphic Encryption for Secure Data Storage in Cloud", International Conference on Cyber Security and Protection of Digital Services (Cyber Security 2017), London, UK, June,2017. (Accept)
Bata Krishna Tripathy, Ananta Gopal Sethy, Padmalochan Bera and Mohammed Ashiqur Rahman, A Novel Secure and Efficient Policy Management Framework for Software Defined Network, In 11th IEEE International Workshop on Security, Trust, and Privacy for Software Applications(STPSA 2016) collocated with 40th IEEE COMPSAC 2016, Atlanta USA, June 10-14 (Accepted)
Bata Krishna Tripathy, Padmalochan Bera and Mohammed Ashiqur Rahman. "Analysis of Trust Models in Mobile Ad hoc Networks —A Simulation Based Study". In IEEE CommsNet 2016, Bangaloore, India (Accepted)
Santosh Majhi and Padmalochan Bera "A Security Enforcement Framework for Virtual Machine Migration Auction". In ACM Safeconfig 2015, (Collocated with ACM CCS), Denver, USA, October 2015
Santosh Majhi, Padmalochan Bera. Designing an Adaptive Firewall for Enterprise Cloud, International Conference on Parallel, Distributed and Grid Computing, Simla India, December 2014.
Santosh Majhi, Padmalochan Bera. VM migration auction: Business oriented federation of cloud providers for scaling of application services, International Conference on Parallel, Distributed and Grid Computing, Simla India, December 2014.
Santosh Majhi, Padmalochan Bera, Swapnil Kumar, Ehab Al-Shaer, Manoranjan Satpathy. Synthesizing Optimal Security Configurations for Enterprise Networks - A formal Approach. In IET System Safety and Cyber Security Conference, Manchester UK, October 2014 (Accept)
Padmalochan Bera and S. K. Ghosh, A Query Driven Security Testing Framework for Enterprise Network, In IEEE SECTEST with IEEE ICST, Luxembourg, March 2013
Padmalochan Bera and A. Pasala, A Framework for optimizing effort in Testing System-of-Systems, In IEEE ICSEM 2012, Mysore, India, December 2012
M. Ashiqur Rahaman, Padmalochan Bera and E. Al-Shaer, A Non-invasive Security Threat Analyzer for AMI Smart Grid, IEEE INFOCOM 2012, pp. 2255-2263, Florida, USA, March 2012
Saeed Al-Haj, Padmalochan Bera and Ehab Al-Shaer, Build and Test Your Own Network Configuration, 7th International ICST Conference on Security and Privacy in ommunication Networks (SecureComm 2011), London, UK, September 2011
Padmalochan Bera, Soumya Maity, S. K. Ghosh and PallabDasgupta, Generating Policy based Security Implementations in Enterprise Networks. In ACM SafeConfig Workshop, ACM CCS 2010, Chicago, USA, October 2010.
Padmalochan Bera, Soumya Maity, S. K. Ghosh and Pallab Dasgupta, A Query based Formal Security AnalysisFramework for Enterprise LAN, In 10thIEEE International Conference on Computer and Information Technology 2010 (CIT 2010), Bradford, UK, pp. 407-414, IEEE Computer Society, June 2010
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, A Spatio-temporal Role-based Access Control Model for WirelessLAN Security Policy Management, In 4th International Conference on Information Systems, Technologyand Management (ICISTM-10), LNCS, Springer Verlag, pp 76-88, Bangkok, Thailand, March 2010.
Soumya Maity, Padmalochan Bera and Soumya Kanti Ghosh, A Mobile IP based WLAN Security management framework with reconfigurable hardware acceleration, In ACM SIN 2010, pp. 218-223, Taganrog, Rostov-on-Don, Russia
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, Fault Analysis of Security Implementations in EnterpriseNetworks, In IEEE International Conference on Network and Communication Systems (NetCom 2009),DOI: 10.1109/Netcom.2009.82, pp. 240-245, Chennai, India, December 2009.
Padmalochan Bera, Pallab Dasgupta, S. K. Ghosh, Formal Verification of Security Policy Implementations inEnterprise Networks, In International Conference on Information Systems and Security (ICISS 2009), LNCS 5905, pp. 117-131, Kolkata, India, December 2009.
Academic Honors & Awards
Post-doctoral Fellow, CyberDNA Research Center, University of North Carolina Charlotte, USA 2010-2011
ACM Travel Grant to attend CCS 2010 conference, Chicago, USA (2010)
Scholarship from HQIDS, Ministry of Defense, India (2007-2010)
UGC and MHRD Travel Grant to attend IET System safety and Cyber Security Workshop, Manchester, UK (2014)
National Scholarship 1993-95 for results in Secondary Examination
National Scholarship 1995-1999 for results in Higher Secondary Examination
GIAN course on Applied Cyber Security, August 5-12, 2016
A. Pasala and Padmalochan Bera. Designing an Adaptive Method and System for optimizing testing efforts in system of systems testing. US patent no: 20150154094, 2015.
A. Pasala and Padmalochan Bera, Tom Nedumgad. Methods, systems and computer-readable media for quantifying a bug detection efficiency of a bug prediction technique. US patent no: US 20150089481 A1, 2014
Title: Automated Security Verification and Diagnosis of Smart Grid Advanced Metering Infrastructure - a formal analytics based approach Sponsoring Organization: SRIC, IIT Bhubaneswar Duration: 2 years
Title: NetAssure: A Formal Configuration Compliance checking, Security Policy Verification and Threat Diagnosis Tool for Enterprise Computing and Network Infrastructure Funding Agency: SAG, DRDO, New Delhi Duration: 3 years
Invited Talk on "Formal Modelling Techniques for verification of Network Security Policy Implementations and device configurations", Software Analytics Group, DRDO, New Delhi, June 6 2016
Invited Talk on "Software Defined Networks with Network Function Virtualization – a research roadmap", IEEE National Workshop on Wireless Sensor Networks with Internet of Things and Cloud Computing, Bhubaneswar January 15-16, 2016
Invited Talk on "Security Challenges on Network and Critical Infrastructure – Enterprise perspective", IBM Faculty Residency Program on Cyber Security at IBM Bangalore, June 2-6, 2014
Delivered Talk on Cyber Security Challenges in Smart Grid Infrastructure in National Workshop on Smart Grid Technologies (NWSGT) held in IIT Bhubaneswar during 8-9 November 2014.
Delivered Talk on “Security and Safety Challenges in Smart Grid Advanced Metering Infrastructure” in IEEE CSS Symposium on Cyber Physical Systems at IISC Bangalore, India during November 2-3 2012.
Delivered Lecture on Formal Analysis of Security Configurations in Enterprise Networks at CyberDNA Research Seminar in University of North Carolina at Charlotte, USA, March 18 2011
Delivered Lectures on Cyber Security Challenges and Scope of Formal Methods under Advanced Network Security Course in University of North Carolina Charlotte, USA, Fall Semester 2011