• Model-based Risk Analy...
• Permission based Andro...
• Analysis of Android Se...
• Towards Formal Analysi...
• Reliability Analysis o...
• Application of Formal ...
• Language-Based Securit...
• Towards Aspect-oriente...