<  Back to the Polytechnique Montréal portal

Items where Author is "Cavalli, Ana R."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: C | G | M
Number of items: 9.

C

Coma, C., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2008, March). Context Ontology for Secure Interoperability [Paper]. 3rd International Conference on Availability, Reliability and Security, Barcelona, Spain. External link

Coma, C., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2008, November). Interoperability of Context Based System Policies Using O2O Contract [Paper]. IEEE International Conference on Signal Image Technology and Internet Based Systems, Bali, Indonesia. External link

G

Graa, M., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2014, May). Détection de flux de contrôle illégaux dans les Smartphones [Paper]. INFORSID 2014, Lyon, France. External link

Graa, M., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2014, November). Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps [Paper]. 7th International Symposium on Foundations and Practice of Security (FPS 2014), Montréal, Qc, Canada. External link

Graa, M., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2014, June). Protection against Code Obfuscation Attacks Based on Control Dependencies in Android Systems [Paper]. 8th IEEE International Conference on Software Security and Reliability-Companion, San Francisco, CA, USA. External link

Graa, M., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2013, December). Formal Characterization of Illegal Control Flow in Android System [Paper]. International Conference on Signal-Image Technology & Internet-Based Systems, Kyoto, Japan. External link

Graa, M., Boulahia Cuppens, N., Cuppens, F., & Cavalli, A. R. (2012, December). Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses [Paper]. 4th International Symposium on Cyberspace Safety and Security (CSS 2012), Melbourne, Australia. External link

Graa, M., Boulahia Cuppens, N., Autrel, F., Azkia, H., Cuppens, F., Coatrieux, G., Cavalli, A. R., & Mammar, A. (2011, September). Using Requirements Engineering in an Automatic Security Policy Derivation Process [Paper]. 6th International Workshop on Data Privacy Management (DPM 2011) and 4th International Workshop on Autonomous and Spontaneous Security (SETOP), Leuven, Belgium. External link

M

Mallouli, W., Orset, J.-M., Cavalli, A. R., Boulahia Cuppens, N., & Cuppens, F. (2007, June). A formal approach for testing security rules [Paper]. 12th ACM Symposium on Access control models and technologies (SACMAT 2007), Sophia, Antipolis, France. External link

List generated on: Wed Jul 17 08:22:22 2024 EDT