13 citations · 21 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
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…
cs.SE2017★ 2 cited
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…