Blazy, Sandrine, 19..-...., chercheuse en informatique
Blazy, Sandrine
Sandrine Blazy chercheuse en informatique
VIAF ID: 305031190 ( Personal )
Permalink: http://viaf.org/viaf/305031190
Preferred Forms
- 100 1 _ ‡a Blazy, Sandrine
- 100 1 _ ‡a Blazy, Sandrine
-
- 100 1 _ ‡a Blazy, Sandrine
- 100 1 _ ‡a Blazy, Sandrine, ‡d 19..-...., ‡c chercheuse en informatique
- 100 0 _ ‡a Sandrine Blazy ‡c chercheuse en informatique
4xx's: Alternate Name Forms (1)
5xx's: Related Names (6)
- 510 2 _ ‡a Conservatoire national des arts et métiers ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a IIE ; PARIS 1990
- 510 2 _ ‡a Institut National de Recherche en Informatique et en Automatique ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut de Recherche en Informatique et Systèmes Aléatoires ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut de Recherche en Informatique et Systèmes Aléatoires
- 510 2 _ ‡a Université de Rennes 1 ‡b Campus Beaulieu ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Abstractions de la forme des structures de données supportant partage et disjonctions. | |
Actes de la conférence JFLA2008 : Journées Francophones des Langages Applicatifs : 26 au 29 janvier 2008, Etretat, France | |
Analyse de dépendances ML pour les évaluateurs de logiciels critiques. | |
Certification of an Instruction Set Simulator | |
Certification of the transformation of proof tasks. | |
Certified Compilation and Worst-Case Execution Time Estimation | |
Compilation certifiée de SCADE/LUSTRE | |
Compilation formellement vérifiée et estimation du pire temps d'éxécution. | |
Compilation vérifiée et sécurisée contre les canaux cachés temporels. | |
Cryptography in the wild : the security of cryptographic implementations | |
Data obfuscation against dynamic program analysis. | |
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq | |
Formal Security Proofs of Cryptographic : A necessity achieved using EasyCrypt. | |
Formal verification of a methodology for the design and production of safety-critical digital systems. | |
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog | |
Formally verified compilation of low-level C code. | |
Infeasible Path Detection : a Formal Model and an Algorithm | |
Interactive theorem proving, [2013]: | |
A meta-approach to describe effectful and distributed semantics | |
Une méta-approche pour décrire des sémantiques distribuées et avec effets. | |
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels | |
Methods and tools for specification and proof of difficult properties of sequential programs. | |
ML Dependency Analysis for Critical-Software Assessors. | |
Obfuscation de données pour la protection de programmes contre l'analyse dynamique | |
Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools. | |
Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. | |
Préservation des propriétés dans un flot de compilation optimisant. | |
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants | |
Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt | |
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. | |
Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d’exploitation dans Coq. | |
Proofs of security protocols : symbolic methods and powerful attackers. | |
Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps | |
Separation logic and deductive verification. | |
Shape abstractions with support for sharing and disjunctions | |
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : Proceedings | |
Structurer un interpréteur abstrait autour d'abstractions d'états et de valeurs : EVA, une analyse de valeurs évoluée pour Frama-C. | |
Usuba, compilateur bitslicing optimisant. | |
Vérification d'analyses statiques pour langages de bas niveau | |
Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée | |
Vérification formelle du fonctionnement d'un autopilote : analyse statique et génération de code vérifiée | |
Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques | |
Verification formelle et optimisation de l'allocation de registres | |
Verified information flow control applied to cyber-physical systems. | |
Verified programming and secure integration of operating system libraries in Coq | |
Verified Secure Compilation against Timing Side-Channels | |
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | |
Verified static analyzes for low-level languages. | |
Vote électronique : définitions et techniques d'analyse |