掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Verification and Security Workshop
IEEE International Verification and Security Workshop
召开年:
2018
召开地:
Costa Brava(ES)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design
机译:
机器学习抗攻击的两阶段物理不可克隆功能设计
作者:
Haibo Su
;
Mark Zwolinski
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Mirrors;
Security;
Reliability;
Resilience;
Machine learning;
Transistors;
Mathematical model;
2.
Hardware Trojan Detection and Functionality Determination for Soft IPs
机译:
软IP的硬件木马检测和功能确定
作者:
Thao Le
;
Lucas Weaver
;
Jia Di
;
Shaojie Zhang
;
Yier Jin
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Trojan horses;
Hardware;
IP networks;
Pattern matching;
Filtering;
Security;
Tools;
3.
Property Based Formal Security Verification for Hardware Trojan Detection
机译:
用于硬件木马检测的基于属性的形式安全验证
作者:
Maoyuan Qin
;
Wei Hu
;
Dejun Mu
;
Yu Tai
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Security;
Logic gates;
Hardware;
Integrated circuit modeling;
Trojan horses;
Complexity theory;
Semantics;
4.
A New Secure Stream Cipher for Scan Chain Encryption
机译:
用于扫描链加密的新型安全流密码
作者:
Mathieu Da Silva
;
Emanuele Valea
;
Marie-Lise Flottes
;
Sophie Dupuis
;
Giorgio Di Natale
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Ciphers;
Encryption;
Registers;
IP networks;
Fuses;
5.
Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification
机译:
硅前嵌入式系统评估作为用于安全验证的新EDA工具
作者:
Sofiane Takarabt
;
Kais Chibani
;
Adrien Facon
;
Sylvain Guilley
;
Yves Mathieu
;
Laurent Sauvage
;
Youssef Souissi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Tools;
Signal to noise ratio;
Embedded systems;
Measurement;
Cryptography;
Integrated circuits;
6.
Using Physical and Functional Comparisons to Assure 3rd-Party IP for Modern FPGAs
机译:
使用物理和功能比较来确保现代FPGA的第三方IP
作者:
Adam Hastings
;
Sean Jensen
;
Jeffrey Goeders
;
Brad Hutchings
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
IP networks;
Hardware design languages;
Field programmable gate arrays;
Hardware;
Design tools;
Tools;
Optimization;
7.
Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT
机译:
基于MCU的连接设备的硬件安全评估平台:应用于医疗保健物联网
作者:
Zahra Kazemi
;
Athanasios Papadimitriou
;
David Hely
;
Mahdi Fazcli
;
Vincent Beroulle
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Hardware;
Software;
Cryptography;
Tools;
Medical services;
Safety;
8.
Physical Inspection Attacks: New Frontier in Hardware Security
机译:
物理检查与攻击:硬件安全的新领域
作者:
M Tanjidur Rahman
;
Qihang Shi
;
Shahin Tajik
;
Haoting Shen
;
Damon L. Woodard
;
Mark Tehranipoor
;
Navid Asadizanjani
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Reverse engineering;
Hardware;
Integrated circuits;
Trojan horses;
Security;
Inspection;
Tools;
9.
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
机译:
走向自我解释的数字系统:下一代的设计方法
作者:
Rolf Drechsler
;
Christoph Lüth
;
Goerschwin Fey
;
Tim Güneysu
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Runtime;
Safety;
Security;
Manipulators;
Temperature sensors;
10.
Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
机译:
主题演讲:走向自我解释的数字系统:下一代的设计方法
作者:
Rolf Drechsler
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Conferences;
Inductance;
Security;
Very large scale integration;
Integrated circuit modeling;
Design methodology;
11.
Detecting Cache-Timing Vulnerabilities in Post-Quantum Cryptography Algorithms
机译:
在量子后加密算法中检测缓存定时漏洞
作者:
Adrien Facon
;
Sylvain Guilley
;
Matthieu LecHvien
;
Alexander Schaub
;
Youssef Souissi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Tools;
NIST;
Static analysis;
Proposals;
Encryption;
12.
Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis
机译:
通过图分析通过结构解释对密码核心进行逆向工程
作者:
Michael Werner
;
Bernhard Lippmann
;
Johanna Baehr
;
Helmut Gräb
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Layout;
Logic gates;
Reverse engineering;
Libraries;
Clustering algorithms;
Standards;
Integrated circuits;
13.
Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks
机译:
针对行锤攻击的物理DRAM映射的纯软件逆向工程
作者:
Alessandro Barenghi
;
Luca Breveglieri
;
Niccolò Izzo
;
Gerardo Pelosi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Random access memory;
Indexes;
Security;
Operating systems;
Memory modules;
Optimization;
Computer architecture;
14.
Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique
机译:
使用非侵入式EM发射技术对微控制器板进行身份验证
作者:
Mosabbah Mushir Ahmed
;
David Hely
;
Etienne Perret
;
Nicolas Barbot
;
Romain Siragusa
;
Maxime Bernier
;
Fredric Garet
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Clocks;
Authentication;
Field programmable gate arrays;
Microcontrollers;
Inspection;
15.
On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator
机译:
通过利用基于硬件的混淆器来减轻嵌入式处理器中的硬件木马攻击
作者:
Andrea Marcelli
;
Ernesto Sanchez
;
Luca Sasselli
;
Giovanni Squillero
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Hardware;
Program processors;
Trojan horses;
System-on-chip;
Security;
16.
Lightweight PUF-Based Authentication Protocol for IoT Devices
机译:
用于物联网设备的基于轻量级PUF的身份验证协议
作者:
Yildiran Yilmaz
;
Steve R. Gunn
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Protocols;
Authentication;
Neural networks;
Databases;
Servers;
Wireless sensor networks;
17.
Security Analysis of Chaotic Baker Maps
机译:
混沌贝克图的安全性分析
作者:
Amira Elhamshary
;
Yehea Ismail
;
Said Elkhamy
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Encryption;
Mathematical model;
Ciphers;
Correlation;
Correlation coefficient;
18.
Architectural Diversity: Bio-Inspired Hardware Security for FPGAs
机译:
架构多样性:FPGA的生物启发式硬件安全性
作者:
Shakil Mahmud
;
Brooks Olney
;
Robert Karam
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Field programmable gate arrays;
Security;
Hardware;
Table lookup;
Tools;
IP networks;
19.
New Architecture of the Object-Oriented Functional Coverage Mechanism for Digital Verification
机译:
以数字验证为面向对象功能覆盖机制的新架构
作者:
Marek Cieplucha
;
Witold Pleskacz
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
20.
A Digital Memristor Emulator for FPGA-Based Artificial Neural Networks
机译:
基于FPGA的人工神经网络的数字忆阻仿真器
作者:
Ioannis Vourkas
;
Angel Abusleme
;
Vasileios Ntinas
;
Georgios Ch. Sirakoulis
;
Antonio Rubio
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Memristor;
Resistive switching;
Resistive RAM;
Neuromorphic;
Neural network;
Associative memory;
Emulator;
21.
Revision Debug with Non-Linear Version History in Regression Verification
机译:
回归验证中的非线性版本历史记录的修订调试
作者:
John Adler
;
Ryan Berryhill
;
Andreas Veneris
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
22.
RRAM Based Cell for Hardware Security Applications
机译:
基于RRAM基于硬件安全应用的单元
作者:
Daniel Arumi
;
Salvador Manich
;
Rosa Rodriguez-Montanes
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
RRAM;
PUF;
Security;
Stochastic switching;
Hardware security;
Variability;
Memory array;
23.
Simulation-based verification of large-integer arithmetic circuits
机译:
基于仿真的大型算术电路验证
作者:
Nejmeddine ALIMI
;
Younes LAHBIB
;
Mohsen MACHHOUT
;
Rached TOURKI
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Verification;
Large-integer;
Algebra;
Cryptography;
Co-simulation;
MATLAB;
Simulink;
24.
On Fault Injections for Early Security Evaluation vs. Laser-based Attacks
机译:
关于早期安全评估的故障注入与激光基攻击
作者:
R. Leveugle
;
A. Chahed
;
P. Maistri
;
A. Papadimitriou
;
D. Hely
;
V. Beroulle
;
A. Ammari
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Hardware security;
Laser attacks;
Fault injections;
Error models;
25.
In-situ slack monitors: Taking up the challenge of on-die monitoring of variability and reliability
机译:
原位休闲监视器:占用因抗变性和可靠性的终逆监测挑战
作者:
A. Benhassain
;
S. Mhira
;
F. Cacho
;
V. Huard
;
L. Anghel
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
In-situ monitor;
Reliability;
Local variability;
26.
Protection of ECC Computations against Side-Channel Attacks for Lightweight Implementations
机译:
防止ECC计算对轻量级实现的侧频攻击
作者:
T. Backenstrass
;
M. Blot
;
S. Pontie
;
R. Leveugle
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
ECC crypto-processor;
Leightweight;
SPA;
Counter-measure;
27.
Secure Path Verification
机译:
安全路径验证
作者:
G. Cabodi
;
P. Camurati
;
S. F. Finocchiaro
;
C. Loiacono
;
F. Savarese
;
D. Vendraminetto
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
28.
MaskVer: A Tool Helping Designers Detect Flawed Masking Implementations
机译:
Maskver:帮助设计人员检测有缺陷的掩蔽实现的工具
作者:
Michael Tempelmeier
;
Georg Sigl
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Boolean masking;
Hardware verification;
EDA;
Side-channel analysis;
Differential power analysis (DPA);
Directed acyclic graph (DAG);
29.
Using Outliers to Detect Stealthy Hardware Trojan Triggering?
机译:
使用异常值来检测隐身的硬件特洛伊木马触发?
作者:
Papa-Sidy Ba
;
Sophie Dupuis
;
Marie-Lise Flottes
;
Giorgio Di Natale
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Hardware Trojan Detection;
Logic testing;
Cross correlation;
Clustering;
Outliers;
30.
Counterexample-Guided Diagnosis
机译:
强调引导诊断
作者:
Heinz Riener
;
Goerschwin Fey
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
31.
Secure Authentication of Electronic Systems with Autonomous Optical Nano-Devices
机译:
安全认证具有自主光学纳米器件的电子系统
作者:
Bozena Kaminska
;
Jasbir Patel
;
Hao Jiang
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
32.
Protecting Partial Regions in FPGA Bitstreams
机译:
保护FPGA比特流中的部分区域
作者:
Karen Horovitz
;
Meha Kainth
;
Ryan Kenny
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
FPGA;
SoC;
Security;
Encryption;
Arria;
33.
Towards Mixed Structural-functional Models for Algebraic Fault Attacks on Ciphers
机译:
朝着混合结构功能模型,用于对CIPHERS的代数故障攻击
作者:
Jan Burchard
;
Ange-Salome Messeng Ekossono
;
Jan Horacek
;
Mael Gay
;
Bernd Becker
;
Tobias Schubert
;
Martin Kreuzer
;
Ilia Polian
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
34.
Learning Lemma Support Graphs in Quip and IC3
机译:
在Quip和IC3中学习LEMMA支持图
作者:
Ryan Berryhill
;
Neil Veira
;
Andreas Veneris
;
Zissis Poulos
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
35.
Maximizing the Throughput of Threshold-protected AES-GCM Implementations on FPGA
机译:
最大化FPGA上阈值保护AES-GCM实现的吞吐量
作者:
Jo Vliegen
;
Oscar Reparaz
;
Nele Mentens
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
36.
Security of FPGAs in Data Centers
机译:
数据中心中FPGA的安全性
作者:
Steve Trimberger
;
Steve McNeil
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
FPGA;
Data center;
Safety;
Security;
37.
Opening Pandora's Box: Implication of RLUT on Secure FPGA Applications and IP Security
机译:
打开Pandora的盒子:RLUT对安全FPGA应用和IP安全的影响
作者:
Debapriya Basu Roy
;
Shivam Bhasin
;
Ivica Nikolic
;
Debdeep Mukhopadhyay
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
38.
Efficient design of Oscillator based Physical Unclonable Functions on Flash FPGAs
机译:
闪光FPGA上基于振荡器的振荡器的物理不可渗透功能的高效设计
作者:
Ugo Mureddu
;
Oto Petura
;
Nathalie Bochard
;
Lilian Bossuet
;
Viktor Fischer
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
39.
Provable Secure Dual-Server Public Key Encryption with Keyword Search
机译:
可提供关键字搜索的可提供安全双服务器公钥加密
作者:
Kaibin Huang
;
Raylin Tso
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
40.
Hardware Performance Counters for System Reliability Monitoring
机译:
用于系统可靠性监控的硬件性能计数器
作者:
Elena Woo Lai Leng
;
Mark Zwolinski
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
41.
Asserting Causal Properties in High Level Synthesis
机译:
在高水平合成中断言因果性质
作者:
Erwan Fabiani
;
Loic Lagadec
;
Mohamed Ben Hammouda
;
Ciprian Teodorov
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
High-Level Synthesis;
Hardware Accelerators;
Hardware Monitoring;
Causal Assertions;
42.
Entropy Justification for Metastability Based Nondeterministic Random Bit Generator
机译:
基于非算法的无序随机比特发生器的熵理由
作者:
Rachael J. Parker
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
TRNG;
NRBG;
DRNG;
Entropy;
Metastability;
43.
Zero Bit-Error-Rate Weak PUF based on Spin-Transfer-Torque MRAM Memories
机译:
基于旋转转移扭矩MRAM存储器的零位误差率弱PUF
作者:
Elena Ioana Vatajelu
;
Giorgio Di Natale
;
Paolo Prinetto
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Weak PUF;
STT-MRAM;
Zero-Bit Error Rate;
44.
Robust Secure Design by Increasing the Resilience of Attack Protection Blocks
机译:
通过增加攻击保护块的恢复力来强大的安全设计
作者:
Seyed-Abdollah Aftabjahani
;
Amitabh Das
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Hardware Security;
Robust Secure Design;
Voltage Attacks;
Attack Protection Blocks;
45.
Experimentations on Scan Chain Encryption with PRESENT
机译:
扫描链加密的实验
作者:
Mathieu Da Silva
;
Marie-lise Flottes
;
Giorgio Di Natale
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Test and Security;
Scan Attacks Countermeasure;
Light Encryption;
46.
A Look at the Dark Side of Hardware Reverse Engineering - A Case Study
机译:
看看硬件逆向工程的黑暗面 - 以案例研究
作者:
Sebastian Wallat
;
Marc Fyrbiak
;
Moritz Schlogel
;
Christof Paar
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Hardware Reverse Engineering;
Hardware Trojans;
FPGAs;
Crypto Trojans;
IP Infringement;
IP watermarking;
47.
A Red Team Blue Team approach Towards a Secure Processor Design With Hardware Shadow Stack
机译:
一支红色的团队蓝色团队方法朝着安全的处理器设计与硬件阴影堆栈
作者:
Cyril Bresch
;
Adrien Michelet
;
Laurent Amato
;
Thomas Meyer
;
David Hely
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Embedded system security;
Processor architecture;
Trusted computing;
Memory corruption;
48.
Practical Evaluation of Masking Software Countermeasures on an IoT processor
机译:
IOT处理器上掩蔽软件对策的实际评估
作者:
David McCann
;
Elisabeth Oswald
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
49.
SNIFFER: A High-Accuracy Malware Detector for Enterprise-Based Systems
机译:
Sniffer:基于企业的系统的高精度恶意软件探测器
作者:
Evan Chavis
;
Harrison Davis
;
Yijun Hou
;
Matthew Hicks
;
Salessawi Ferede Yitbarek
;
Todd Austin
;
Valeria Bertacco
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
50.
Hacking the Control Flow Error Detection Mechanism
机译:
黑客控制流量误差检测机构
作者:
Giorgio Di Natale
;
Marie-Lise Flottes
;
Sophie Dupuis
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Control Flow Checking;
Trojan at Software Level;
51.
Lightweight Obfuscation Techniques for Modeling Attacks Resistant PUFs
机译:
用于建模攻击抗性PUF的轻量级混淆技术
作者:
Mohd Syafiq Mispan
;
Basel Halak
;
Mark Zwolinski
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Physical Unclonable Function (PUF);
Arbiter-PUF;
Machine-Learning;
52.
Estimating Target Distribution in Security Assessment Models
机译:
估算安全评估模型中的目标分布
作者:
Eli Weintraub
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Information Security;
Security Assessment;
Vulnerability;
Distributed Computing;
53.
Challenges and Trends in SOC Electromagnetic (EM) Crosstalk
机译:
SoC电磁(EM)串扰的挑战和趋势
作者:
Padelis Papadopoulos
;
Anand Raman
;
Yorgos Koutsoyannopoulos
;
Nikolas Provatas
;
Magdy Abadir
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Electromagnetic (EM) Crosstalk;
EM Jitter;
EM coupling;
EM analysis and signoff;
Post silicon debug;
3D extraction;
EM solvers;
EM crosstalk EDA tools;
54.
Hardware Reverse Engineering: Overview and Open Challenges
机译:
硬件逆向工程:概述和开放挑战
作者:
Marc Fyrbiak
;
Sebastian Strauss
;
Christian Kison
;
Sebastian Wallat
;
Malte Elson
;
Nikol Rummel
;
Christof Paar
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
关键词:
Hardware Reverse Engineering;
55.
Self-Timed Ring Based True Random Number Generator: Threat Model and Countermeasures
机译:
基于自定时环的真随机数发生器:威胁模型及对策
作者:
Gregoire Gimenez
;
Abdelkarim Cherkaoui
;
Raphael Frisch
;
Laurent Fesquet
会议名称:
《IEEE International Verification and Security Workshop》
|
2017年
56.
Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
机译:
KeyNotes:用于自解释数字系统:下一代的设计方法
作者:
Rolf Drechsler
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Conferences;
Inductance;
Security;
Very large scale integration;
Integrated circuit modeling;
Design methodology;
57.
Security Analysis of Chaotic Baker Maps
机译:
混沌贝克地图的安全分析
作者:
Amira Elhamshary
;
Yehea Ismail
;
Said Elkhamy
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Encryption;
Mathematical model;
Ciphers;
Correlation;
Correlation coefficient;
58.
A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design
机译:
机器学习攻击抵抗两级物理不可渗透功能设计
作者:
Haibo Su
;
Mark Zwolinski
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Mirrors;
Security;
Reliability;
Resilience;
Machine learning;
Transistors;
Mathematical model;
59.
Architectural Diversity: Bio-Inspired Hardware Security for FPGAs
机译:
建筑多样性:FPGA的生物启发硬件安全
作者:
Shakil Mahmud
;
Brooks Olney
;
Robert Karam
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Field programmable gate arrays;
Security;
Hardware;
Table lookup;
Tools;
IP networks;
60.
Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks
机译:
用于行攻击的软件 - 仅用于物理DRAM映射的逆向工程
作者:
Alessandro Barenghi
;
Luca Breveglieri
;
Niccolò Izzo
;
Gerardo Pelosi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Random access memory;
Indexes;
Security;
Operating systems;
Memory modules;
Optimization;
Computer architecture;
61.
A New Secure Stream Cipher for Scan Chain Encryption
机译:
用于扫描链加密的新安全流密码
作者:
Mathieu Da Silva
;
Emanuele Valea
;
Marie-Lise Flottes
;
Sophie Dupuis
;
Giorgio Di Natale
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Ciphers;
Encryption;
Registers;
IP networks;
Fuses;
62.
Detecting Cache-Timing Vulnerabilities in Post-Quantum Cryptography Algorithms
机译:
检测后量子密码算法中的缓存定时漏洞
作者:
Adrien Facon
;
Sylvain Guilley
;
Matthieu LecHvien
;
Alexander Schaub
;
Youssef Souissi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Tools;
NIST;
Static analysis;
Proposals;
Encryption;
63.
Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique
机译:
使用非侵入式EM发射技术认证微控制器板
作者:
Mosabbah Mushir Ahmed
;
David Hely
;
Etienne Perret
;
Nicolas Barbot
;
Romain Siragusa
;
Maxime Bernier
;
Fredric Garet
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Clocks;
Authentication;
Field programmable gate arrays;
Microcontrollers;
Inspection;
64.
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
机译:
向自解释数字系统:下一代的设计方法
作者:
Rolf Drechsler
;
Christoph Lüth
;
Goerschwin Fey
;
Tim Güneysu
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Runtime;
Safety;
Security;
Manipulators;
Temperature sensors;
65.
Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis
机译:
通过图分析通过结构解释逆向工艺
作者:
Michael Werner
;
Bernhard Lippmann
;
Johanna Baehr
;
Helmut Gr?b
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Layout;
Logic gates;
Reverse engineering;
Libraries;
Clustering algorithms;
Standards;
Integrated circuits;
66.
Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT
机译:
基于MCU的连接设备的硬件安全评估平台:保健IOT的应用
作者:
Zahra Kazemi
;
Athanasios Papadimitriou
;
David Hely
;
Mahdi Fazcli
;
Vincent Beroulle
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Hardware;
Software;
Cryptography;
Tools;
Medical services;
Safety;
67.
Hardware Trojan Detection and Functionality Determination for Soft IPs
机译:
软件特洛伊木马检测和软IPS的功能确定
作者:
Thao Le
;
Lucas Weaver
;
Jia Di
;
Shaojie Zhang
;
Yier Jin
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Trojan horses;
Hardware;
IP networks;
Pattern matching;
Filtering;
Security;
Tools;
68.
Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification
机译:
硅预嵌入式系统评估为安全验证的新EDA工具
作者:
Sofiane Takarabt
;
Kais Chibani
;
Adrien Facon
;
Sylvain Guilley
;
Yves Mathieu
;
Laurent Sauvage
;
Youssef Souissi
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Tools;
Signal to noise ratio;
Embedded systems;
Measurement;
Cryptography;
Integrated circuits;
69.
Property Based Formal Security Verification for Hardware Trojan Detection
机译:
基于物业的硬件特洛伊木马检测正式安全验证
作者:
Maoyuan Qin
;
Wei Hu
;
Dejun Mu
;
Yu Tai
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Security;
Logic gates;
Hardware;
Integrated circuit modeling;
Trojan horses;
Complexity theory;
Semantics;
70.
Lightweight PUF-Based Authentication Protocol for IoT Devices
机译:
用于IOT设备的轻量级PUF的身份验证协议
作者:
Yildiran Yilmaz
;
Steve R. Gunn
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Protocols;
Authentication;
Neural networks;
Databases;
Servers;
Wireless sensor networks;
71.
Using Physical and Functional Comparisons to Assure 3rd-Party IP for Modern FPGAs
机译:
使用物理和功能比较来确保现代FPGA的第三方知识产权
作者:
Adam Hastings
;
Sean Jensen
;
Jeffrey Goeders
;
Brad Hutchings
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
IP networks;
Hardware design languages;
Field programmable gate arrays;
Hardware;
Design tools;
Tools;
Optimization;
72.
On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator
机译:
基于硬件的混淆器利用基于硬件的混淆器来缓解嵌入式处理器的硬件特洛伊木马攻击
作者:
Andrea Marcelli
;
Ernesto Sanchez
;
Luca Sasselli
;
Giovanni Squillero
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Hardware;
Program processors;
Trojan horses;
System-on-chip;
Security;
73.
Physical Inspection Attacks: New Frontier in Hardware Security
机译:
物理检测与攻击:硬件安全的新前沿
作者:
M Tanjidur Rahman
;
Qihang Shi
;
Shahin Tajik
;
Haoting Shen
;
Damon L. Woodard
;
Mark Tehranipoor
;
Navid Asadizanjani
会议名称:
《IEEE International Verification and Security Workshop》
|
2018年
关键词:
Reverse engineering;
Hardware;
Integrated circuits;
Trojan horses;
Security;
Inspection;
Tools;
74.
Technical Papers
机译:
技术论文
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Security;
Hardware;
Reliability engineering;
Control systems;
Clocks;
Product codes;
75.
2019 IEEE 4th International Verification and Security Workshop (IVSW 2019)
机译:
2019 IEEE 4
TH SUP>国际验证和安全研讨会(IVSW 2019)
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Security;
Conferences;
Libraries;
Internet;
Microsoft Windows;
Linux;
76.
About IVSW
机译:
关于IVSW.
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Security;
Complexity theory;
Industries;
Reliability engineering;
IEEE Councils;
Design automation;
77.
Electroforming-free Memristors for Hardware Security Primitives
机译:
用于硬件安全原语的无电铸件
作者:
Nan Du
;
Mahdi Kiani
;
Xianyue Zhao
;
Danilo Bürger
;
Oliver G. Schmidt
;
Ramona Ecke
;
Stefan E. Schulz
;
Heidemarie Schmidt
;
Ilia Polian
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Memristors;
Security;
Switches;
Hardware;
Electrodes;
Entropy;
78.
Secure Design Flow of FPGA Based RISC-V Implementation
机译:
基于FPGA的RISC-V实现的安全设计流程
作者:
Ali Shuja Siddiqui
;
Geraldine Shirley
;
Shreya Bendre
;
Girija Bhagwat
;
Jim Plusquellic
;
Fareena Saqib
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Microprogramming;
Field programmable gate arrays;
Registers;
Security;
Malware;
Runtime;
79.
Two-Stage Architectures for Resilient Lightweight PUFs
机译:
适用于弹性轻量级PUF的两级架构
作者:
Haibo Su
;
Basel Halak
;
Mark Zwolinski
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Transistors;
Resilience;
Integrated circuit reliability;
Threshold voltage;
80.
Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection
机译:
使用逻辑锁定限制切换活动,以提高基于功率分析的特洛伊木马检测
作者:
Arash Nejat
;
Zahra Kazemi
;
Vincent Beroulle
;
David Hely
;
Mahdi Fazeli
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Power demand;
Switches;
Logic gates;
Security;
Trojan horses;
Hardware;
Principal component analysis;
81.
Verification of Physical Chip Layouts Using GDSII Design Data
机译:
使用GDSII设计数据验证物理芯片布局
作者:
Aayush Singla
;
Bernhard Lippmann
;
Helmut Graeb
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Layout;
Tools;
Trojan horses;
Integrated circuits;
Reverse engineering;
Databases;
Libraries;
82.
A Two-Flights Mutual Authentication for Energy-Constrained IoT Devices
机译:
用于能量受限的物联网设备的双航相互认证
作者:
Yildiran Yilmaz
;
Basel Halak
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Servers;
Protocols;
Authentication;
Public key;
Wireless sensor networks;
83.
On the Reliability of the Ring Oscillator Physically Unclonable Functions
机译:
关于环形振荡器的可靠性,物理上不可渗透功能
作者:
Honorio Martin
;
Elena-Ioana Vatajelu
;
Giorgio Di Natale
;
Osnat Keren
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Reliability;
Field programmable gate arrays;
Frequency measurement;
Employee welfare;
Temperature measurement;
Measurement errors;
Standards;
84.
On a Low Cost Fault Injection Framework for Security Assessment of Cyber-Physical Systems: Clock Glitch Attacks
机译:
关于网络物理系统安全评估的低成本故障注入框架:时钟故障攻击
作者:
Zahra Kazemi
;
Athanasios Papadimitriou
;
Ioanna Souvatzoglou
;
Ehsan Aerabi
;
Mosabbah Mushir Ahmed
;
David Hely
;
Vincent Beroulle
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Clocks;
Circuit faults;
Security;
Generators;
Field programmable gate arrays;
Switches;
Hardware;
85.
A Comprehensive Approach to a Trusted Test Infrastructure
机译:
对可信赖测试基础设施的综合方法
作者:
Marc Merandat
;
Vincent Reynaud
;
Emanuele Valea
;
Jerome Quevremont
;
Nicolas Valette
;
Paolo Maistri
;
Regis Leveugle
;
Marie-Lise Flottes
;
Sophie Dupuis
;
Bruno Rouzeyre
;
Giorgio Di Natale
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Security;
Conferences;
86.
Using Hardware Performance Counters to Detect Control Hijacking Attacks
机译:
使用硬件性能计数器检测控制劫持攻击
作者:
Miao Yu
;
Basel Halak
;
Mark Zwolinski
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Malware;
Mathematical model;
Correlation;
Benchmark testing;
Hardware;
Security;
Computer architecture;
87.
Nonlinear Product Codes for Reliability and Security
机译:
用于可靠性和安全性的非线性产品代码
作者:
Batya Karp
;
Ofer Amrani
;
Osnat Keren
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Security;
Product codes;
Linear codes;
Decoding;
Integrated circuit reliability;
Additives;
88.
Dynamic Adjustment of Test-Sequence Duration for Increasing the Functional Coverage
机译:
用于增加功能覆盖的测试序列持续时间的动态调整
作者:
Zacharias Takakis
;
Dimitrios Mangiras
;
Chrysostomos Nicopoulos
;
Giorgos Dimitrakopoulos
会议名称:
《IEEE International Verification and Security Workshop》
|
2019年
关键词:
Runtime;
Out of order;
Measurement;
Registers;
Complexity theory;
Security;
Feedback loop;
89.
Simulation-based verification of large-integer arithmetic circuits
机译:
基于仿真的大型算术电路验证
作者:
Nejmeddine ALIMI
;
Younes LAHBIB
;
Mohsen MACHHOUT
;
Rached TOURKI
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Verification;
Large-integer;
Algebra;
Cryptography;
Co-simulation;
MATLAB;
Simulink;
90.
RRAM Based Cell for Hardware Security Applications
机译:
基于RRAM基于硬件安全应用的单元
作者:
Daniel Arumi
;
Salvador Manich
;
Rosa Rodriguez-Montanes
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
RRAM;
PUF;
Security;
Stochastic switching;
Hardware security;
Variability;
Memory array;
91.
Counterexample-Guided Diagnosis
机译:
强调引导诊断
作者:
Heinz Riener
;
Goerschwin Fey
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
92.
In-situ slack monitors: Taking up the challenge of on-die monitoring of variability and reliability
机译:
原位休闲监视器:占用因造成可变性和可靠性的模具监测挑战
作者:
A. Benhassain
;
S. Mhira
;
F. Cacho
;
V. Huard
;
L. Anghel
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
In-situ monitor;
Reliability;
Local variability;
93.
On Fault Injections for Early Security Evaluation vs. Laser-based Attacks
机译:
关于早期安全评估的故障注射与激光基攻击
作者:
R. Leveugle
;
A. Chahed
;
P. Maistri
;
A. Papadimitriou
;
D. Hely
;
V. Beroulle
;
A. Ammari
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Hardware security;
Laser attacks;
Fault injections;
Error models;
94.
A Digital Memristor Emulator for FPGA-Based Artificial Neural Networks
机译:
基于FPGA的人工神经网络的数字忆阻器仿真器
作者:
Ioannis Vourkas
;
Angel Abusleme
;
Vasileios Ntinas
;
Georgios Ch. Sirakoulis
;
Antonio Rubio
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Memristor;
Resistive switching;
Resistive RAM;
Neuromorphic;
Neural network;
Associative memory;
Emulator;
95.
Using Outliers to Detect Stealthy Hardware Trojan Triggering?
机译:
使用异常值来检测隐身的硬件特洛伊木马触发?
作者:
Papa-Sidy Ba
;
Sophie Dupuis
;
Marie-Lise Flottes
;
Giorgio Di Natale
;
Bruno Rouzeyre
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Hardware Trojan Detection;
Logic testing;
Cross correlation;
Clustering;
Outliers;
96.
Secure Path Verification
机译:
安全路径验证
作者:
G. Cabodi
;
P. Camurati
;
S. F. Finocchiaro
;
C. Loiacono
;
F. Savarese
;
D. Vendraminetto
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
97.
MaskVer: A Tool Helping Designers Detect Flawed Masking Implementations
机译:
Maskver:帮助设计人员检测有缺陷的遮蔽实现的工具
作者:
Michael Tempelmeier
;
Georg Sigl
会议名称:
《IEEE International Verification and Security Workshop》
|
2016年
关键词:
Boolean masking;
Hardware verification;
EDA;
Side-channel analysis;
Differential power analysis (DPA);
Directed acyclic graph (DAG);
意见反馈
回到顶部
回到首页