..

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

Landes-Ofensive Entwicklung Wissenschaftlich-ökonomischer Exzellenz

IT Security Research at Technische Universität Darmstadt

The following IT security topics are dealt with by the departments of computer science, physics, electrical engineering and information technology, law, economic science, mathematics and mechanical engineering at the Technische Universität Darmstadt:

Topics that are supported by the LOEWE Initiative are highlighted in red.

  • Long-term secure cryptography: quantum cryptography, post-quantum cryptography
  • Provable security and formal verification
  • Security Policies
  • Software Security
  • Secure Middleware
  • Security Engineering
  • Trusted Computing
  • Public Key Infrastructures
  • Trust models and reputation
  • Electronic voting, eHealth, eCommerce, eGovernment
  • Identity Management
  • Facial Recognition
  • Enterprise Rights Management, Intellectual Property Protection, Data Protection and Copyrights
  • Multimedia security, security in online games
  • Public security, security-critical infrastructures and civil protection
  • Person Recognition and Tracking
  • IT Forensics
  • The economic aspects of IT security: Software Economics
  • Risk Management, Compliance
  • Security in embedded systems, self monitoring, self healing,

    software-hardware co-design, reconfiguration

  • RFID security
  • Malicious software detection
  • Software vulnerability detection
  • Secure certification of source code in supply chains

Contact

CASED Managing Director
Dr.-Ing. Michael Kreutzer

CASED
Mornewegstr. 32
64293 Darmstadt
Phone +49 6151 16-6165
Fax +49 6151 16-4825
michael.kreutzer{at}cased.de