Risks and potentials of using EMV for internet payments
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
We report on random stimuli generation for hardware verification at IBM as a major application of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments. Copyright © 2007, American Association for Artificial Intelligence. All rights reserved.
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Amarachi Blessing Mbakwe, Joy Wu, et al.
NeurIPS 2023
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Rie Kubota Ando
CoNLL 2006