|
|||||||||||
Zurich Information Security Center
We are affiliated with the Zurich Information Security Center (ZISC)
Events & News
Our current research projects include:
|
|
AVANTSSAR | Automated Validation of Trust and Security of Service Oriented Architectures |
|
|
NESSoS | Network of Excellence on Engineering Secure Future Internet Software Services and Systems |
|
|
|
SPACIOS | Secure Provision and Consumption in the Internet of Services |
|
|
|
SPINACH | Security Protocol Improvement and Adversary Change |
|
|
|
VerSePro | Verification of Security and Privacy Protocols for Wireless Networks |
|
|
|
Secure Resource Verification | Secure verification of Internet services and resources |
|
|
DEPLOY | Industrial Deployment of System Engineering Methods |
|
|
Model-based Testing of Security Policies |
|
|
SPOT | Secure Postioning (Localization) |
|
|
Device Identification | Physical-layer identification of wireless devices |
|
|
Jamming Resistance |
Anti-jamming techniques for wireless radio transmissions |
The left menu only lists those projects that are presented on our web pages.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information