ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Mon 15 Apr 2024 09:05 - 09:50 at Amadeo de Souza-Cardoso - Developing secure software Chair(s): Awais Rashid

Prof. Adam Joinson Director, ESRC Discribe Hub+, Deputy Director, EPSRC CDT TIPS-at-scale School of Management, University of Bath, UK.

Addressing the in-built technical vulnerabilities of our digital systems is a necessary pre-condition for a secure digital future - but not sufficient. The Discribe Hub+ has been centrally placed in the effort to move CHERI from a theoretical proposition to an architecture ready to be adopted at scale as part of the wider Digital Security by Design programme. As such, we have also witnessed the many and varied challenges and barriers between prototype and mass market adoption. In this talk I will outline the Digital Security by Design programme, and the lessons learnt for the adoption of secure by design technologies.

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Developing secure softwareEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Awais Rashid University of Bristol, UK
09:00
5m
Day opening
Wokshop opening
EnCyCriS/SVM
W: Coralie Esnoul Institute For Energy Technology (IFE)
09:05
45m
Keynote
Keynote: If you build it, they (probably) won’t come
EnCyCriS/SVM
K: Adam Joinson School of Management University of Bath
09:50
20m
Full-paper
WasmCFuzz: Structure-aware Fuzzing for Wasm Compilers
EnCyCriS/SVM
A: Xiangwei Zhang College of Intelligence and Computing, Tianjin University, A: Junjie Wang College of Intelligence and Computing, Tianjin University, A: Xiaoning Du Monash University, Australia, A: Shuang Liu Tianjin University
10:10
20m
Full-paper
Mitigating Security Issues in GitHub Actions
EnCyCriS/SVM
A: Hassan Onsori Delicheh University of Mons, Belgium, A: Tom Mens University of Mons