Sie beschäftigten sich mit der Typumwandung von C++. Ein neuartiges Prüfverfahren kann als falschen Zuweisungen resultierende Sicherheitsprobleme erkennen. Ein Prototyp ermittelte so schon elf bisher unbekannte Schwachstellen - darunter zwei in Firefox.
