Kontakt zum IKS
Am Fasanengarten 5
Geb. 50.34
D-76131 Karlsruhe
Tel.: + 49 721 608-44205
Fax: + 49 721 608-55022
E-Mail: info(at)iks.kit.edu
Research areas at IKS
Provable Security
Broadcast Encryption and Traitor Tracing
Broadcast encryption methods allow to send encrypted information to a certain (privileged) amount of users.
Security Models
Formal security models are necessary for mathematically sound security proofs. However, what properties are crucial for a system's security, depends on the considered application.
Lattice-based Cryptography
We construct and analyze cryptographic systems whose security is based upon the hardness of certain computational problems in lattices.
(Fully) Homomorphic Encryption
While the construction of cryptographic methods for secure communication is a well-studied area, research in cryptographic methods, which allow you to compute on encrypted data homomorphically, is still at its beginning.
Secure Cloud Computing
Cloud Computing facilitates ressource efficient and flexible computing as well as the use of large data stores.
Secure Database Outsourcing
Due to improvements in virtualization and network technology, outsourcing of services promises lower costs.
Secure Function Evaluation
How can two mutually distrusting millionaires find out which of them is richer without revealing any further information about their wealth?
Secure Social Networks
Participation in social networks, e.g., Facebook, is now everyday life for many people. We at the IKS look at privacy issues and deal with methods which might increase the privacy level of the user data.
Secure E-Voting
Elections are a fundamental component in every democracy. We work on cryptographic voting methods which allow a new form of verifiability.
SOKEN - SOcial Key Exchange Network
SOKEN is a method for obtaining an ad-hoc key exchange network. This network employs day-to-day encounters of its participants to exchange key material.
Special Hardware for Cryptanalysis
We investigate the limits of specialized hardware to factor integers and to perform algebraic attacks on block ciphers.
Symbolic Cryptography
Security analysis of cryptographic protocols is a complex and error-prone work. To restrain complexity of this task, symbolic cryptography was developed.
Wireless Key Exchange
We investigate the possibility of performing secure key exchange based on a physical phenomenon called multipath interference.