Faculty profile
Kamel Adi
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Université du Québec en Outaouais directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $138,000
Sécurité des systèmes et réseaux informatiques
NSERC · 2018 · Principal investigator
- $120,000
Sécurité des systèmes et réseaux informatiques
NSERC · 2011 · Principal investigator
- $381,060
Methods and tools for the design, validation, implementation, and testing of Security Policies
NSERC · 2007 · Co-investigator
Sécurité des systèmes et réseaux informatiques
Principal investigators: Adi, Kamel
Keywords: Algèbres de processus; Analyse de données; Apprentissage automatique; Méthodes formelles; Politiques de sécurité; Renforcement automatique; Réseaux; Sécurité informatique; Sémantique; Théorie des jeux
Sécurité des systèmes et réseaux informatiques
Principal investigators: Adi, Kamel
Methods and tools for the design, validation, implementation, and testing of Security Policies
Principal investigators: Logrippo, Luigi
Securité des systèmes et réseaux informatiques
Principal investigators: Adi, Kamel
Un environnement pour la spécification et l'analyse des protocoles de sécurité
Principal investigators: Adi, Kamel
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.