Wed11Jul2018Fri13Jul2018Faculty Hall, Indian Institute of ScienceShow details
The Cyber-Physical Systems Symposium is a single track symposium aimed at bringing together leading researchers and industry experts to share the recent advancements and the upcoming challenges in the area of Cyber Physical Systems (CPS). The symposium invites students, researchers and the industry experts to attend the event which will be held from 11 to 13 July 2018 at the Indian Institute of Science, Bangalore, India.
For more information please visit the Symposium website.
Fri23Feb201814.00-15.30CSA Department, Room 254Show details
The Robert Bosch Centre is organising two talks in the area of blockchains and one possible use in cryptocurrencies.
The first talk by Prof Y. Narahari is titled "Blockchain Technology: Promise and Prospects for Industrial and Societal Applications": The bitcoin, unleashed in 2008, was for a specific need (digital currency) but offered a spectacular new data structure for achieving tamper proof record keeping.
In this talk, we introduce the building blocks of blockchain technology and survey the rich variety of industrial and societal applications where it can be deployed. In particular, we describe a trusted B2B collaborative platform that we are currently designing using smart contracts inspired by game theoretic analysis.
About the Speaker
Y. Narahari is a Professor in the Department of Computer Science and Automation and the Chair of the Electrical Sciences Division. His current interests are in topics at the interface of computer science and game theory.
The second talk by Prof C. E. Veni Madhavan is focussing on "Cryptocurrencies and Blockchains": Cryptocurrencies, in particular the first and well-known Bitcoin and others such as Ethereum, are canonical examples of the blockchain paradigm. Minting or generating new elements or coins of this form of currency relies on the notion of proof-of-work. Generation of proof-of-work is based on solving a computationally intensive problem such as finding a specific form of hash string. Cryptocurrencies have serendipitously heralded a digital information revolution in the form of blockchains, a broad term, for distributed ledger technologies.
As monetary instruments these attempt to provide for the many attractive properties of fiat currency, such as privacy, anonymity, transferability, fungibility. However, these are different, from State backed denominational fiat currencies, with respect to the properties of fixed, store-of-value, medium-of-exchange, arbitrage within jurisdictional boundaries, seigniorage in fiscal governance, taxation and law enforcement. An alternative paradigm of cryptographic digital cash, the analog of fiat currency, in the form of digital coins, coupons or tokens, predates the contemporary examples of cryptocurrencies.
Our work is on such a system of virtual money. We discuss these paradigms of cryptonomics from perspectives of science, technology, economics, applications, mathematics, governance and human-usage factors.
About the Speaker
C. E. Veni Madhavan, after his formal retirement as Professor in August 2014, continues to work in the CSA department on various scientific mentoring and R&D projects with government, academia and industry.
Mon12Feb2018Wed07Mar2018Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Instructor(s): Dr. Arun Babu
Schedule: Mon & Wed 10.30-12pm, (First class Feb 12)
Venue: RBCCPS Seminar Hall
Cybersecurity deals with processes, techniques, and tools to protect computers and networks from unauthorized access and attacks. This course deals with practical aspects of cybersecurity and teaches various types of attacks and mechanisms to prevent them. Topics will include: Attacks and attackers, vulnerabilities, safe and secure coding practices, basics of cryptography, OS security, web security, network security, security through obscurity, malware, cyber-warfare, cybersecurity in India, and case studies.
Hacking exposed 7 : Network Security Secrets and Solutions - by Stuart Mcclure, Joel Scambray, George Kurtz
One, Aleph. "Smashing the stack for fun and profit (1996)." Phrack 7 (2007): 49
Exploit Mitigation Techniques: an Update After 10 Years – by Theo de Raadt ruBSD 2013, 14 December 2013,
CERT secure coding practices
MISRA-C:2004 – Guidelines for the use of the C language in critical systems
Guidelines for Protection of National Critical Information Infrastructure, Government of India
Knowledge of computer programming and computer networks, familiarity with UNIX like OS like Linux/*BSD/Solaris.
Wed10Jan2018Fri27Apr2018Robert Bosch Centre for Cyber-Physical Systems, Seminar HallShow details
Instructor: Dr. Atreyee Kundu
Schedule: Wed & Fri 3.30-5pm, (First class on Jan 10)
Venue: RBCCPS Seminar Hall
Switched and hybrid systems and their solutions, Stability of switched systems: background and motivation, Time-dependent switching: arbitrary switching and common Lyapunov functions, constrained switching and multiple Lyapunov functions, State-dependent switching: Lyapunov-Metzler and S-procedure characterizations, Algorithms for synthesizing stabilizing switching signals, Switched systems with inputs and outputs, input-to-state stability, invertibility, Switching adaptive control, Limited information control of switched systems, Applications of switched systems in the analysis of networked control systems under communication uncertainties
Primary text: D. Liberzon, Switching in systems and control, Birkhauser, Boston, 2003
Further texts and resources will be indicated during the course of the lectures.
Linear systems theory, familiarity with a simulation software such as MATLAB