A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.

Bernhard Beckert, Gerd Beuster

Browse the full ICFEM paper archive.