2018 IEEE 3rd International Verification and Security Workshop (IVSW)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538665442

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494895 ◽

2018 ◽

Author(s):

Rolf Drechsler

Keyword(s):

Design Methodology ◽

Digital Systems ◽

Next Generation

Download Full-text

Property Based Formal Security Verification for Hardware Trojan Detection

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494858 ◽

2018 ◽

Author(s):

Maoyuan Qin ◽

Wei Hu ◽

Dejun Mu ◽

Yu Tai

Keyword(s):

Hardware Trojan ◽

Hardware Trojan Detection ◽

Trojan Detection ◽

Security Verification

Download Full-text

Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494883 ◽

2018 ◽

Cited By ~ 3

Author(s):

Mosabbah Mushir Ahmed ◽

David Hely ◽

Etienne Perret ◽

Nicolas Barbot ◽

Romain Siragusa ◽

...

Keyword(s):

Non Invasive

Download Full-text

Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494868 ◽

2018 ◽

Cited By ~ 4

Author(s):

Alessandro Barenghi ◽

Luca Breveglieri ◽

Niccolo Izzo ◽

Gerardo Pelosi

Keyword(s):

Reverse Engineering

Download Full-text

About IVSW

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494888 ◽

2018 ◽

Download Full-text

Committees

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494864 ◽

2018 ◽

Download Full-text

On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494850 ◽

2018 ◽

Cited By ~ 1

Author(s):

Andrea Marcelli ◽

Ernesto Sanchez ◽

Luca Sasselli ◽

Giovanni Squillero

Keyword(s):

Embedded Processors ◽

Hardware Trojan

Download Full-text

Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494881 ◽

2018 ◽

Cited By ~ 1

Author(s):

Sofiane Takarabt ◽

Kais Chibani ◽

Adrien Facon ◽

Sylvain Guilley ◽

Yves Mathieu ◽

...

Keyword(s):

Embedded System ◽

System Evaluation ◽

Security Verification

Download Full-text

A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494839 ◽

2018 ◽

Cited By ~ 2

Author(s):

Haibo Su ◽

Mark Zwolinski ◽

Basel Halak

Keyword(s):

Machine Learning ◽

Two Stage ◽

Physical Unclonable Functions

Download Full-text

Security Analysis of Chaotic Baker Maps

2018 IEEE 3rd International Verification and Security Workshop (IVSW) ◽

10.1109/ivsw.2018.8494880 ◽

2018 ◽

Author(s):

Amira Elhamshary ◽

Yehea Ismail ◽

Said Elkhamy

Keyword(s):

Security Analysis

Download Full-text

2018 IEEE 3rd International Verification and Security Workshop (IVSW)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

Property Based Formal Security Verification for Hardware Trojan Detection

Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique

Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks

About IVSW

Committees

On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator

Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification

A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design

Security Analysis of Chaotic Baker Maps

2018 IEEE 3rd International Verification and Security Workshop (IVSW)
Latest Publications