1. Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

   • Muluken Hailesellasie
   • Syed Rafay Hasan

   OriginalPaper 18 October 2017 Pages: 1 - 14

   

2. Challenges and Opportunities in Analog and Mixed Signal (AMS) Integrated Circuit (IC) Security

   • Md Mahbub Alam
   • Sreeja Chowdhury
   • Domenic Forte

   OriginalPaper 27 November 2017 Pages: 15 - 32

   

3. A Survey of Side-Channel Attacks on Caches and Countermeasures

   • Yangdi Lyu
   • Prabhat Mishra

   OriginalPaper 27 November 2017 Pages: 33 - 50

   

4. Manufacturing Supply Chain and Product Lifecycle Security in the Era of Industry 4.0

   • Sujit Rokka Chhetri
   • Sina Faezi
   • Mohammad Abdullah Al Faruque

   OriginalPaper 15 December 2017 Pages: 51 - 68

   

5. Power Analysis Attack of an AES GPU Implementation

   • Chao Luo
   • Yunsi Fei
   • David Kaeli

   OriginalPaper 15 February 2018 Pages: 69 - 82

   

6. ESCALATION: Leveraging Logic Masking to Facilitate Path-Delay-Based Hardware Trojan Detection Methods

   • Arash Nejat
   • David Hely
   • Vincent Beroulle

   OriginalPaper 20 February 2018 Pages: 83 - 96