Application of Artifact-Based RE in Fortified Cards. - Sayli Pradhan; Aniket V. Patil; Birgit Penzenstadler (RE, 2016)