issue 1 publication date 2016-01-17

• A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
• On the design and security of a lattice-based threshold secret sharing scheme
• Aggrandizing the beast's limbs: patulous code reuse attack on ARM architecture
• Self authentication path insertion in FPGA-based design flow for tamper-resistant purpose
• Unauthenticated event detection in wireless sensor networks using sensors co-coverage
• A new method for accelerating impossible differential cryptanalysis and its application on LBlock
• Persian Abstract