VYPER: Vulnerability detection in binary code

El Habib Boudjema; Sergey Verlan; Lynda Mokdad; Christèle Faure

doi:10.1002/spy2.100

Journal articles

VYPER: Vulnerability detection in binary code

El Habib Boudjema ¹ Sergey Verlan ¹ Lynda Mokdad ¹ Christèle Faure ²

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 SafeRiver

Document type :

Journal articles

Domain :

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02485434
Contributor : Sergey Verlan <>
Submitted on : Thursday, February 20, 2020 - 10:33:31 AM
Last modification on : Friday, February 21, 2020 - 1:21:11 AM

VYPER: Vulnerability detection in binary code

Links full text

Identifiers

Collections

Citation

Export

Metrics

81

VYPER: Vulnerability detection in binary code

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

81