Cuoq, Pascal, 1975-....
VIAF ID: 197881601 ( Personal )
Permalink: http://viaf.org/viaf/197881601
Preferred Forms
- 100 1 _ ‡a Cuoq, Pascal ‡d 1975-...
- 100 1 _ ‡a Cuoq, Pascal, ‡d 1975-....
Works
Title | Sources |
---|---|
Adding synchrony to strongly typed functional languages. | |
Ajout de synchronisme dans les langages fonctionnels fortement typés | |
Analyses de code binaire pour la détection et le déclenchement de use-after-free. | |
Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire. | |
Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free |