CASED publication
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs
Eric Bodden
In: FOAL ’12: International Workshop on the Foundations of Aspect-Oriented Languages,
March 2012.
CASED is funded by
Secure use of ubiquitous computers
At CASED, more than 170 scientists dedicate their research to the improvement of global IT security. In three departments, they focus on the following research topics:
Secure Data
How to ensure confidentiality, authenticity, non-repudiability and intellectual property rights management for digital data
Protection of sensitive company data, intellectual property and privacy of
people constitutes a perpetual challenge for industries, authorities and the
public health sector. At CASED, scientists will
develop new techniques in the field of encryption, electronic signature and
digital watermarking and more. These innovative techniques will ensure
confidentiality, privacy, authenticity as well as non-repudiability of digital
data and long-term protection of intellectual property rights.
Head of department is Prof. Johannes Buchmann
Secure Things
How to protect embedded systems from manipulation and forgery
Computer that are (invisibly) integrated in our daily life will soon operate
ubiquitously as embedded systems: They pose an essential prerequisite for
progress in industry, as well as in research. Embedded computer can be found
for instance as an integral part of automobiles and planes or in the field of
medical engineering and logistics. Therefore, developing solutions designed to
protect embedded systems from manipulation and forgery is a high priority for
research and development in CASED.
Head of department is Prof. Dr. Ahmad-Reza Sadeghi
Secure Services
How to trust services in the internet of the future
In the internet of the future, services of different providers will
collaborate in all areas such as material, finance and personal management or
in production planning. Users are going to combine different services tailored
to their preferences. CASED will therefore play a
crucial role in ensuring a confidential and traceable utilization process for
these services.
Head of department is Prof. Dr. Max Mühlhäuser