• Wed
    11
    Jul
    2018
    Fri
    13
    Jul
    2018
    Faculty Hall, Indian Institute of Science

    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.

    Show details
  • Fri
    23
    Feb
    2018
    14.00-15.30CSA Department, Room 254

    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.

    Show details
  • Mon
    12
    Feb
    2018
    Wed
    07
    Mar
    2018
    Robert Bosch Centre for Cyber-Physical Systems, Seminar Hall

    Instructor(s):  Dr. Arun Babu

    Schedule:  Mon & Wed 10.30-12pm, (First class Feb 12)

    Venue: RBCCPS Seminar Hall

    Syllabus:
    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.

    References/Texts:
    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,
    https://events.yandex.com/lib/talks/103/

    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

    Prerequisites:
    Knowledge of computer programming and computer networks, familiarity with UNIX like OS like Linux/*BSD/Solaris.

    Show details
  • Wed
    10
    Jan
    2018
    Fri
    27
    Apr
    2018
    Robert Bosch Centre for Cyber-Physical Systems, Seminar Hall

    Instructor: Dr. Atreyee Kundu

    Schedule: Wed & Fri 3.30-5pm, (First class on Jan 10)

    Venue: RBCCPS Seminar Hall

    Syllabus:
    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

    References/Texts:
    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.

    Prerequisites:
    Linear systems theory, familiarity with a simulation software such as MATLAB


    Show details