Work & Injury

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.

Screenshot 2016-02-04 at 11.11.07 PM

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.

Work & Injury

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s