掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Computer Security Foundations Symposium
IEEE Computer Security Foundations Symposium
召开年:
2013
召开地:
New Orleans, LA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Cryptographic Enforcement of Language-Based Information Erasure
机译:
基于语言信息擦除的加密实施
作者:
Askarov Aslan
;
Moore Scott
;
Dimoulas Christos
;
Chong Stephen
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
2.
Picking vs. Guessing Secrets: A Game-Theoretic Analysis
机译:
采摘与猜测秘密:游戏 - 理论分析
作者:
Khouzani M.H.R.
;
Mardziel Piotr
;
Cid Carlos
;
Srivatsa Mudhakar
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Attacker-Defender Games;
Decision Theory;
Game Theory;
Maximin;
Nash Equilibrium;
Password Attacks;
Strong Stackelberg Equilibrium;
Usability-Security Trade-off;
3.
Program Actions as Actual Causes: A Building Block for Accountability
机译:
作为实际原因的计划操作:责任的构建块
作者:
Datta Anupam
;
Garg Deepak
;
Kaynar Dilsun
;
Sharma Divya
;
Sinha Arunesh
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Accountability;
Audit;
Causation;
Security Protocols;
4.
BitWhisper: Covert Signaling Channel between Air-Gapped Computers Using Thermal Manipulations
机译:
BetWhisper:使用热操作的透气计算机之间的隐蔽信号通道
作者:
Guri Mordechai
;
Monitz Matan
;
Mirski Yisroel
;
Elovici Yuval
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
air-gap;
bridging;
covert channel;
exfiltration;
infiltration;
sensors;
temperature;
5.
An Analysis of Universal Information Flow Based on Self-Composition
机译:
基于自组合的通用信息流分析
作者:
Muller Christian
;
Kovacs Mate
;
Seidl Helmut
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
hypersafety property;
information flow control;
interprocedural analysis;
noninterference;
weakest precondition;
6.
Analyzing First-Order Role Based Access Control
机译:
分析基于一阶的基于角色的访问控制
作者:
Cotrini Carlos
;
Weghorn Thilo
;
Basin David
;
Clavel Manuel
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Role based access control;
authorization languages;
first-order logic;
policy analysis;
7.
Probabilistic Program Modeling for High-Precision Anomaly Classification
机译:
高精度异常分类的概率计划建模
作者:
Kui Xu
;
Yao Danfeng Daphne
;
Ryder Barbara G.
;
Ke Tian
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Anomaly detection;
hidden Markov model;
probability;
static program analysis;
8.
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework
机译:
基于逻辑的信任管理系统中的政策行为的推理:一些复杂性结果和运营框架
作者:
Pasarella Edelmira
;
Lobo Jorge
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Answer Set Programming;
Logic Programs;
Semantics;
Trust Management Systems;
9.
A Methodology for Information Flow Experiments
机译:
信息流实验的方法论
作者:
Tschantz Michael Carl
;
Datta Amit
;
Datta Anupam
;
Wing Jeannette M.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
blackbox experiments;
causation;
information flow analysis;
online tracking;
10.
A Cut Principle for Information Flow
机译:
用于信息流的切割原理
作者:
Guttman Joshua D.
;
Rowe Paul D.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Information flow security;
graph models;
partial order execution models;
11.
Du-Vote: Remote Electronic Voting with Untrusted Computers
机译:
du-epot:远程电子投票与不受信任的计算机
作者:
Grewal Gurchetan S.
;
Ryan Mark D.
;
Liqun Chen
;
Clarkson Michael R.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Internet voting;
Malware tolerance;
Untrusted computers;
Verifiable elections;
12.
A Game-Theoretic Study on Non-monetary Incentives in Data Analytics Projects with Privacy Implications
机译:
具有隐私含义数据分析项目中非货币奖励的游戏 - 理论研究
作者:
Chessa Michela
;
Grossklags Jens
;
Loiseau Patrick
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Non-cooperative game;
data analytics;
non-monetary incentives;
population estimate;
privacy;
public good;
13.
Flow-Limited Authorization
机译:
流量有限的授权
作者:
Arden Owen
;
Jed Liu
;
Myers Andrew C.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
access control;
authorization logic;
distributed systems;
dynamic policies;
information flow control;
language-based security;
security;
trust management;
14.
The Anatomy and Facets of Dynamic Policies
机译:
动态政策的解剖学和方面
作者:
Broberg Niklas
;
van Delft Bart
;
Sands David
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
15.
Compositional Typed Analysis of ARBAC Policies
机译:
ABBAC政策的组成类型分析
作者:
Calzavara Stefano
;
Rabitti Alvise
;
Bugliesi Michele
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
16.
A Parametric Family of Attack Models for Proxy Re-encryption
机译:
代理重新加密的参数族攻击模型
作者:
Nunez David
;
Agudo Isaac
;
Lopez Javier
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Attack models;
Proxy Re-Encryption;
Security notions;
17.
A Mechanized Proof of Security for Searchable Symmetric Encryption
机译:
可搜索对称加密的机械化证明
作者:
Petcher Adam
;
Morrisett Greg
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
18.
Set-Pi: Set Membership p-Calculus
机译:
SET-PI:设置成员资格P-COMPULUS
作者:
Bruni Alessandro
;
Modersheim Sebastian
;
Nielson Flemming
;
Nielson Hanne Riis
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
authentication;
formal methods and verification;
security protocols;
19.
A Complete Characterization of Secure Human-Server Communication
机译:
完全表征安全人员服务
作者:
Basin David
;
Radomirovic Saa
;
Schlaepfer Michael
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Formal Modeling;
Security Ceremonies;
Security Protocols;
20.
A Hybrid Approach for Proving Noninterference of Java Programs
机译:
一种用于证明Java程序的非干扰的混合方法
作者:
Kusters Ralf
;
Truderung Tomasz
;
Beckert Bernhard
;
Bruns Daniel
;
Kirsten Michael
;
Mohr Martin
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
code-level cryptographic analysis;
language-based security;
noninterference;
program analysis;
21.
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language
机译:
值敏感的混合信息流控制,类似于JavaScript的语言
作者:
Hedin Daniel
;
Bello Luciano
;
Sabelfeld Andrei
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
information flow;
language-based security;
22.
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining
机译:
在分布式计算中的电力分割游戏:比特币池挖掘的情况
作者:
Loi Luu
;
Saha Ratul
;
Parameshwaran Inian
;
Saxena Prateek
;
Hobor Aquinas
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Bitcoin;
Cryptocurrency;
Distributed computation;
23.
Information Flow Control for Event Handling and the DOM in Web Browsers
机译:
信息流控制用于事件处理和Web浏览器中的DOM
作者:
Rajani Vineet
;
Bichhawat Abhishek
;
Garg Deepak
;
Hammer Christian
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
24.
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations
机译:
分解,比较和合成访问控制富有仿真模拟
作者:
Garrison William C.
;
Lee Adam J.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
access control;
expressiveness;
suitability;
25.
Decidability of Trace Equivalence for Protocols with Nonces
机译:
痕量等效性的拆除性与诺斯的协议
作者:
Chretien Remy
;
Cortier Veronique
;
Delaune Stephanie
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
privacy-like properties;
security protocols;
trace equivalence;
26.
Understanding and Enforcing Opacity
机译:
理解和执行不透明度
作者:
Schoepe Daniel
;
Sabelfeld Andrei
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
information flow;
language-based security;
27.
Policy Privacy in Cryptographic Access Control
机译:
加密访问控制中的策略隐私
作者:
Ferrara Anna Lisa
;
Fachsbauer Georg
;
Bin Liu
;
Warinschi Bogdan
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
28.
A Definitional Framework for Functional Encryption
机译:
功能加密的定义框架
作者:
Matt Christian
;
Maurer Ueli
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
29.
Rational Protection against Timing Attacks
机译:
针对时间攻击的理性保护
作者:
Doychev Goran
;
Kopf Boris
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
30.
Android Permissions Unleashed
机译:
Android权限释放出来
作者:
Armando Alessandro
;
Carbone Roberto
;
Costa Gabriele
;
Merlo Alessio
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
31.
Rethinking Large-Scale Consensus (Invited Paper)
机译:
重新思考大规模共识(邀请纸)
作者:
Rafael Pass
;
Elaine Shi
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
consensus;
classical;
attained;
32.
Types for Location and Data Security in Cloud Environments
机译:
云环境中的位置和数据安全类型
作者:
Ivan Gazeau
;
Tom Chothia
;
Dominic Duggan
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
scenarios;
protected;
attacking;
33.
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL
机译:
正式化并证明Isabelle / Hol中的安全协议的打字结果
作者:
Andreas Viktor Hess
;
Sebastian M?dersheim
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
TLS;
handshake satisfies;
main condition;
34.
Formal Computational Unlinkability Proofs of RFID Protocols
机译:
RFID协议的正式计算可用性证据
作者:
Hubert Comon
;
Adrien Koutsos
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
proofs;
unlinkability;
properties;
35.
PrivatePool: Privacy-Preserving Ridesharing
机译:
PrivatePool:保留riveShiening
作者:
Per Hallgren Chalmers
;
Claudio Orlandi Aarhus
;
Andrei Sabelfeld Chalmers
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
services;
revolutionized;
trajectories;
36.
A Formal Approach to Cyber-Physical Attacks
机译:
一种用于网络物理攻击的正式方法
作者:
Ruggero Lanotte
;
Massimo Merro
;
Riccardo Muradore
;
Luca Viganò
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Cyber-physical system security;
formal methods;
theoretical foundation;
process calculus;
37.
Tight Bounds on Information Leakage from Repeated Independent Runs
机译:
来自重复独立运行的信息泄漏的紧张界限
作者:
David M. Smith
;
Geoffrey Smith
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
techniques;
analytic combinatorics;
recurrence;
38.
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
机译:
通过自动合成的关系不变性证明顺序逻辑的流量安全性
作者:
Hyoukjun Kwon
;
William Harris
;
Hadi Esmaeilzadeh
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
DSP;
debugging interface;
variety;
39.
Synthesis of Adaptive Side-Channel Attacks
机译:
合成自适应侧通道攻击
作者:
Quoc-Sang Phan
;
Lucas Bang
;
Corina S. P?s?reanu
;
Pasquale Malacaria
;
Tevfik Bultan
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Side-Channel Attacks;
Quantitative Information Flow;
Cryptography;
Multi-run Security;
Symbolic Execution;
Satisfiability Modulo Theories;
MaxSMT;
Model Counting;
40.
Secure compilation and hyperproperty preservation
机译:
安全汇编和高效保存
作者:
Marco Patrignani
;
Deepak Garg
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Secure compilation;
hyperproperty preservation;
TPC;
41.
Symbolic verification of privacy-type properties for security protocols with XOR
机译:
具有XOR的安全协议的隐私类型属性的符号验证
作者:
David Baelde
;
Stéphanie Delaune
;
Ivan Gazeau
;
Steve Kremer
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
unlinkability;
various;
verifying;
42.
Leakage-Minimal Design: Universality, Limitations, and Applications
机译:
泄漏 - 最小的设计:普遍性,限制和应用
作者:
MHR. Khouzani
;
Pasquale Malacaria
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
subject to;
operational constraints;
timing attacks countermeasures;
43.
Human Computing for Handling Strong Corruptions in Authenticated Key Exchange
机译:
用于处理经过身份验证的密钥交换中强制腐败的人类计算
作者:
Alexandra Boldyreva
;
Shan Chen
;
Pierre-Alain
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Human computation;
key exchange;
one-time passwords;
PAKE;
strong corruptions;
44.
Securing Concurrent Lazy Programs Against Information Leakage
机译:
确保并发延迟程序以获取信息泄露
作者:
Marco Vassena Chalmers
;
Joachim Breitner
;
Alejandro Russo
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
guarantees;
supported;
mechanized;
45.
On the Protection of Private Information in Machine Learning Systems: Two Recent Approches (Invited Paper)
机译:
关于在机器学习系统中保护私人信息:最近的两个批准(邀请纸)
作者:
Martin Abadi
;
Ulfar Erlingsson
;
Ian Goodfellow
;
H. Brendan McMahan
;
Ilya Mironov
;
Nicolas Papernot
;
Kunal Talwar
;
Li Zhang Google
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
privacy;
wisdom;
Schroeder;
46.
UC-Secure Non-Interactive Public-Key Encryption
机译:
UC安全的非交互式公钥加密
作者:
Jan Camenisch
;
Anja Lehmann
;
Gregory Neven
;
Kai Samel
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
illustrate;
modular reusability;
functionality;
47.
Verified Translation Validation of Static Analyses
机译:
验证静态分析的翻译验证
作者:
Gilles Barthe
;
Sandrine Blazy
;
Vincent Laporte
;
David Pichardieand
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
verified compilation;
Coq proof assistant;
program analysis;
constant-time programming;
48.
SAT-Equiv: an efficient tool for equivalence properties
机译:
SAT-Equif:等价属性的有效工具
作者:
Véronique Cortier
;
Antoine Dallon
;
Stéphanie Delauneí
;
CNRS LORIA
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
particularly adapted;
properties;
sessions;
49.
The Web SSO Standard OpenID Connect: In-Depth Formal Security Analysis and Security Guidelines
机译:
Web SSO标准OpenID Connect:深入的正式安全分析和安全指南
作者:
Daniel Fett
;
Ralf Küsters
;
Guido Schmitz
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
SSO;
previously;
attack variants;
50.
Formal verification of protocols based on short authenticated strings
机译:
基于短路认证字符串的协议正式验证
作者:
Stéphanie Delaune
;
Steve Kremer
;
Ludovic Robin
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
procedure;
analysing;
rely;
51.
Rényi Differential Privacy
机译:
Rényi差异隐私
作者:
Ilya Mironov
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
compactly;
accurately representing;
composite heterogeneous mechanisms;
52.
Run-time Attack Detection in Cryptographic APIs
机译:
加密API中的运行时间攻击检测
作者:
Riccardo Focardi
;
Marco Squarcina
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
attacks;
literature;
adopt;
53.
A Universally Composable Treatment of Network Time
机译:
一个普遍的可组合治疗网络时间
作者:
Ran Canetti
;
Kyle Hogan
;
Aanchal Malhotra
;
Mayank Varia
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
authenticity;
practically;
primitives;
54.
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications
机译:
自动检测滥用秘密:基础,设计原则和应用
作者:
Kevin Milner
;
Cas Cremers
;
Jiangshan Yu
;
Mark Ryan
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
substantially increase;
security guarantees;
misuse detection;
55.
Securing Databases from Probabilistic Inference
机译:
保护数据库从概率推理
作者:
Marco Guarnieri
;
Srdjan Marinovic
;
David Basin
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
dependencies;
prior knowledge;
tractable;
56.
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-bounded Processes
机译:
决定安全协议的保密,以获取无限数量的会话:深度有限进程的情况
作者:
Emanuele DOsualdo
;
Luke Ong
;
Alwen Tiu
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
depth-bounded process;
security protocols;
protocol secrecy;
well-structured transition system;
57.
Reconciling Privacy and Utility in Continuous-Time Diffusion Networks
机译:
在连续时间扩散网络中协调隐私和实用程序
作者:
Michael Backes
;
Praveen Manoharan
;
Manuel Gomez-Rodriguez
;
Bartlomiej Surma
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
propagation behavior;
social networks;
objective function;
58.
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
机译:
Android应用程序静态分析的声音敏感堆抽象
作者:
Stefano Calzavara
;
Ilya Grishchenko
;
Adrien Koutsos
;
Matteo Maffei
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
HornDroid;
efficiency;
Android;
59.
Secure composition of PKIs with public key protocols
机译:
与公钥协议的安全组成PKIS
作者:
Vincent Cheval
;
Véronique Cortier
;
Bogdan Warinschi
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
PKIs;
respect;
properties;
60.
Mechanizing the Proof of Adaptive, Information-theoretic Security of Cryptographic Protocols in the Random Oracle Model
机译:
机械化随机Oracle模型中加密协议的自适应信息的证据
作者:
Alley Stoughton
;
Mayank Varia Boston
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
learned;
completing;
EasyCrypt;
61.
How Shall We Play a Game? A Game-theoretical Model for Cyber-warfare Games
机译:
我们该如何玩游戏?网络战争游戏的游戏理论模型
作者:
Tiffany Bao
;
Yan Shoshitaishvili
;
Ruoyu Wang
;
Christopher Kruege
;
Giovanni Vigna
;
David Brumley
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Automated techniques;
finding;
exploiting;
patching;
62.
Differential Privacy in Quantum Computation
机译:
量子计算中的差异隐私
作者:
Li Zhou
;
Mingsheng Ying
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
operations;
quantum information;
machine learning;
63.
Towards a Flow- and Path-Sensitive Information Flow Analysis
机译:
朝向流动和路径敏感信息流分析
作者:
Peixuan Li
;
Danfeng Zhang
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
Information Flow Analysis;
Dependent Type;
64.
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols
机译:
ARINC823航空顺语方案的象征性和计算机械化验证
作者:
Bruno Blanchet
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2017年
关键词:
symbolic;
computational verification;
symbolic;
65.
An Extensive Formal Analysis of Multi-factor Authentication Protocols
机译:
对多因素认证协议进行广泛的正式分析
作者:
Charlie Jacomme
;
Steve Kremer
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Google;
Authentication;
Password;
Servers;
66.
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios
机译:
电子投票的机器检查证明:Belenios的隐私和可核实性
作者:
Véronique Cortier
;
Constantin Catalin Dragan
;
Fran?ois Dupressoir
;
Bogdan Warinschi
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Privacy;
Protocols;
Electronic voting;
Cryptography;
Analytical models;
67.
Symbolic Security of Garbled Circuits
机译:
乱码电路的象征性安全性
作者:
Baiyu Li
;
Daniele Micciancio
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Encryption;
Computational modeling;
Integrated circuit modeling;
Standards;
68.
Inductive Invariants for Noninterference in Multi-agent Workflows
机译:
多功能工作流中的非干扰的归纳不变
作者:
Christian Müller
;
Helmut Seidl
;
Eugen Z?linescu
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Conference management;
Electronic mail;
Semantics;
Transforms;
Syntactics;
Computer security;
69.
A Typing Result for Stateful Protocols
机译:
有状态协议的打字结果
作者:
Andreas Hess
;
Sebastian M?dersheim
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Cryptography;
Algebra;
Syntactics;
Databases;
Tools;
Writing;
70.
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks
机译:
在真实世界秘密共享MPC框架中实施理想世界泄露界限
作者:
José Bacelar Almeida
;
Manuel Barbosa
;
Gilles Barthe
;
Hugo Pacheco
;
Vitor Pereira
;
Bernardo Portela
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Cryptography;
Probabilistic logic;
Servers;
Optimization;
Standards;
71.
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies
机译:
假设您知道:表达流动政策的关系注释的认识语义
作者:
Andrey Chudnov
;
David A. Naumann
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Semantics;
Password;
Safety;
Observers;
IP networks;
72.
Formal Security Proof of CMAC and Its Variants
机译:
CMAC及其变体的正式安全证明
作者:
Cécile Baritel-Ruet
;
Fran?ois Dupressoir
;
Pierre-Alain Fouque
;
Benjamin Gregoire
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Ciphers;
Tagging;
Standards;
Libraries;
Message authentication;
73.
Knowledge-Based Security of Dynamic Secrets for Reactive Programs
机译:
基于知识的反应计划动态秘密安全性
作者:
McKenna McCall
;
Hengruo Zhang
;
Limin Jia
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Security;
Browsers;
Knowledge based systems;
Robustness;
Global Positioning System;
Context modeling;
Servers;
74.
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor
机译:
邀请纸质:安全的引导和远程证明在Sanctum处理器中
作者:
Ilia Lebedev
;
Kyle Hogan
;
Srinivas Devadas
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Hardware;
Public key;
Error correction;
Software;
Silicon;
75.
Types for Information Flow Control: Labeling Granularity and Semantic Models
机译:
信息流控制类型:标记粒度和语义模型
作者:
Vineet Rajani
;
Deepak Garg
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Security;
Computational modeling;
Lattices;
Labeling;
Semantics;
Standards;
Software systems;
76.
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
机译:
自动化无限性验证与独占的或
作者:
Jannik Dreier
;
Lucca Hirschi
;
Sasa Radomirovic
;
Ralf Sasse
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Mathematical model;
Tools;
Cryptography;
Analytical models;
Computational modeling;
77.
Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
机译:
机器学习中的隐私风险:分析与过度装备的连接
作者:
Samuel Yeom
;
Irene Giacomelli
;
Matt Fredrikson
;
Somesh Jha
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Privacy;
Machine learning algorithms;
Data models;
Training data;
Machine learning;
Training;
78.
A Permission-Dependent Type System for Secure Information Flow Analysis
机译:
用于安全信息流分析的权限相关类型系统
作者:
Hongxu Chen
;
Alwen Tiu
;
Zhiwu Xu
;
Yang Liu
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Androids;
Humanoid robots;
Advertising;
Access control;
Permission;
Merging;
79.
Composition Theorems for CryptoVerif and Application to TLS 1.3
机译:
CryptoverIF的构成定理和应用于TLS 1.3
作者:
Bruno Blanchet
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Cryptography;
Computational modeling;
Authentication;
Games;
Runtime;
80.
Committees
机译:
委员会
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
81.
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”
机译:
安全汇编侧通道对策:加密“常数”的情况
作者:
Gilles Barthe
;
Benjamin Grégoire
;
Vincent Laporte
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Timing;
Side-channel attacks;
Semantics;
Standards;
Software;
Libraries;
82.
Symbolic Side-Channel Analysis for Probabilistic Programs
机译:
概率计划的符号侧通道分析
作者:
Pasquale Malacaria
;
MHR Khouzani
;
Corina S. Pasareanu
;
Quoc-Sang Phan
;
Kasper Luckow
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Noise measurement;
Tools;
Entropy;
Probabilistic logic;
Computational modeling;
Security;
Monte Carlo methods;
83.
Computer-Aided Proofs for Multiparty Computation with Active Security
机译:
具有主动安全性的多重计算的计算机辅助证明
作者:
Helene Haagh
;
Aleksandr Karbyshev
;
Sabine Oechsner
;
Bas Spitters
;
Pierre-Yves Strub
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Cryptography;
Protocols;
Additives;
Probabilistic logic;
Standards;
Tools;
84.
The Complexity of Monitoring Hyperproperties
机译:
监测超值的复杂性
作者:
Borzoo Bonakdarpour
;
Bernd Finkbeiner
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Complexity theory;
Model checking;
Monitoring;
Runtime;
Shape;
Security;
Protocols;
85.
Backdoored Hash Functions: Immunizing HMAC and HKDF
机译:
回理哈希功能:免疫HMAC和HKDF
作者:
Marc Fischlin
;
Christian Janson
;
Sogol Mazaheri
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Resistance;
Public key;
Standards;
Buildings;
Encryption;
86.
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif
机译:
一点谈话,行动一点,更多的满足感:箴言中的全球州
作者:
Vincent Cheval
;
Véronique Cortier
;
Mathieu Turuani
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Tools;
Servers;
Cryptography;
Encoding;
Calculus;
87.
Guided Design of Attack Trees: A System-Based Approach
机译:
攻击树的指导设计:基于系统的方法
作者:
Maxime Audinot
;
Sophie Pinchinat
;
Barbara Kordy
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Analytical models;
Automata;
Security;
Semantics;
Standards;
Computational modeling;
Statistical analysis;
88.
A Cryptographic Look at Multi-party Channels
机译:
加密看多方频道
作者:
Patrick Eugster
;
Giorgia Azzurra Marson
;
Bertram Poettering
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Servers;
Reliability;
Internet;
Encryption;
89.
Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks
机译:
自我保护的加密协议反对算法替代攻击
作者:
Marc Fischlin
;
Sogol Mazaheri
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Encryption;
Hardware;
Protocols;
Software algorithms;
Public key;
90.
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
机译:
KEVM:Ethereum虚拟机的完整形式语义
作者:
Everett Hildenbrandt
;
Manasvi Saxena
;
Nishant Rodrigues
;
Xiaoran Zhu
;
Philip Daian
;
Dwight Guth
;
Brandon Moore
;
Daejun Park
;
Yi Zhang
;
Andrei Stefanescu
;
Grigore Rosu
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Contracts;
Semantics;
Tools;
Virtual machining;
Bitcoin;
91.
Alethea: A Provably Secure Random Sample Voting Protocol
机译:
Aleteethea:一种可怕的安全随机样本投票协议
作者:
David Basin
;
Sa?a Radomirovic
;
Lara Schmid
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Protocols;
Servers;
Security;
Voting;
Computational modeling;
Performance evaluation;
Privacy;
92.
Message from the General Chair
机译:
一般椅子的信息
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
93.
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility
机译:
邀请纸质:公制空间的本地差异隐私:使用实用程序优化权衡
作者:
Mário Alvim
;
Konstantinos Chatzikokolakis
;
Catuscia Palamidessi
;
Anna Pazii
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2018年
关键词:
Privacy;
Measurement;
Distributed databases;
Smart meters;
94.
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device
机译:
Beleniosvs:对腐败的投票设备保密和验证性
作者:
Véronique Cortier
;
Alicia Filipiak
;
Joseph Lallemand
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Privacy;
Voting;
Servers;
Protocols;
Internet;
Cryptography;
Tools;
95.
Temporal Safety for Stack Allocated Memory on Capability Machines
机译:
堆栈在能力机器上分配内存的时间安全
作者:
Stelios Tsampas
;
Dominique Devriese
;
Frank Piessens
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Computer security;
Licenses;
TV;
96.
Information-Flow Preservation in Compiler Optimisations
机译:
编译器优化中的信息流保存
作者:
Frédéric Besson
;
Alexandre Dang
;
Thomas Jensen
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Program processors;
Optimization;
Semantics;
Standards;
Micromechanical devices;
Side-channel attacks;
97.
Re-Thinking Untraceability in the CryptoNote-Style Blockchain
机译:
在Cryptonote风格区块链中重新思考无法可征性
作者:
Jiangshan Yu
;
Man Ho Allen Au
;
Paulo Esteves-Verissimo
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Blockchain;
Observers;
Bitcoin;
Upper bound;
Games;
Adaptation models;
98.
Analysis of Deterministic Longest-Chain Protocols
机译:
确定性最长链协议分析
作者:
Elaine Shi
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Resilience;
Mathematical analysis;
Cryptocurrency;
99.
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman
机译:
素质,请订购!使用Diffie-Hellman重新审视小亚组和无效曲线攻击协议
作者:
Cas Cremers
;
Dennis Jackson
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Protocols;
Mathematical model;
Security;
Elliptic curves;
Tools;
Computational modeling;
Analytical models;
100.
Time-Dependent Decision-Making and Decentralization in Proof-of-Work Cryptocurrencies
机译:
工作验证加密货物的时间依赖决策和权力下放
作者:
Yevhen Zolotavkin
;
Julian Garcia
;
Joseph Liu
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2019年
关键词:
Cryptography;
Biological system modeling;
Games;
Microsoft Windows;
Decision making;
Computational modeling;
Blockchain;
意见反馈
回到顶部
回到首页