This week, a new blog post about my ongoing work on software security has been published on the SEI blog. This work is being very exciting and I am currently working on other publication. During the next week, I will also work on a code generator that will transform an architecture model into C code executed on top of seL4, the only formally verified kernel that has been used for the HACMS program from DARPA. This will facilitates the design, implementation and verification of secure systems.
On a running side, running is becoming so painful that I no longer enjoy it. Every step is painful. A pause is necessary after every mile.
I need a new strategy to recover, avoid any permanent damage and maintain my fitness level. But running is no longer an option.
More on that soon.