Institute for
HSR

Archive

Muen Separation Kernel

10.12.2013

The ITA released a first iteration of the Muen Separation Kernel, a formally verified open source kernel that is developed in the Ada based programming language SPARK using the GNAT Ada Toolset by...

Read more...
 

New c't publication

17.09.2007

"Easier tunneling" appearing in the 20/2007 c't edition (pp 210-213) explains the advantages of the new IKEv2 Internet Key Exchange protocol, which allows a considerably faster IPsec tunnel setup than the previous...

Read more...
 

strongSwan at IKEv2 Bakeoff

23.03.2007

ICSA Labs, known for their security certifications, organized from March  5-9 2007 in Orlando, Florida the third IKEv2 Interoperability Workshop. The Institute for Internet Technologies an Application (ITA) participated with...

Read more...
 

ITA meets ITA

11.11.2006

The Instituto Tecnológico de Aeronáutica (ITA), located in São José dos Campos, Brazil, organized the 8th International Symposium on Systems and Information Security (SSI 2006). The security conference was co-sponsored by IEEE...

Read more...
 

Astaro sponsors strongSwan

22.02.2006

Astaro Internet Security headquartered in Boston and Karlsruhe has become an official sponsor of the strongSwan VPN project. Astaro will integrate the strongSwan VPN Solution developed by ITA into the forthcoming new version 7 of...

Read more...