Automated Reverse Engineering using Lego®
暂无分享,去创建一个
[1] Frits W. Vaandrager,et al. Inference and Abstraction of the Biometric Passport , 2010, ISoLA.
[2] David Lee,et al. Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning , 2008, FORTE.
[3] Jean-Pierre Szikora. Banques en ligne : à la découverte d'EMV-CAP , 2011 .
[4] Joeri de Ruiter,et al. Designed to Fail: A USB-Connected Reader for Online Banking , 2012, NordSec.
[5] Radu Mateescu,et al. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes , 2011, TACAS.
[6] Dawn Xiaodong Song,et al. Inference and analysis of formal models of botnet command and control protocols , 2010, CCS '10.
[7] Vir V. Phoha,et al. When kids' toys breach mobile phone security , 2013, CCS.
[8] Frits W. Vaandrager,et al. Applying Automata Learning to Embedded Control Software , 2015, ICFEM.
[9] Radu Mateescu,et al. CADP 2011: a toolbox for the construction and analysis of distributed processes , 2012, International Journal on Software Tools for Technology Transfer.
[10] Mike Bond,et al. 2010 IEEE Symposium on Security and Privacy Chip and PIN is Broken , 2022 .
[11] Nicole Krämer,et al. Learning stateful models for network honeypots , 2012, AISec.
[12] Jean-Pierre Seifert,et al. SMS of Death: From Analyzing to Attacking Mobile Phones on a Large Scale , 2011, USENIX Security Symposium.
[13] Radu Mateescu,et al. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes , 2007, CAV.
[14] Steven J. Murdoch,et al. Optimised to Fail: Card Readers for Online Banking , 2009, Financial Cryptography.
[15] Tiziana Margaria,et al. LearnLib: a framework for extrapolating behavioral models , 2009, International Journal on Software Tools for Technology Transfer.
[16] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[17] Joeri de Ruiter,et al. Formal Models of Bank Cards for Free , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
[18] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.