Having a target on life is important for my mind. Designing, implementing and evaluating are fun and let me learn, understand and apply aquired knowledge is one of my favourite targets. This is a list of my current projects:
PSOS stands for Portable Smartcard Operating System and is my most interesting current project. This OS is designed to be portable, secure, to conform ISO7816 specification in some degree and to possibly use it as a base for a Javacard smartcard.
Although the PSOS project will be GPL (I don't know what version), some parts of it are based on propietary specs (ISO7816, IC and processor features). To solve the IC problem I designed it using a HAL, as it should ease portability issues.
More in PSOS homepage
I'm currently in the designing phase of a set of tools to ease Common Criteria evaluation.
I always wanted to apply logic reasoning to IT security and finally I decided to start this project. The first goal is to design a simplified framework to define security elements in Linux such as uid, capabilities, kernel space, privilege escalations and more…
More information will be available as research goes on.