Paulo Esteves-Veríssimo (University of Luxembourg, SnT, CritiX)
A great deal of society’s stakes is today placed on the cyber sphere. The pillars of this new environment are critical information infrastructures (CII), where an accelerated convergence, or integration, of information technology (IT) like the internet-cloud complex, and operational technology (OT) like cyber-physical systems, is becoming the norm e.g., in utilities, like power grid operators, or transportation systems, including autonomous vehicles.
This global convergence leads to extremely large-scale and decentralised computer and network systems, in whose interconnection the natural difference of the threat and risk models of both kinds of realms (IT/OT) is sometimes not taken into account, opening threat surfaces both to occasional accidents and targeted attacks, or advanced persistent threats (APT).
We believe, and discuss in the talk, that paradigms and techniques are required that endow systems with the capacity of defeating incremental adversary power and sustaining perpetual and unattended operation, in a systematic and automatic way.
Paulo Esteves-Veríssimo is a Professor and FNR PEARL Chair at the University of Luxembourg Faculty of Science, Technology and Communication (FSTC), since fall 2014, and head of the CritiX lab (Critical and Extreme Security and Dependability) at SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the same University (https://wwwen.uni.lu/snt). He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a Professor of the Univ. of Lisbon, member of the Board of the same university and Director of LaSIGE (http://lasige.di.fc.ul.pt). Veríssimo is Fellow of the IEEE and Fellow of the ACM, and he is associate editor of the IEEE Transactions on Computers (TC - 2015---). He is currently Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference. He is currently interested in secure and dependable distributed architectures, middleware and algorithms for: resilience of large-scale systems and critical infrastructures, privacy and integrity of highly sensitive data, and adaptability and safety of real-time networked embedded systems. He is author of over 180 peer-refereed publications and co-author of 5 books.
Eduardo Tovar (CISTER Research Center, ISEP/IPP Porto)
Large-scale and dense sensor/actuator deployments pose fundamental challenges concerning both interconnectivity and processing of huge quantities of information. Think about the simple example of obtaining the minimum value among cents of sensor readings. Or think about the more sophisticated active flow control application where through proper modulation of aircraft skin surfaces a significant reduction of drag and related fuel consumption (and emissions) may be attained. Currently available approaches for data processing in such large-scale very dense deployments of sensors lead to energy-waste and long response-times from sensing to actuation. This talk will address emerging techniques that are able to allow scalable and efficient data processing in large-scale dense cyber-physical systems.
Eduardo Tovar was born in 1967 and has received the Licentiate, MSc and PhD degrees in electrical and computer engineering from the University of Porto, Porto, Portugal, in 1990, 1995 and 1999, respectively. Currently he his Professor in the Computer Engineering Department at the School of Engineering (ISEP) of Polytechnic Institute of Porto (IPP), where he is also engaged in research on real-time distributed systems, wireless sensor networks, multiprocessor systems, cyber-physical systems and industrial communication systems. He heads the CISTER Research Unit, an internationally renowned research centre focusing on RTD in real-time and embedded computing systems. He is deeply engaged in research on real-time distributed systems, multiprocessor systems, cyber-physical systems and industrial communication systems. He is currently the Vice-chair of ACM SIGBED (ACM Special Interest Group on Embedded Computing Systems) and was for 5 years, until December 2015, member of the Executive Committee of the IEEE Technical Committee on Real-Time Systems (TC-RTS). Since 1991 he authored or co-authored more than 150 scientific and technical papers in the area of real-time and embedded computing systems, with emphasis on multiprocessor systems and distributed embedded systems. Eduardo Tovar has been consistently participating in top-rated scientific events as member of the Program Committee, as Program Chair or as General Chair. Notably he has been program chair/co-chair for ECRTS 2005, IEEE RTCSA 2010, IEEE RTAS 2013 or IEEE RTCSA 2016, all in the area of real-time computing systems. He has also been program chair/co-chair of other key scientific events in the area of architectures for computing systems and cyber-physical systems as is the case of ARCS 2014 or the ACM/IEEE ICCPS 2016 or in the area of industrial communications (IEEE WFCS 2014).
Rodolfo Azevedo ( Computing Institute - UNICAMP )
Instruction sets are at the core of every processor, providing the unambiguous specification of all expected behavior for every processor. At the same time, it also imposes restrictions on code execution, and even to computer performance. While some argument that they have language constructors independent of instruction set, others embrace their restrictions to build the infrastructure upon. In this talk, we are going to show some basic properties and diferences of instruction sets, how they evolve in the past years, how to take advantage of them, and some possible improvements we can expect.
Rodolfo Azevedo is an Associate Professor at University of Campinas - UNICAMP. He got his PhD degree in Computer Science at UNICAMP. During his career, he (co-)advised 9 PhD and 30 Master students. From 2007 to 2009 he coordinate UNICAMP Computer Science graduate program. During his career, he got 22 Awards, including the Zeferino Vaz Academic Award and the newly created UNICAMP Teaching Award in 2012, 3 best papers in conferences, and 5 as advisor of awarded student. Currently he is the Diretor of the Institute of Computing, at UNICAMP and also the Technology Transfer Director of the Center for Computational Engineering & Sciences.