Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Erik Poll
Radboud University Nijmegen
Verified email at cs.ru.nl
Cited by 6480
software security
smartcards
LangSec
formal methods
Lars Hermerschmidt
Software Engineering Group, RWTH Aachen University
Verified email at se-rwth.de
Cited by 470
LangSec
Security Architecture
Software Security
Privacy
Terms
Help
About Scholar
Search help