29 citations · 51 across the 18 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013
Pushdown Systems for Monotone Frameworks
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and…
cs.CR2013
Design-Efficiency in Security
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis…