Набрел на сайт группы, в которой сейчас работает Михаль Москаль:
http://rise4fun.com. Там можно в онлайне поиграться с их разработками (обратите внимание на кнопку "Home", появляющуюся рядом с результатами разоты тулзов — это ссылка на сайт MSR, где лежат дополнительные материалы по каждому из них). Как на безопасника, на меня произвел впечатление BEK: DSL для построения и верификации санитайзеров (функций преобразования строк в их безопасное представление). Появилось сразу несколько мыслей о том, как реализовать его на nemerle более декларативно и с чуток большими возможностями. Алгоритм верификации там относительно несложный, можно попробовать.
Я это к чему... Вдруг кто еще подчерпнет идей оттуда?