Erik Poll

Erik Poll

Radboud University Nijmegen
Verified email at cs.ru.nl
Cited by 6480
software security smartcards LangSec formal methods
Lars Hermerschmidt

Lars Hermerschmidt

Software Engineering Group, RWTH Aachen University
Verified email at se-rwth.de
Cited by 470
LangSec Security Architecture Software Security