Michaël Rusinowitch

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Thesis:

Démonstration automatique par des techniques de réécritures

Directed Thesis:

Analyse automatisée des risques sur la vie privée dans les réseaux sociaux
Social Graph Anonymization
Contrôle d'accès efficace pour des données XML : problèmes d'interrogation et de mise-à-jour
Modèles de contrôle d'accès pour les applications collaboratives
Synthèse et compilation de services web sécurisés
Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés
Contributions à la vérification automatique de protocoles de groupes
Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels
Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Vérification des protocoles cryptographiques : comparaison des modèles symboliques avec une application des résultats : étude des protocoles récursifs
Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair
Classification du trafic et optimisation des règles de filtrage pour la détection d'intrusions
Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques
Sécurité des protocoles cryptographiques : décidabilité et complexité
Approximation de relations de transition : application à la vérification de systèmes infinis
Preuves par récurrence avec ensembles couvrants contextuels : applications à la vérification de logiciels de télécommunications
Preuves par induction implicite : cas des théories associatives-commutatives et observationnelles
Collaboration de solveurs pour la programmation logique à contraintes
Déduction automatique avec contraintes symboliques dans les théories équationnelles
Preuves automatiques par récurrence dans les théories conditionnelles