Adaptive Exploit Generation against Security Devices and Security APIs. - Robert Künnemann; Julian Biehl (CoRR, 2024)