Attack on The EMV Smartcard Standard: man in the middle exploit with 2 smartphones
EMV is the international protocol standard for smartcard payment and is used in over 9 billion cards worldwide. Despite the standard’s advertised security, various issues have been previously uncovered, deriving from logical flaws that are hard to spot in EMV’s lengthy and complex specification, running over 2,000 pages. We formalize a comprehensive symbolic model of Read more about Attack on The EMV Smartcard Standard: man in the middle exploit with 2 smartphones[…]