Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications - 42Papers