Security and Rewriting (Dagstuhl Seminar 11332)

Hubert Comom-Lundh, Ralf Küsters & Catherine Meadows
This report documents the program and the outcomes of Dagstuhl Seminar 11332 ``Security and Rewriting''.