Our automated cryptanalysis tools allow us to verify and measure security of any given cryptographic component very quickly. With such tools, we can design provably secure cryptographic components with any required properties: small enough to fit even on the smallest RFID powder chips or fast enough to secure much faster links than the industry can provide.