dqi

using Jlsca.Sca
using Jlsca.Trs
using Jlsca.Align
using Jlsca.Aes
using PyCall
using PyPlot.plot,PyPlot.figure

@pyimport numpy

trs = InspectorTrace("traces.trs");

dqi

#!/usr/bin/env python
# -*- coding: utf-8 -*-

from pwn import *

context.terminal = ['mate-terminal','-e']
gdbargs = """
add-symbol-file p_struct.o 0
b show_player
commands

dqi

#!/usr/bin/env python
# -*- coding: utf-8 -*-

from Crypto.Util.number import *
import Crypto.PublicKey.RSA as RSA 
import sympy as sp

with open('key1','r') as f:
    n1 = long(f.readline().strip())

dqi

  #!/usr/bin/env python2
  # -*- coding: utf-8 -*-
  
  import angr
  import simuvex
  import logging
  
  logging.basicConfig(level=logging.INFO)
  logging.getLogger('angr.surveyors.explorer').setLevel(logging.INFO)
  

dqi

#!/usr/bin/env python
# -*- coding: utf-8 -*-

from z3 import *

values1 = [0x926d, 0x5475, 0x752, 0xb4c1, 0xc5c9, 0xa89e, 0x7372, 0x4004, 0xe15d,
           0x3922, 0x5262, 0x99ae, 0xd5e5]
values2 = [50936, 4809, 6019, 38962, 14794, 22599, 837, 36727, 50592, 11829,
           20046,9256, 53228]
values3 = [38730, 52943, 16882, 26907, 44446, 18601, 65221, 47543, 17702, 33910,