Type-Based Analysis of PIN Processing APIs.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel

Browse the full ESORICS paper archive.