Dr. Akka Zemmari has received his Ph.D. degree from the University of Bordeaux, France, in 2000. He is an Associate Professor in Computer Science since 2001 at University of Bordeaux, France. His research interests include distributed algorithms and systems, graphs, randomized algorithms, machine learning and security. He is heading the Distributed algorithms team at the University of Bordeaux. He has participated to national research projects, European research projects, and Europe-India projects. He has about 50 research papers published in international journals and conference proceedings and he is involved in program committees and organization committees of international conferences.

 Professor, Polytechnic Institute of Bordeaux (Bordeaux INP), France

 Director of Industrial Partnerships, France

 Deputy Director of LaBRI, France

Models and Approaches for the Safety and the Security of Distributed Systems

Abstract

 Problems related to distributed systems are a major concern of research in computer science. We can particularly mention design and development of distributed architectures, distributed programming environments, specification and verification of distributed algorithms, as well as the study of (wired or wireless) communication networks. For the success of all those undertakings it is crucial to master the mechanisms and small-scale phenomena at the foundations of such systems. This talk will focus of different models that are used to check the safety and the security these systems. By combining different approaches, it is possible to formally prove the correction of distributed algorithms. Many examples will be presented including classical distributed algorithms.

 Bio

 Dr. Mohamed Mosbah is a Professor in Computer Science at the Polytechnic Institute of Bordeaux, France. He is currently the Director of Industrial Partnerships and Innovation. He carries his research in LaBRI in computer science common with the University of Bordeaux and CNRS, where he is currently the Deputy Director. His research areas include distributed systems and algorithms, simulation tools, safety and security protocols, and wireless networks. In particular, he is leading a project over the last years to develop a new model together with an integrated methodological framework for distributed algorithms. In addition to capturing classical distributed systems concepts, this framework provides methods and software tools to design, prove and implement distributed algorithms and protocols. This platform is used to teach courses in distributed systems for Graduate computer science students, and also to test and prototype algorithms. He has written more than 60 articles and developed software tools, and he is involved in various technical program committees and organizations of many international conferences. He is also involved in many research projects, mainly with industrial aeronautic companies. He has directed over 52 Master’s theses and over 18 PhD dissertations.

Dr. Priyadarsi Nanda

Senior Lecturer, University of Technology Sydney, Ausrtalia 

Core Member, INEXT - Innovation in IT Services and Applications

Core Member, CRIN - Centre for Realtime Information Networks

 Software Defined Perimeter : "A new way to protect Network Systems against Cyber Threats"

 

 

Due to large variety of devices present in computer network systems, cyber security plays a major role to secure and improve the network and system performances. In recent days, cyber security has been gaining lots of global interest and remains an open research space for future connected technologies. Traditional TCP/IP oriented networks implement security solutions after connections are established across devices in the network. In such scenario, attackers get a chance to enter the data communication stage before authentication process even takes place. To overcome such situation, Cloud Security Alliance recently came up with a novel idea called "Software Defined Perimeter (SDP)" to authenticate first before communication. SDP is designed with three major elements. First, a security model is used to verify identity of the devices or users, and roles for access before granting devices for connection to the protected systems. Second, verification using different advanced crypto schemes are then used to ensure that, the security model is being strictly followed. Finally, any security solution to above two issues are then proven in public domain security controls. In this talk we explore above schemes using various examples and present strategies to combat future threats using SDP.

Title

Sushmita Ruj

Assistant Professor, Indian Statistical Institute, Kolkata 

Senior Member of IEEE and ACM

Blockchains for Secure Data Storage

 

 Individuals and enterprises often outsource data to Cloud. Cloud service providers can be malicious and tamper with the data. Cloud service providers can also give access to unauthorized individuals and organizations. Cryptographic techniques to protecting the security and privacy of cloud data/users will be discussed. Blockchains are recently being used for a variety of purposes. In this talk I will present protocols to secure store and share data using blockchains. I will also talk about some of our ongoing efforts.

 Sushmita Ruj is an Assistant Professor at Indian Statistical Institute, Kolkata. She received her B.E. degree from Indian Institute of Engineering, Science and Technology (IIEST), Shibpur, India and Masters and Ph.D. from Indian Statistical Institute, India, all in Computer Science. She was a Erasmus Mundus Post Doctoral Fellow at Lund University, Sweden, Post Doctoral Fellow at University of Ottawa, Canada. She was an Assistant Professor at Indian Institute of Technology, IIT, Indore. She was a visiting researcher at KDDI R&D Labs, Japan, University of Wollongong, Australia, INRIA, France, Kyushu University, Japan and has been on short visits to many universities around the world. Her research interests are in applied cryptography, security and network analysis. She is currently working on blockchains, cryptocurrencies, cloud security, security and privacy in IoT, mobile ad hoc networks, vehicular networks, smart grids, social networks and analysis of complex networks, combinatorics and cryptography. Sushmita has served as Program Co-Chair for many IEEE/ ACM workshops and have served as TPC member of many top tier conferences. She won best paper awards at ISPA 2007 and IEEE PIMRC 2011. She received Samsung GRO award, NetApp Faculty Fellowship, Cisco University Research Grant. Sushmita is a Senior member of ACM and IEEE.