ICFPC2013 и асимметричная криптография

tl;dr: задача ICFPC этого года эквивалентна построению универсальной ломалки для асимметричной криптографии (восстановить trapdoor-функцию с помощью chosen-plaintext атаки и оракула организаторов) вряд ли это intended, но забавно.

В связи с этим вопрос: есть ли вообще какие-либо статьи по применению SMT солверов для оптимизации решения discrete logarithm или factoring problem?

Чуть-чуть еще про security современных браузеров

...и иллюзию контроля над тем, что сайт делает у вас на машине

...а также иллюзию того, что историю и куки можно чистить, а от browser fingerprinting - уйти.

Я нашел чудесный сайт, на который можно аплодить картинки (и смотреть эти картинки, естественно), при этом ни аплоад, ни даунлоад не показывается в network debugger'e :)

HTML5 рулит, да. Никаких плагинов.

Это в дополнение к antidebug tricks, которые в JS тоже возможны, да)

P.S. я сайт пока не показываю потому что ищу, можно ли этой техникой раскопать внутренний IP посетителя и/или его айпи "до VPN"

UPDATE: PoC - http://wizzard.dreamwidth.org/306493.html