Symbolic execution with SymCC: Don't interpret, compile! - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Symbolic execution with SymCC: Don't interpret, compile!

Sebastian Poeplau
  • Fonction : Auteur
Eurecom [Sophia Antipolis]
Aurélien Francillon
Eurecom [Sophia Antipolis]

Domaines

Calcul formel [cs.SC] Génie logiciel [cs.SE]

Sebastian Poeplau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02874078

Soumis le : jeudi 18 juin 2020-17:40:08

Dernière modification le : mardi 8 décembre 2020-10:05:32

Fichier non déposé

Dates et versions

hal-02874078 , version 1 (18-06-2020)

Identifiants

  • HAL Id : hal-02874078 , version 1

Citer

Sebastian Poeplau, Aurélien Francillon. Symbolic execution with SymCC: Don't interpret, compile!. USENIX Security Symposium 2020, Aug 2020, Boston, United States. ⟨hal-02874078⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EURECOM ANR
80 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More