Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Erik Poll
My backgroud is in formal methods and over the years I have
been looking into applying such methods to analyse and improve security.
In more detail, my main research interests are
security: software
security; smartcards and smartcard applications, such as electronic passports and EMV;
security protocols; security of online identification and payment systems and smart grids.
formal methods:
using formal methods to improve software security
(protocol analysis, fuzzing, model-based testing, and automated
reverse engineering);
formal specification
and verification; foundations of object-oriented programming
languages, in particular Java and Java Card, and the specification
language JML.