掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Symposium on Security and Privacy
IEEE Symposium on Security and Privacy
召开年:
2020
召开地:
San Francisco(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
机译:
同步HotStuff:简单实用的同步状态机复制
作者:
Ittai Abraham
;
Dahlia Malkhi
;
Kartik Nayak
;
Ling Ren
;
Maofan Yin
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Synchronization;
Steady-state;
Delays;
Standards;
Safety;
Proposals;
2.
Detection of Electromagnetic Interference Attacks on Sensor Systems
机译:
检测传感器系统上的电磁干扰攻击
作者:
Youqian Zhang
;
Kasper Rasmussen
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Electromagnetic interference;
Microcontrollers;
Sensor systems;
Temperature measurement;
Temperature sensors;
Wires;
Security;
3.
The Value of Collaboration in Convex Machine Learning with Differential Privacy
机译:
差异化隐私凸机器学习中的协作价值
作者:
Nan Wu
;
Farhad Farokhi
;
David Smith
;
Mohamed Ali Kaafar
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Data privacy;
Training;
Data models;
Computational modeling;
Prediction algorithms;
Privacy;
Collaboration;
4.
BIAS: Bluetooth Impersonation AttackS
机译:
BIAS:蓝牙模拟攻击
作者:
Daniele Antonioli
;
Nils Ole Tippenhauer
;
Kasper Rasmussen
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Bluetooth;
Authentication;
Standards;
Performance evaluation;
Protocols;
Cryptography;
5.
MarkUs: Drop-in use-after-free prevention for low-level languages
机译:
MarkUs:低级语言的自由使用后释放预防
作者:
Sam Ainsworth
;
Timothy M. Jones
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
C++ languages;
Security;
Safety;
Resource management;
Manuals;
Optimization;
Software;
6.
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking
机译:
AdGraph:一种基于图的广告和跟踪器阻止方法
作者:
Umar Iqbal
;
Peter Snyder
;
Shitong Zhu
;
Benjamin Livshits
;
Zhiyun Qian
;
Zubair Shafiq
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Advertising;
Chromium;
Uniform resource locators;
Browsers;
Privacy;
Tools;
Robustness;
7.
Browsing Unicity: On the Limits of Anonymizing Web Tracking Data
机译:
浏览网站:匿名化Web跟踪数据的局限性
作者:
Clemens Deußer
;
Steffen Passmann
;
Thorsten Strufe
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Databases;
Companies;
IP networks;
Data privacy;
Industries;
Internet;
Electronic mail;
8.
SEVurity: No Security Without Integrity : Breaking Integrity-Free Memory Encryption with Minimal Assumptions
机译:
安全性:没有完整性就没有安全性:以最小的假设打破无完整性的内存加密
作者:
Luca Wilke
;
Jan Wichelmann
;
Mathias Morbitzer
;
Thomas Eisenbarth
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Encryption;
Virtual machine monitors;
Random access memory;
Cloud computing;
Program processors;
9.
Fuzzing JavaScript Engines with Aspect-preserving Mutation
机译:
使用保留方面的突变对JavaScript引擎进行模糊处理
作者:
Soyeon Park
;
Wen Xu
;
Insu Yun
;
Daehee Jang
;
Taesoo Kim
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Computer bugs;
Engines;
Fuzzing;
Optimization;
Security;
Runtime;
10.
C3APSULe: Cross-FPGA Covert-Channel Attacks through Power Supply Unit Leakage
机译:
C3APSULe:电源单元泄漏引起的跨FPGA隐蔽通道攻击
作者:
Ilias Giechaskiel
;
Kasper Bonne Rasmussen
;
Jakub Szefer
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Field programmable gate arrays;
Ring oscillators;
Temperature measurement;
Voltage measurement;
Hardware;
Transmitters;
Voltage control;
11.
Spectector: Principled Detection of Speculative Information Flows
机译:
旁观者:推测性信息流的原理性检测
作者:
Marco Guarnieri
;
Boris Köpf
;
José F. Morales
;
Jan Reineke
;
Andrés Sánchez
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Semantics;
Security;
Microarchitecture;
Registers;
Standards;
Syntactics;
Optimization;
12.
: Practical Cache Attacks from the Network
机译:
:来自网络的实用缓存攻击
作者:
Michael Kurth
;
Ben Gras
;
Dennis Andriesse
;
Cristiano Giuffrida
;
Herbert Bos
;
Kaveh Razavi
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Servers;
Timing;
Microarchitecture;
Security;
Random access memory;
Prefetching;
13.
SpecCFI: Mitigating Spectre Attacks using CFI Informed Speculation
机译:
SpecCFI:使用CFI通知的投机缓解幽灵攻击
作者:
Esmaeil Mohammadian Koruyeh
;
Shirin Haji Amin Shirazi
;
Khaled N. Khasawneh
;
Chengyu Song
;
Nael Abu-Ghazaleh
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Hardware;
Security;
Software;
Complexity theory;
Law;
Androids;
14.
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
机译:
LVI:通过微体系结构负载值注入劫持瞬态执行
作者:
Jo Van Bulck
;
Daniel Moghimi
;
Michael Schwarz
;
Moritz Lippi
;
Marina Minkin
;
Daniel Genkin
;
Yuval Yarom
;
Berk Sunar
;
Daniel Gruss
;
Frank Piessens
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Microarchitecture;
Transient analysis;
Buffer storage;
Kernel;
Pipelines;
Registers;
Central Processing Unit;
15.
HydRand: Efficient Continuous Distributed Randomness
机译:
HydRand:有效的连续分布随机性
作者:
Philipp Schindler
;
Aljosha Judmayer
;
Nicholas Stifter
;
Edgar Weippl
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Public key;
Proposals;
16.
OHIE: Blockchain Scaling Made Simple
机译:
OHIE:简化区块链扩展
作者:
Haifeng Yu
;
Ivica Nikolić
;
Ruomu Hou
;
Prateek Saxena
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Throughput;
Bitcoin;
Bandwidth;
Peer-to-peer computing;
17.
Replicated state machines without replicated execution
机译:
没有复制执行的复制状态机
作者:
Jonathan Lee
;
Kirill Nikitin
;
Srinath Setty
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Machinery;
Cryptography;
Mathematical model;
Protocols;
Computational modeling;
Throughput;
18.
ICLab: A Global, Longitudinal Internet Censorship Measurement Platform
机译:
ICLab:全球纵向互联网审查制度测量平台
作者:
Arian Akhavan Niaki
;
Shinyoung Cho
;
Zachary Weinberg
;
Nguyen Phong Hoang
;
Abbas Razaghpanah
;
Nicolas Christin
;
Phillipa Gill
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Censorship;
Servers;
Virtual private networks;
Internet;
Monitoring;
Browsers;
IP networks;
19.
High Precision Open-World Website Fingerprinting
机译:
高精度开放世界网站指纹识别
作者:
Tao Wang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Web pages;
Privacy;
Noise measurement;
Radio frequency;
Testing;
Fingerprint recognition;
20.
Breaking and (Partially) Fixing Provably Secure Onion Routing
机译:
破坏和(部分)修复可能安全的洋葱路由
作者:
Christiane Kuhn
;
Martin Beck
;
Thorsten Strufe
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Protocols;
Relays;
Receivers;
Routing;
Cryptography;
21.
Are anonymity-seekers just like everybody else? An analysis of contributions to Wikipedia from Tor
机译:
寻求匿名者是否和其他所有人一样? Tor对维基百科的贡献分析
作者:
Chau Tran
;
Kaylea Champion
;
Andrea Forte
;
Benjamin Mako Hill
;
Rachel Greenstadt
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Internet;
Encyclopedias;
Electronic publishing;
IP networks;
Relays;
Peer-to-peer computing;
22.
WaveSpy: Remote and Through-wall Screen Attack via mmWave Sensing
机译:
WaveSpy:通过mmWave感应进行远程和穿墙屏幕攻击
作者:
Zhengxiong Li
;
Fenglong Ma
;
Aditya Singh Rathore
;
Zhuolin Yang
;
Baicheng Chen
;
Lu Su
;
Wenyao Xu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Liquid crystal displays;
Password;
Liquid crystals;
Radio frequency;
Probes;
Sensors;
23.
SoK: A Minimalist Approach to Formalizing Analog Sensor Security
机译:
SoK:一种形式化模拟传感器安全性的极简方法
作者:
Chen Yan
;
Hocheol Shin
;
Connor Bolton
;
Wenyuan Xu
;
Yongdae Kim
;
Kevin Fu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Temperature measurement;
Transfer functions;
Mathematical model;
Signal processing;
Microphones;
Transducers;
24.
Gesture Authentication for Smartphones: Evaluation of Gesture Password Selection Policies
机译:
智能手机的手势身份验证:手势密码选择策略的评估
作者:
Eunyong Cheon
;
Yonghwan Shin
;
Jun Ho Huh
;
Hyoungshick Kim
;
Ian Oakley
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Password;
Entropy;
Dictionaries;
Authentication;
Smart phones;
Usability;
25.
Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication
机译:
FIDO2是用户身份验证的金手指吗? FIDO2无密码身份验证的比较可用性研究
作者:
Sanam Ghorbani Lyastani
;
Michael Schilling
;
Michaela Neumayr
;
Michael Backes
;
Sven Bugiel
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Authentication;
Password;
Standards;
Usability;
Browsers;
Protocols;
26.
This PIN Can Be Easily Guessed: Analyzing the Security of Smartphone Unlock PINs
机译:
可以轻松猜测此PIN:分析智能手机解锁PIN的安全性
作者:
Philipp Markert
;
Daniel V. Bailey
;
Maximilian Golla
;
Markus Dürmuth
;
Adam J. AviG
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Pins;
Blacklisting;
Password;
Authentication;
Mobile handsets;
Biometrics (access control);
27.
Automatically Detecting Bystanders in Photos to Reduce Privacy Risks
机译:
自动检测照片中的旁观者以减少隐私风险
作者:
Rakibul Hasan
;
David Crandall
;
Mario Fritz
;
Apu Kapadia
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Cameras;
Visualization;
Face;
Feature extraction;
Facial features;
28.
CrypTFlow: Secure TensorFlow Inference
机译:
CrypTFlow:安全的TensorFlow推理
作者:
Nishant Kumar
;
Mayank Rathee
;
Nishanth Chandran
;
Divya Gupta
;
Aseem Rastogi
;
Rahul Sharma
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Cryptography;
Hardware;
Task analysis;
Benchmark testing;
Logistics;
29.
SoK: Differential Privacy as a Causal Property
机译:
SoK:差异性隐私作为因果关系
作者:
Michael Carl Tschantz
;
Shayak Sen
;
Anupam Datta
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Databases;
Genetics;
Diseases;
Random variables;
Limiting;
Correlation;
30.
Private resource allocators and their applications
机译:
私有资源分配器及其应用
作者:
Sebastian Angel
;
Sampath Kannan
;
Zachary Ratliff
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Privacy;
Resource management;
Side-channel attacks;
Metadata;
Bandwidth;
31.
Towards Effective Differential Privacy Communication for Users’ Data Sharing Decision and Comprehension
机译:
致力于有效的差异隐私通信,以实现用户的数据共享决策和理解
作者:
Aiping Xiong
;
Tianhao Wang
;
Ninghui Li
;
Somesh Jha
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Companies;
Perturbation methods;
Servers;
Data collection;
32.
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
机译:
具有精确度约束的差分隐私编程框架
作者:
Elisabet Lobo-Vesga
;
Alejandro Russo
;
Marco Gaboardi
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Data analysis;
Cognition;
Programming;
Tools;
Privacy;
33.
Security Update Labels: Establishing Economic Incentives for Security Patching of IoT Consumer Products
机译:
安全更新标签:为物联网消费产品的安全修补建立经济诱因
作者:
Philipp Morgner
;
Christoph Mai
;
Nicole Koschate-Fischer
;
Felix Freiling
;
Zinaida Benenson
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Privacy;
Consumer products;
Internet of Things;
Labeling;
Economics;
Testing;
34.
Ask the Experts: What Should Be on an IoT Privacy and Security Label?
机译:
问专家:物联网隐私和安全标签上应包含什么?
作者:
Pardis Emami-Naeini
;
Yuvraj Agarwal
;
Lorrie Faith Cranor
;
Hanan Hibshi
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Privacy;
Interviews;
Government;
Industries;
Prototypes;
Companies;
35.
Burglars’ IoT Paradise: Understanding and Mitigating Security Risks of General Messaging Protocols on IoT Clouds
机译:
防盗物联网天堂:了解和缓解物联网云上通用消息协议的安全风险
作者:
Yan Jia
;
Luyi Xing
;
Yuhang Mao
;
Dongfang Zhao
;
XiaoFeng Wang
;
Shangru Zhao
;
Yuqing Zhang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Privacy;
Licenses;
36.
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses
机译:
面向智能家居的自然视角进行实用的安全性和安全性分析
作者:
Sunil Manandhar
;
Kevin Moran
;
Kaushal Kafle
;
Ruhao Tang
;
Denys Poshyvanyk
;
Adwait Nadkarni
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Smart homes;
Privacy;
Safety;
Cameras;
Predictive models;
37.
Message Time of Arrival Codes: A Fundamental Primitive for Secure Distance Measurement
机译:
到达代码的消息时间:安全距离测量的基本原语
作者:
Patrick Leu
;
Mridula Singh
;
Marc Roeschlin
;
Kenneth G. Paterson
;
Srdjan Čapkun
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Distance measurement;
Protocols;
Modulation;
Receivers;
Cryptography;
Time measurement;
38.
Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd
机译:
蜻蜓:分析WPA3和EAP-pwd的蜻蜓握手
作者:
Mathy Vanhoef
;
Eyal Ronen
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Password;
Dictionaries;
Protocols;
Wireless fidelity;
Timing;
Elliptic curves;
39.
Even Black Cats Cannot Stay Hidden in the Dark: Full-band De-anonymization of Bluetooth Classic Devices
机译:
甚至黑猫也无法隐藏在黑暗中:蓝牙经典设备的全频段去匿名化
作者:
Marco Cominelli
;
Francesco Gringoli
;
Paul Patras
;
Margus Lind
;
Guevara Noubir
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Wireless communication;
Clocks;
Automobiles;
Wireless sensor networks;
Bluetooth;
Synchronization;
40.
xMP: Selective Memory Protection for Kernel and User Space
机译:
xMP:内核和用户空间的选择性内存保护
作者:
Sergej Proskurin
;
Marius Momeu
;
Seyedhamed Ghavamnia
;
Vasileios P. Kemerlis
;
Michalis Polychronakis
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Kernel;
Virtual machine monitors;
Switches;
Memory management;
Linux;
Security;
Virtualization;
41.
SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation
机译:
SEIMI:高效且安全的启用SMAP的进程内内存隔离
作者:
Zhe Wang
;
Chenggang Wu
;
Mengyao Xie
;
Yinqian Zhang
;
Kangjie Lu
;
Xiaofeng Zhang
;
Yuanming Lai
;
Yan Kang
;
Min Yang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Hardware;
Kernel;
Security;
Runtime;
Registers;
Data structures;
Switches;
42.
Cornucopia: Temporal Safety for CHERI Heaps
机译:
聚宝盆:CHERI堆的时间安全
作者:
Nathaniel Wesley Filardo
;
Brett F. Gutstein
;
Jonathan Woodruff
;
Sam Ainsworth
;
Lucian Paul-Trifu
;
Brooks Davis
;
Hongyan Xia
;
Edward Tomasz Napierala
;
Alexander Richardson
;
John Baldwin
;
David Chisnall
;
Jessica Clarke
;
Khilan Gudka
;
Alexandre Joannou
;
A. Theodore Market
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Integrated circuits;
RNA;
Security;
Privacy;
Licenses;
43.
The Many Kinds of Creepware Used for Interpersonal Attacks
机译:
用于人际攻击的多种蠕变软件
作者:
Kevin A. Roundy
;
Paula Barmaimon Mendelberg
;
Nicola Dell
;
Damon McCoy
;
Daniel Nissani
;
Thomas Ristenpart
;
Acar Tamersoy
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Spyware;
Malware;
Ecosystems;
Security;
Google;
Surveillance;
44.
How not to prove your election outcome
机译:
如何不证明你的选举结果
作者:
Thomas Haines
;
Sarah Jamie Lewis
;
Olivier Pereira
;
Vanessa Teague
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Cryptography;
Protocols;
Privacy;
Servers;
Electronic voting;
45.
A Security Analysis of the Facebook Ad Library
机译:
Facebook广告库的安全性分析
作者:
Laura Edelson
;
Tobias Lauinger
;
Damon McCoy
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Facebook;
Libraries;
Advertising;
Security;
Voting;
Clustering methods;
Media;
46.
Can Voters Detect Malicious Manipulation of Ballot Marking Devices?
机译:
选民可以检测到对标记设备的恶意操纵吗?
作者:
Matthew Bernhard
;
Allison McDonald
;
Henry Meng
;
Jensen Hwa
;
Nakul Bajaj
;
Kevin Chang
;
J. Alex Halderman
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Voting;
Hazards;
Computer security;
Software;
Training;
Privacy;
47.
RAMBleed: Reading Bits in Memory Without Accessing Them
机译:
RAMBleed:读取内存中的位而不访问它们
作者:
Andrew Kwong
;
Daniel Genkin
;
Daniel Gruss
;
Yuval Yarom
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Random access memory;
Error correction codes;
Security;
Timing;
Reliability;
Linux;
Memory management;
48.
Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers
机译:
我们对Rowhammer敏感吗?云提供商的端到端方法
作者:
Lucian Cojocar
;
Jeremie Kim
;
Minesh Patel
;
Lillian Tsai
;
Stefan Saroiu
;
Alec Wolman
;
Onur Mutlu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Testing;
DRAM chips;
Servers;
Circuit faults;
Security;
Lakes;
49.
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks
机译:
利用EM边信道信息检测Rowhammer攻击
作者:
Zhenkai Zhang
;
Zihao Zhan
;
Daniel Balasubramanian
;
Bo Li
;
Peter Volgyesi
;
Xenofon Koutsoukos
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Random access memory;
Computer bugs;
Radar detection;
Security;
Capacitors;
Hardware;
50.
TRRespass: Exploiting the Many Sides of Target Row Refresh
机译:
TRRespass:利用目标行刷新的许多方面
作者:
Pietro Frigo
;
Emanuele Vannacc
;
Hasan Hassan
;
Victor van der Veen
;
Onur Mutlu
;
Cristiano Giuffrida
;
Herbert Bos
;
Kaveh Razavi
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
DRAM chips;
Security;
Capacitors;
Organizations;
Hardware;
Mobile handsets;
51.
Do Cookie Banners Respect my Choice? : Measuring Legal Compliance of Banners from IAB Europe’s Transparency and Consent Framework
机译:
Cookie横幅广告是否尊重我的选择? :根据IAB欧洲的透明度和同意框架衡量横幅广告的法律合规性
作者:
Célestin Matte
;
Nataliia Bielova
;
Cristiana Santos
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Europe;
Law;
Browsers;
Advertising;
Data collection;
52.
Meddling Middlemen: Empirical Analysis of the Risks of Data-Saving Mobile Browsers
机译:
介入中间商:对保存数据的移动浏览器风险的实证分析
作者:
Brian Kondracki
;
Assel Aliyeva
;
Manuel Egele
;
Jason Polakis
;
Nick Nikiforakis
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Browsers;
Security;
Web servers;
Ecosystems;
Google;
Privacy;
53.
Efficient and Secure Multiparty Computation from Fixed-Key Block Ciphers
机译:
通过固定密钥分组密码进行高效,安全的多方计算
作者:
Chun Guo
;
Jonathan Katz
;
Xiao Wang
;
Yu Yu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Ciphers;
Receivers;
Computational modeling;
Correlation;
Robustness;
54.
Path Oblivious Heap: Optimal and Practical Oblivious Priority Queue
机译:
路径遗忘堆:最优且实用的遗忘优先级队列
作者:
Elaine Shi
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Bandwidth;
Sorting;
Random access memory;
Security;
Binary trees;
Outsourcing;
55.
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
机译:
透明多项式委托及其在零知识证明中的应用
作者:
Jiaheng Zhang
;
Tiancheng Xie
;
Yupeng Zhang
;
Dawn Song
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Cryptography;
Computational modeling;
Integrated circuit modeling;
Privacy;
Logic gates;
56.
Towards Scalable Threshold Cryptosystems
机译:
迈向可扩展的阈值密码系统
作者:
Alin Tomescu
;
Robert Chen
;
Yiming Zheng
;
Ittai Abraham
;
Benny Pinkas
;
Guy Golan Gueta
;
Srinivas Devadas
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Cryptography;
Complexity theory;
Aggregates;
Interpolation;
Privacy;
57.
A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network
机译:
对比特币对等网络的隐形分区攻击
作者:
Muoi Tran
;
Inho Choi
;
Gi Jun Moon
;
Anh V. Vu
;
Min Suk Kang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Peer-to-peer computing;
Bitcoin;
IP networks;
Reliability;
Monitoring;
58.
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability
机译:
Flash Boys 2.0:去中心化交易中的领先优势,矿工可提取价值和共识不稳定
作者:
Philip Daian
;
Steven Goldfeder
;
Tyler Kell
;
Yunqi Li
;
Xueyuan Zhao
;
Iddo Bentov
;
Lorenz Breidenbach
;
Ari Juels
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Contracts;
Electronics packaging;
Peer-to-peer computing;
Bitcoin;
Games;
59.
FlyClient: Super-Light Clients for Cryptocurrencies
机译:
FlyClient:加密货币的超轻客户端
作者:
Benedikt Bünz
;
Lucianna Kiffer
;
Loi Luu
;
Mahdi Zamani
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Bitcoin;
Synchronization;
Peer-to-peer computing;
60.
ZEXE: Enabling Decentralized Private Computation
机译:
ZEXE:启用分散式私有计算
作者:
Sean Bowe
;
Alessandro Chiesa
;
Matthew Green
;
Ian Miers
;
Pratyush Mishra
;
Howard Wu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Cryptography;
Protocols;
Contracts;
Scalability;
61.
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
机译:
最后一英里:高保证和高速加密实现
作者:
José Bacelar Almeida
;
Manuel Barbosa
;
Gilles Barthe
;
Benjamin Grégoire
;
Adrien Koutsos
;
Vincent Laporte
;
Tiago Oliveira
;
Pierre-Yves Strub
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Cryptography;
Libraries;
Optimization;
Tools;
Program processors;
62.
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
机译:
EverCrypt:一种快速,经过验证的跨平台密码提供程序
作者:
Jonathan Protzenko
;
Bryan Parno
;
Aymeric Fromherz
;
Chris Hawblitzel
;
Marina Polubelova
;
Karthikeyan Bhargavan
;
Benjamin Beurdouche
;
Joonwon Choi
;
Antoine Delignat-Lavaud
;
Cédric Fournet
;
Natalia Kulatova
;
Tahina Ramananandro
;
Aseem Rastogi
;
Nikhil Swamy
;
Christoph M. W
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Multiplexing;
Encryption;
Libraries;
Programming;
Safety;
63.
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
机译:
严格的硬件安全工程:CHERI设计和实施过程中的正式建模和证明
作者:
Kyndylan Nienhuis
;
Alexandre Joannou
;
Thomas Bauereiss
;
Anthony Fox
;
Michael Roe
;
Brian Campbell
;
Matthew Naylor
;
Robert M. Norton
;
Simon W. Moore
;
Peter G. Neumann
;
Ian Stark
;
Robert N. M. Watson
;
Peter Sewell
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Hardware;
Software;
Computer bugs;
Memory management;
Testing;
64.
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
机译:
Binsec / Rel:二进制级别的恒定时间的有效关系符号执行
作者:
Lesly-Ann Daniel
;
Sébastien Bardin
;
Tamara Rezk
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Tools;
Timing;
Cryptography;
Standards;
Safety;
Memory management;
Optimization;
65.
An Analysis of Pre-installed Android Software
机译:
预装Android软件分析
作者:
Julien Gamba
;
Mohammed Rashed
;
Abbas Razaghpanah
;
Juan Tapiador
;
Narseo Vallina-Rodriguez
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Androids;
Humanoid robots;
Software;
Smart phones;
Ecosystems;
Libraries;
Microprogramming;
66.
Kobold: Evaluating Decentralized Access Control for Remote NSXPC Methods on iOS
机译:
Kobold:在iOS上评估远程NSXPC方法的分散访问控制
作者:
Luke Deshotels
;
Costin Carabas
;
Jordan Beichler
;
Răzvan Deaconescu
;
William Enck
会议名称:
《》
|
2020年
关键词:
Access control;
Privacy;
Computer crashes;
Microphones;
Kernel;
Systematics;
67.
TextExerciser: Feedback-driven Text Input Exercising for Android Applications
机译:
TextExerciser:Android应用程序的反馈驱动的文本输入练习
作者:
Yuyu He
;
Lei Zhang
;
Zhemin Yang
;
Yinzhi Cao
;
Keke Lian
;
Shuai Li
;
Wei Yang
;
Zhibo Zhang
;
Min Yang
;
Yuan Zhang
;
Haixin Duan
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Password;
Androids;
Humanoid robots;
Tools;
Syntactics;
Privacy;
Google;
68.
Ex-vivo dynamic analysis framework for Android device drivers
机译:
适用于Android设备驱动程序的离体动态分析框架
作者:
Ivan Pustogarov
;
Qian Wu
;
David Lie
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Kernel;
Hardware;
Androids;
Humanoid robots;
Smart phones;
Device drivers;
Linux;
69.
Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps
机译:
在移动应用程序中通过输入验证自动发现隐藏的行为
作者:
Qingchuan Zhao
;
Chaoshun Zuo
;
Brendan Dolan-Gavitt
;
Giancarlo Pellegrino
;
Zhiqiang Lin
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Blacklisting;
Password;
Google;
Tools;
Syntactics;
Semantics;
70.
PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning
机译:
PMP:具有概率内存预计划的经济高效的强制执行
作者:
Wei You
;
Zhuo Zhang
;
Yonghwi Kwon
;
Yousra Aafer
;
Fei Peng
;
Yu Shi
;
Carson Harmon
;
Xiangyu Zhang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Malware;
Payloads;
Resource management;
Libraries;
Computer crashes;
Registers;
Security;
71.
Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics
机译:
使用替代标签传播语义学在法医分析中对抗依赖性爆炸
作者:
Md Nahid Hossain
;
Sanaz Sheikhi
;
R. Sekar
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Explosions;
Security;
Forensics;
Attenuation;
Ransomware;
Linux;
72.
TARDIS: Rolling Back The Clock On CMS-Targeting Cyber Attacks
机译:
TARDIS:锁定针对CMS的网络攻击的时光倒流
作者:
Ranjita Pai Kasturi
;
Yiting Sun
;
Ruian Duan
;
Omar Alrawi
;
Ehsan Asdar
;
Victor Zhu
;
Yonghwi Kwon
;
Brendan Saltaformaggio
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Measurement;
Cyberattack;
Forensics;
Web servers;
Industries;
Malware;
73.
Tactical Provenance Analysis for Endpoint Detection and Response Systems
机译:
端点检测和响应系统的战术来源分析
作者:
Wajih Ul Hassan
;
Adam Bates
;
Daniel Marino
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Tools;
Security;
Skeleton;
Knowledge based systems;
Fatigue;
Task analysis;
Manuals;
74.
Throwing Darts in the Dark? Detecting Bots with Limited Data using Neural Data Augmentation
机译:
在黑暗中投掷飞镖?使用神经数据增强来检测数据受限的机器人
作者:
Steve T.K. Jan
;
Qingying Hao
;
Tianrui Hu
;
Jiameng Pu
;
Sonal Oswal
;
Gang Wang
;
Bimal Viswanath
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
CAPTCHAs;
Data models;
IP networks;
Machine learning;
Security;
Training;
Encoding;
75.
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation
机译:
JIT泄漏:通过即时编译引入时序侧通道
作者:
Tegan Brennan
;
Nicolás Rosner
;
Tevfik Bultan
会议名称:
《》
|
2020年
关键词:
Timing;
Runtime;
Optimization;
Java;
Probes;
Password;
76.
The State of the Uniform: Attacks on Encrypted Databases Beyond the Uniform Query Distribution
机译:
统一状态:对统一查询分布范围以外的加密数据库的攻击
作者:
Evgenios M. Kornaropoulos
;
Charalampos Papamanthou
;
Roberto Tamassia
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Databases;
Estimation;
Histograms;
Encryption;
Servers;
Approximation algorithms;
77.
Pseudorandom Black Swans: Cache Attacks on CTR_DRBG
机译:
伪随机黑天鹅:CTR_DRBG的缓存攻击
作者:
Shaanan Cohney
;
Andrew Kwong
;
Shahar Paz
;
Daniel Genkin
;
Nadia Heninger
;
Eyal Ronen
;
Yuval Yarom
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Resistance;
Encryption;
Entropy;
Generators;
Servers;
78.
Flaw Label: Exploiting IPv6 Flow Label
机译:
缺陷标签:利用IPv6流标签
作者:
Jonathan Berger
;
Amit Klein
;
Benny Pinkas
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Target tracking;
Privacy;
Protocols;
Linux;
Browsers;
Microsoft Windows;
Kernel;
79.
HopSkipJumpAttack: A Query-Efficient Decision-Based Attack
机译:
HopSkipJumpAttack:一种基于查询的高效决策攻击
作者:
Jianbo Chen
;
Michael I. Jordan
;
Martin J. Wainwright
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Optimization;
Perturbation methods;
Measurement;
Neural networks;
Predictive models;
Estimation;
Iterative methods;
80.
Humpty Dumpty: Controlling Word Meanings via Corpus Poisoning
机译:
矮胖:通过语料库中毒控制词义
作者:
Roei Schuster
;
Tal Schuster
;
Yoav Meri
;
Vitaly Shmatikov
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Semantics;
Task analysis;
Training;
Optimization;
Mathematical model;
Encyclopedias;
81.
Privacy Risks of General-Purpose Language Models
机译:
通用语言模型的隐私风险
作者:
Xudong Pan
;
Mi Zhang
;
Shouling Ji
;
Min Yang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Natural language processing;
Google;
Bioinformatics;
Machine learning;
Genomics;
Training;
82.
Intriguing Properties of Adversarial ML Attacks in the Problem Space
机译:
问题空间中对抗性ML攻击的有趣特性
作者:
Fabio Pierazzi
;
Feargus Pendlebury
;
Jacopo Cortellazzi
;
Lorenzo Cavallaro
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Malware;
Perturbation methods;
Robustness;
Androids;
Humanoid robots;
Semantics;
83.
Influencing Photo Sharing Decisions on Social Media: A Case of Paradoxical Findings
机译:
在社交媒体上影响照片共享决策:一个自相矛盾的发现
作者:
Mary Jean Amon
;
Rakibul Hasan
;
Kurt Hugenberg
;
Bennett I. Bertenthal
;
Apu Kapadia
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Privacy;
Limiting;
Facebook;
Security;
Sociology;
Psychology;
84.
SoK: Cyber Insurance – Technical Challenges and a System Security Roadmap
机译:
SoK:网络保险–技术挑战和系统安全路线图
作者:
Savino Dambra
;
Leyla Bilge
;
Davide Balzarotti
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Insurance;
Companies;
Risk management;
Computer security;
85.
A Tale of Sea and Sky On the Security of Maritime VSAT Communications
机译:
关于海上VSAT通信安全性的海空故事
作者:
James Pavur
;
Daniel Moser
;
Martin Strohmeier
;
Vincent Lenders
;
Ivan Martinovic
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Satellite broadcasting;
Security;
Marine vehicles;
Satellites;
Companies;
Industries;
Broadband communication;
86.
I Know Where You Parked Last Summer : Automated Reverse Engineering and Privacy Analysis of Modern Cars
机译:
我知道你去年夏天停在哪里:自动化的逆向工程和现代汽车的隐私分析
作者:
Daniel Frassinelli
;
Sohyeon Park
;
Stefan Nürnberger
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Automobiles;
Sensors;
Protocols;
Security;
Privacy;
Automotive engineering;
87.
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
机译:
SoK:了解TrustZone辅助的TEE系统中普遍存在的安全漏洞
作者:
David Cerdeira
;
Nuno Santos
;
Pedro Fonseca
;
Sandro Pinto
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Kernel;
Security;
Linux;
Hardware;
Androids;
Humanoid robots;
Computer bugs;
88.
OAT: Attesting Operation Integrity of Embedded Devices
机译:
OAT:证明嵌入式设备的操作完整性
作者:
Zhichuang Sun
;
Bo Feng
;
Long Lu
;
Somesh Jha
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Open area test sites;
Performance evaluation;
Instruments;
Data integrity;
Manipulators;
89.
Enabling Rack-scale Confidential Computing using Heterogeneous Trusted Execution Environment
机译:
使用异构可信执行环境启用机架规模的机密计算
作者:
Jianping Zhu
;
Rui Hou
;
XiaoFeng Wang
;
Wenhao Wang
;
Jiangfeng Cao
;
Boyan Zhao
;
Zhongpu Wang
;
Yuhui Zhang
;
Jiameng Ying
;
Lixin Zhang
;
Dan Meng
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Task analysis;
Security;
Switches;
Hardware;
Software;
Servers;
Training;
90.
Plundervolt: Software-based Fault Injection Attacks against Intel SGX
机译:
Plundervolt:针对英特尔SGX的基于软件的故障注入攻击
作者:
Kit Murdock
;
David Oswald
;
Flavio D. Garcia
;
Jo Van Bulck
;
Daniel Gruss
;
Frank Piessens
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Program processors;
Voltage control;
Cryptography;
Clocks;
Regulators;
91.
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
机译:
RetroWrite:静态检测COTS二进制文件以进行模糊和消毒
作者:
Sushant Dinesh
;
Nathan Burow
;
Dongyan Xu
;
Mathias Payer
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Instruments;
Fuzzing;
Computer bugs;
Runtime;
Security;
Libraries;
Tools;
92.
Unexpected Data Dependency Creation and Chaining: A New Attack to SDN
机译:
意外的数据依赖关系创建和链接:对SDN的新攻击
作者:
Feng Xiao
;
Jinquan Zhang
;
Jianwei Huang
;
Guofei Gu
;
Dinghao Wu
;
Peng Liu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Protocols;
Switches;
Security;
Software;
Tools;
Payloads;
93.
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
机译:
Neutaint:使用神经网络进行有效的动态污点分析
作者:
Dongdong She
;
Yizheng Chen
;
Abhishek Shah
;
Baishakhi Ray
;
Suman Jana
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Tools;
Fuzzing;
Runtime;
Neural networks;
Security;
Performance analysis;
Task analysis;
94.
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware
机译:
Karonte:在嵌入式固件中检测不安全的多二进制交互
作者:
Nilo Redini
;
Aravind Machiry
;
Ruoyu Wang
;
Chad Spensky
;
Andrea Continella
;
Yan Shoshitaishvili
;
Christopher Kruegel
;
Giovanni Vigna
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Computer bugs;
Web servers;
Static analysis;
Security;
Tools;
Prototypes;
Microprogramming;
95.
SPIDER: Enabling Fast Patch Propagation In Related Software Repositories
机译:
蜘蛛:在相关软件存储库中启用快速补丁传播
作者:
Aravind Machiry
;
Nilo Redini
;
Eric Camellini
;
Christopher Kruegel
;
Giovanni Vigna
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Security;
Kernel;
Testing;
Databases;
Androids;
Humanoid robots;
96.
SAVIOR: Towards Bug-Driven Hybrid Testing
机译:
救星:迈向漏洞驱动的混合测试
作者:
Yaohui Chen
;
Peng Li
;
Jun Xu
;
Shengjian Guo
;
Rundong Zhou
;
Yulong Zhang
;
Tao Wei
;
Long Lu
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Fuzzing;
Computer bugs;
Software;
Security;
Tools;
Benchmark testing;
97.
Ijon: Exploring Deep State Spaces via Fuzzing
机译:
伊戎:通过模糊探索深层状态空间
作者:
Cornelius Aschermann
;
Sergej Schumilo
;
Ali Abbasi
;
Thorsten Holz
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Fuzzing;
Computer bugs;
Space exploration;
Software;
Tools;
Games;
Instruments;
98.
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
机译:
穿山甲:增量混合模糊与多面体路径抽象
作者:
Heqing Huang
;
Peisen Yao
;
Rongxin Wu
;
Qingkai Shi
;
Charles Zhang
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Fuzzing;
Computer bugs;
Hybrid power systems;
Benchmark testing;
Security;
Market research;
Tools;
99.
Krace: Data Race Fuzzing for Kernel File Systems
机译:
Krace:内核文件系统的数据争用测试
作者:
Meng Xu
;
Sanidhya Kashyap
;
Hanqing Zhao
;
Taesoo Kim
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Kernel;
Fuzzing;
Instruction sets;
Concurrent computing;
Computer bugs;
Synchronization;
Delays;
100.
VerX: Safety Verification of Smart Contracts
机译:
VerX:智能合约的安全验证
作者:
Anton Permenev
;
Dimitar Dimitrov
;
Petar Tsankov
;
Dana Drachsler-Cohen
;
Martin Vechev
会议名称:
《IEEE Symposium on Security and Privacy》
|
2020年
关键词:
Contracts;
Safety;
Instruments;
Engines;
Libraries;
意见反馈
回到顶部
回到首页