Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols.

Karim Hossen, Roland Groz, Jean-Luc Richier

Browse the full ICST paper archive.