Cite
APA Citation
Given‐Wilson, T., Heuser, A., Jafri, N., & Legay, A. (2019). an automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurrency and computation, 31, n/a. http://access.bl.uk/ark:/81055/vdc_100095178978.0x00001f