The Home as a Content Provider for Mash-Ups with External Services, 2009 6th IEEE Consumer Communications and Networking Conference, pp.1-5, 2009. ,
DOI : 10.1109/CCNC.2009.4784722
Matching in security-by-contract for mobile code, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.340-358, 2009. ,
DOI : 10.1016/j.jlap.2009.02.013
Security-by- Contract for the OSGi framework ,
A Load Time Policy Checker for Open Multi-application Smart Cards, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, pp.153-156 ,
DOI : 10.1109/POLICY.2011.40
On lightweight mobile phone application certification, Proceedings of the 16th ACM conference on Computer and communications security, CCS '09, pp.235-245, 2009. ,
DOI : 10.1145/1653662.1653691
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.4433
Design and Implementation of a Fine-grained Resource Usage Model for the Android Platform, IJAIT, 2010. ,
Semantic-Based Mashup of Composite Applications, IEEE Transactions on Services Computing, vol.3, issue.1, pp.2-15, 2010. ,
DOI : 10.1109/TSC.2010.8
Semantically rich application-centric security in Android, Proceedings of ACSAC 2009, pp.340-349, 2009. ,
DOI : 10.1002/sec.360
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.9444
Component-Based Access Control: Secure Software Composition through Static Analysis, Software Composition, pp.68-83, 2008. ,
DOI : 10.1007/978-3-540-78789-1_5
URL : https://hal.archives-ouvertes.fr/inria-00270942
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1076-1082, 2008. ,
DOI : 10.1109/COMPSAC.2008.149