13 citations · 21 across the 4 of their papers we have counts for
5 papers
Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning
Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent
The ability to efficiently detect the software protections used is at a prime to facilitate the selection and application of adequate deob-fuscation techniques. We present a novel…
Context-Updates Analysis and Refinement in Chisel
Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco
This paper presents the context-updates synthesis component of Chisel--a tool that synthesizes a program slicer directly from a given algebraic specification of a programming langu…
Software Model Checking: A Promising Approach to Verify Mobile App Security
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach +1
In this position paper we advocate software model checking as a technique suitable for security analysis of mobile apps. Our recommendation is based on promising results that we ac…
Towards Automated Android App Collusion Detection
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen +5
Android OS supports multiple communication methods between apps. This opens the possibility to carry out threats in a collaborative fashion, c.f. the Soundcomber example from 2011.…
Interacting via the Heap in the Presence of Recursion
Jurriaan Rot, Irina Măriuca Asăvoae, Frank de Boer +2
Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating ref…