Seminars

2018
Journée “Protection du code et des données, obfuscation & whitebox cryptography”. POLEN: Combining Polymorphism and Program Encryption to Guarantee Data and Code Confidentiality. December 2018, the 13th. pdf
Séminaire au laboratoire CITI : “Polen: a SW/HW approach to program and data confidentiality“. October 2018, the 18th. pdf
– Présentation à la conférence ADTC : “New Security Threats Related to IoT Nodes and Mobile Applications“. June 2018, the 12th.
Journée sur l’Injection de fautes : attaques physiques, protections logicielles et mécanismes d’évaluation de la robustesse: “Towards Fault Analysis of Firmware Updaters“. May 2018, the 29th. pdf

2017
– SIESTE @ ENS Lyon (Séminaire d’Informatique pour les Étudiants, Scientifiques, et Tous ceux que l’Informatique intéresse à l’ÉNS Lyon) – “ Les langages synchrones dans tous leurs états“. pdf

2016
– Journée langages LIP (web) – “Synchronous Languages 101“, together with Laure Gonnord. pdf

2015
– Journée Calcul LIP (web) – “NUMA Profiling for Dynamic Dataflow Applications“.pdf

2014
– Compilation and Execution of Streaming Programs (web) – “Runtime Monitoring of Throughput-Constrained Dataflow Programs“. pdf
– Journées SEMBA (web) – “Runtime Monitoring of Throughput-Constrained Dataflow Programs“. pdf

2013
– Seminar at the Turku University Computer Science Departement – “Dataflow Models of Computations and Languages“. pdf
– Presentation to members of GRAME (web) – “Compilation and Execution of Dataflow Programs“, together with Kevin Marquet. pdf

2011
– Seminar at the Turku University Computer Science Departement – “Synchronous Languages“. pdf
– Seminar at the Turku University Computer Science Departement. “Building Ambient Systems“. pdf

2010
– Seminar at the CITI Lab. “Java et le temps-réel“. pdf
– Seminar at the CITI Lab. “Lustre – a synchronous life“. pdf
– Seminar at the CITI Lab. “Formal Modeling of Multi-Task Device Drivers for the Validation of Timing Properties“. pdf

2009
– Workshop Synchron. “Formal Modeling of Multi-Task Device Drivers for the Validation of Timing Properties“. pdf

2007
– Verimag Workshop – “Rialto: A language for heterogeneous computations“. pdf
– LIESP Lab Seminar (INSA) – “Executable Contracts for Incremental Prototypes of Embedded Systems“. pdf

2006
– ARTIST Workshop on Models of Computations and Concurrency – “Rialto: A language for heterogeneous computations“. pdf