Dear IEEE Member

You are cordially invited to the following ECE & IEEE NZ North Computer Society free research seminar:

 Speaker:  Prof. RK  Shyamasundar, IIT Bombay

 Date: Tuesday, 26/03/2019

 Time: 11:00-12:00

 Title:  Readers Writers Flow Model: Applications to End-to-End Security

 Venue: Building 902, room 402 (Newmarket seminar room), 314-390 Khyber pass road​,​

  New market campus, University of Auckland.

 Contact: Dr. Avinash Malik/Prof. Partha Roop (avinash.malik@auckland.ac.nz)

Abstract: In this talk, we describe the novel IFC model called Readers-Writers Flow Model (RWFM)

using explicit readers and writers that provides a label model for capturing relationships and constraints

of information flow among the stakeholders. RWFM provides an application independent concrete

generative label model that is sound and complete with respect to Denning’s Model. This enables us to

establish  end-to-end security in decentralized applications. We shall demonstrate its applications

for building an information flow secure Linux operating System, IOT, Hadoop etc.

 Speaker Biographies:

 JC Bose National Fellow

 Distinguished Visiting Professor, Department of Computer Science and Engineering IIT Bombay, India.

 R K Shyamasundar is a Fellow of IEEE, a Fellow of ACM, Distinguished ACM Speaker, a Distinguished Alumnus of Indian Institute of Science,

 served as IEEE Distinguished Speaker, is currently JC Bose National Fellow, Distinguished V. Professor at the Department of Computer Science,

 IIT Bombay where he is the principal investigator of the Information Security Research and Development Centre (ISRDC) from

 Ministry of Electronics and Information Technology (MeiTY) from the Govt. of India.  He was awarded the 2014 SN Mitra award

 for excellence in research by the Indian National Academy of Engineering. Since 2015, he is holds the distinguished position of

 Scholar-in-Residence at IIT Jodhpur. He is the founding Dean of the School of Technology and Computer Science at TIFR. 

 He has made outstanding contributions to Real-Time Distributed Computing, Logics of Programs, Network and Computer Security.

 His research interests include distributed real-time systems, Logics of Programs, Concurrent and Parallel programming Languages,

Formal Methods, and Cyber Security etc. He has more than 300 publications, 8 books, 8 international patents, 3 Indian patents, and 3 Best Paper Awards. Thirty-five students have completed Ph.D. under his guidance, has served on IEEE Esterel Standards and served as consultant to ESPRIT projects. 

 He did post doctoral work under the legendary Turing Laureate Professor Dr. Edsger W. Dijkstra and was a Distinguished Visiting fellow

 under the UK Royal Academy of Engineering at the Computing Laboratory of University of Cambridge. He has also served as a

 Distinguished Visiting Fellow by the UK Royal Academy of Engineering in 2016 at the City University of London. He has served as

 Faculty/Staff at IBM TJ Research, Eindhoven University, State University of Utrecht, Pennsylvania State University, University of Illinois,

 University of California at San Diego at Lajolla, University of Cambridge, University of Linkoping, SUNU at Albany, UNM at Albuquerque,

 IRISA, INRIA, CWI, JAIST Japan, Max Planck Institute, IBM Research India etc.

 He was Founding Chair of conference series Foundations of Software Technology and Theoretical Computer Science (FSTTCS),

 founding President of Indian Association of Research in Computing Science (IARCS.), founding Dean of School of Technology and Computer Science and Founder of the Centre for Formal Design and verification of Software as a tri-partite centre among BARC, TIFR and IIT Bombay) located at IIT Bombay.

 He serves/served on the Governing Council of IIIT Allahabad, IIIT Jabalpur, CSIR Centre CMMACS (CSIR-FPI) Bangalore, serves on the

 Technical Advisory Board of BSE (Bombay Stock Exchange), and Research Advisory Board for Institute of Development and Research in

 Banking Technology (IDRBT) of RBI at Hyderabad. 

 He is a Fellow of Indian Academy of Sciences, Indian National Science Academy, National Academy of Sciences,

 National Academy of Engineering, India and a Fellow of the Academy of Sciences of the Developing world (TWAS), Trieste, Italy.

 He serves on the IEEE Fellow selection committee on Product safety. He has served on IEEE Esterel Standards Committee and

 serves on the Editorial board of Journal of Parallel and Distributed Computing, corresponding editor for Sadhana - Journal of Engineering Sciences

of the Indian Academy of Sciences etc. He is a recipient of Diamond Jubilee medal from IETE and also its’ Fellow.