Auteur
Jiaqi Zhang
Articles qui citent Jiaqi Zhang parmi les auteurs de la source. Un même nom peut désigner des chercheurs différents.
1 résultats
Articles qui citent Jiaqi Zhang parmi les auteurs de la source. Un même nom peut désigner des chercheurs différents.
1 résultats
AMV-Guard vérifie les mémoires liées à une action si les éléments recueillis peuvent changer la décision, et réduit le coût de vérification dans des tests simulés d’utilisation d’outils.