Sec2 is a project funded by Federal Ministry of Education and Research: http://www.sec2.org - View it on GitHub