- C-rusted - BUGSENG Mailman

CSV24: Memory Safety for C-rusted
by Federico Serafini 02 Jun '24

02 Jun '24

Hello everyone, on Thursday 6th of June 2024, I will hold a presentation about C-rusted at the Symposium on "Challenges of Software Verification", which will take place at Ca' Foscari University of Venice: you are all invited! More information on the CSV24 can be found at: https://unive-ssv.github.io/csv.html https://www.unive.it/data/agenda/9/88896 The title of the presentation is "Memory Safety for C-rusted: Challenges and Possible Solutions". As you may have already guessed, the focus will be memory safety, in particular: - why memory safety is crucial; - different approaches to achieve memory safety; - the C-rusted approach to temporal and spatial memory safety. I hope to see you in Venice! Regards, Federico -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)

1 0

C-rusted Paper at ewC 2024
by Federico Serafini 29 Apr '24

29 Apr '24

Hello everyone, at the following link you can find the C-rusted paper presented at the embedded world Conference 2024 in Nuremberg, Germany, Session 6.13: Systems & Software Engineering, C/C++ https://www.bugseng.com/sites/default/files/resources/C-rusted_a_Formally_V… Any feedback is appreciated. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)

1 0

Test: ignore
by Federico Serafini 23 Feb '24

23 Feb '24

This is a test: please ignore. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)

1 0