Peace be upon you
Today I am just going to point to some cool project at Microsoft research, this project are very useful if you from the point where you take it's concept, here is listing for the projects:
SecPAL : Security Policy Assertion Language
Singularity :build a highly-dependable operating system in which the kernel, device drivers, and applications are all written in managed code, Imagine Opreating System based on something like dot NET framework.
Audio Watermarking tool
Thanks for your time.