English
Français
Sign in
Summer School on Cyber-Physical Systems - Slides
Slides of the lectures
General Info Program Application & Registration Venue Hotel Social Event Slides Videos
You will find below the slides of the lectures.
Prof. Jean-Claude Bajard: Useful Arithmetic for Cryptography
Prof. Gilles Barthe and Prof. Yassine Lakhnech: Computer-Aided Cryptographic Design and Analysis
Prof. Manfred Broy: Model Based Software and Systems Engineering: Elements of Seamless Development
Prof. Olivier Coutelou: Sensor Networks for industrial usage
As per request of the speaker, the slides have been removed from the Website.
Dr. Julien Francq: Hardware Trojans: Taxonomy and Detection Methods
Prof. Kim Larsen and Prof. Alexandre David: Symbolic and Statistical Model-Checking in UPPAAL.
Dr. David Lesens: Modelling in an industrial context
Prof. Peter Marwedel: Efficient Computing in Cyber-Physical Systems
Prof. Doron Peled: Components based systems with probabilities
Prof. Pavithra Prabhakar: Formal Verification of Cyber-Physical Systems
Prabhakar.pdf Prabhakar.key (Keynote)
Dr. Emmanuel Prouff: Side Channel Analysis Based on Linear Regression: From Paper to Silicium
Prof. Oleg Sokolsky: Challenges in Medical CPS
Prof. Martin Törngren: Integrating Viewpoints in the Development of CPS
Prof. Jocelyne Troccaz: Medical CyberPhysical Systems in use: the example of Computer-Assisted Medical Interventions
Prof. Thomas Watteyne: Standardizing the Internet of (Important) Things: IEEE802.15.4e Low-Power Mesh Technology and 6TSCH.
The author has requested his slides not to be uploaded.
