17 Mar 2022 → 21 Apr 2022 Seminar Software security : what role can programming languages play? 17 Mar 2022 → 21 Apr 2022 Share Facebook X (ex-Twitter) Linkedin Copy url
from Thursday 17 March to Thursday 21 April 2022 See also: Related LectureXavier Leroy Documents and media Download program pdf (639.92 KB) Program Lecture 09:30 - 11:00 Software security : introduction and case studies Xavier Leroy 10 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00 Lecture 09:30 - 11:00 Information flow Xavier Leroy 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Influence of specification quality on software security Olivier Levillain 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15 Lecture 09:30 - 11:00 Software isolation Xavier Leroy 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15 Lecture 09:30 - 11:00 Tempus fugit : time observation attacks Xavier Leroy 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15 Lecture 09:30 - 11:00 Typing and safety Xavier Leroy 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Fault injection attacks and software protection Karine Heydemann 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 11:15 - 12:15 Lecture 09:30 - 11:00 Compilation and safety Xavier Leroy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Software obfuscation : scrambling code to protect programs Sandrine Blazy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 11:15 - 12:15 Lecture 09:30 - 11:00 Calculate with figures or private data Xavier Leroy 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 09:30 - 11:00 Seminar 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 11:15 - 12:15 See also Lecture related to the seminar: Software security : what role can programming languages play? Xavier Leroy, chair Software Science
Lecture 09:30 - 11:00 Software security : introduction and case studies Xavier Leroy 10 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Information flow Xavier Leroy 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Influence of specification quality on software security Olivier Levillain 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15
Lecture 09:30 - 11:00 Software isolation Xavier Leroy 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15
Lecture 09:30 - 11:00 Tempus fugit : time observation attacks Xavier Leroy 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15
Lecture 09:30 - 11:00 Typing and safety Xavier Leroy 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Fault injection attacks and software protection Karine Heydemann 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 11:15 - 12:15
Lecture 09:30 - 11:00 Compilation and safety Xavier Leroy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Software obfuscation : scrambling code to protect programs Sandrine Blazy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 11:15 - 12:15
Lecture 09:30 - 11:00 Calculate with figures or private data Xavier Leroy 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 09:30 - 11:00
Seminar 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 11:15 - 12:15
