Workshop on Formal Methods for Safe and Secure Medical Devices 10th -11th January 2020 Organized by Indian Sponsored by Scheme for Promotion of Academic and Research Collaboration (SPARC), MHRD, Govt. of Speakers About the Workshop Who can attend? Securing cyber-physical systems such as implantable medical • B.Tech students having interest in this field Prof. Partha Roop • M.Tech, Ph.D & Research scholars The University of Auckland devices (IMD) requires good understanding on both the • Academicians, doctors, researchers and engineers New Zealand physical component (the human organ) and the controller (IMD). In this workshop, we will cover about formal methods from Industries and R&D organizations. based approaches used in the domain of medical devices. We Venue will discuss about approaches used for modelling behaviour Dr. Mark Trew School of Electrical Sciences, Indian Institute of of organs used for static verification and testing of IMDs. We The University of Auckland Technology Bhubaneswar, Jatni, Khordha, Odisha752050 New Zealand will also discuss some static verification approaches proposed such as model checking, used for verifying IMD software, Workshop Coordinators and discuss their advantages and limitations. Some major Dr. Srinivas Pinisetty, SES, IIT Bhubaneswar limitations are scalability and mainly the approaches are not Prof. Manoj S Gaur Dr. M. Sabarimalai Manikandan, SES, IIT Bhubaneswar IIT Jammu suitable to detect (and prevent) security vulnerabilities. We India will later discuss about light-weight formal approaches Student Coordinators (runtime verification and runtime enforcement). We will Mr. Abhinandan Panda, Research Scholar, SES discuss about safety/security issues in IMDs and runtime Mr. Siddhasagar Pani, M.Tech 2nd year monitoring based approaches as solutions with description of Dr. M. Sabarimalai Manikandan Mr. V. R. Ujwal, M.Tech 2nd year IIT Bhubaneswar case-studies and their implementations. Mr. Aishik Bhattacharyya, M.Tech 2nd year India Workshop Topics Travel & Lodging Arrangements • IMD security and associated challenges: Security Travel and lodging expenses have to be borne by the Dr. Srinivas Pinisetty challenges and overview of existing methods, need for participants or their sponsoring organizations. However, a IIT Bhubaneswar formal methods. Need for considering biophyisical signals limited number of accommodations on payment basis can be India and signal processing. made available at IIT Bhubaneswar Campus and in close by • Introduction to formal methods for medical devices: hotels upon request. Working lunch, tea and snacks will be Pacemaker safety, modelling and verification of provided during the workshop. Organized by: pacemakers using formal techniques, introductions to Registration Details temporal logics and model checking. Registration Fees: • Cardiac electrophysiology, disease and pacing: Background and associated mathematically detailed • IIT BBS students and research scholars – NIL models, cell communication and pacemaker response, • Students (including research scholars) - INR 600 abstracted models using hybrid and timed automata, heart • Professionals - INR 1500 on a chip design for pacemaker testing. Registration Deadline: January 05, 2020 • Formal Methods for securing IMDs: Static and run-time- Registration Link: based methods for security. • Security issues in smart devises: Authentication, https://forms.gle/fVsE1oUf5r16YVgu8 School of Electrical Sciences information flow, and leakage. Fee payment instructions: Payment of registration fees • Concluding panel discussions on future directions should be made through bank transfer to CEP, IIT Indian Institute of Technology Bhubaneswar Contact Bhubaneswar, Syndicate Bank, IIT Bhubaneswar, Jatni, Khordha, -752050, India A/C- 24282010001960. Please make the fee payment first https://www.iitbbs.ac.in/ Email: [email protected]; [email protected]; and enter the transaction details of payment while filling the Mobile: +91-8249184836; +91-8985679665 registration form. About IIT Bhubaneswar About Bhubaneswar How to reach IIT Bhubaneswar IIT Bhubaneswar is one of the eight new Indian Bhubaneswar, the capital of Odisha, is also The city Bhubaneswar is well connected by rail, air Institutes of Technology established by the Ministry popularly known as the "Temple City of India", and road to the rest of the country. IIT of Human Resource Development, Government of named after Tribhuvaneswar, “Lord of Three Bhubaneswar is about 8 km from Khordha Road India under The Institutes of Technology Worlds” or 'Lord Lingaraj'. It is an important Junction railway station, 30 km from the (Amendment) Act, 2011. Indian Institute of Hindu pilgrimage centre. The History of the city Bhubaneswar railway station, and 35 km from Biju Technology Bhubaneswar (IIT BBS) was established stretches back over 2000 years. The area first Patnaik International Airport, Bhubaneswar. on 22nd July, 2008. The Institute strives to offer the appears as ancient capital of Kalinga. The smart best engineering education with unmatched novelties city Bhubaneswar with its modern buildings and in curriculum. Within a short span of incipience, IIT extensive infrastructure perfectly complements its BBS has made rapid strides towards becoming one of historic surroundings. With facilities to cater to the elite technology institute of India spurred by every type of visitor, Bhubaneswar makes an ideal sustained creation of knowledge and innovation, tourist destination. It is the largest city in Odisha through high quality R&D activities and commitment and is a centre of economic and religious to holistic education. The Institute aims to develop importance in Eastern India. The city is also known and pursue dynamic and flexible curricula designed for its rich and varied heritage arts, crafts and to facilitate creativity and cognitive thinking among dance. students through productive partnership with industries. Students get exposed to a wide variety of activities through societies and clubs, involving liberal arts, design, dramatics, , music, dance and sports, instilling them with social awareness, a spirit CONTACT of innovation, entrepreneurship and a thirst of Dr. Srinivas Pinisetty, Assistant Professor discovery. All academic activities of the Institute are Phone:+91-674-7135762 (O), +91-8985679665 (M) being carried out from the picturesque permanent Khandagiri-Udayagiri caves, Nandankanan Email: [email protected] campus at Argul, spreading over 936 acres of land Zoological park, Odisha state Museum, Dhauli with unique serene and pollution-free academic Shanti Stupa, Regional Museum of Natural History, Mr. Abhinandan Panda, Research Scholar environment, in the state of Odisha, India. It is Sun Temple- and Jagannath Temple- Phone: +91-8249184836 (M) located on the foothills of the magnificent Barunei, along with the Chandaka Wildlife Sanctuary are Email: [email protected] having link with Indian freedom movements. At major attractions in and around Bhubaneswar. present, the Institute has seven schools and within a Chilka lake, an important habitat and breeding School of Electrical Sciences short period of time, IIT BBS has been able to build ground for both resident and migratory and aquatic Indian Institute of Technology Bhubaneswar up world class infrastructure for carrying out birds, most notably flamingos, is 100kms away from Jatni, Khordha, Odisha-752050, India advanced research and is equipped with state-of-the- Bhubaneswar. art scientific and engineering laboratories. The Institute has a pleasant and friendly environment which facilitates a multidimensional growth of the individual in the campus.