首页>外文会议>其他>European Symposium on Security and Privacy

European Symposium on Security and Privacy

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Privacy Threats through Ultrasonic Side Channels on Mobile Devices

机译：隐私威胁通过移动设备上的超声波侧通道威胁
- 作者：Daniel Arp;Erwin Quiring;Christian Wressnegger;Konrad Rieck
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- threat;
- privacy;
- users;
2.Compiler-Agnostic Function Detection in Binaries

机译：二进制文件中的编译器 - 不可知函数检测
- 作者：Dennis Andriesse;Asia Slowinska;Herbert Bos
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- detection;
- algorithm;
- binaries;
3.Open Doors for Bob and Mallory: Open Port Usage in Android Apps and Security Implications

机译：打开Bob和Mallory的门：在Android应用程序和安全隐患中打开端口使用情况
- 作者：Yunhan Jack Jia;Qi Alfred Chen;Yikai Lin;Chao Kong;Z. Morley Mao
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Apps;
- Security;
- Implications;
4.Designing and proving an EMV-compliant payment protocol for mobile devices

机译：为移动设备设计和证明符合EMV标准的付款协议
- 作者：Véronique Cortier;Alicia Filipiak;Jan Florent;Sa?d Gharout;Jacques Traoré
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- protocol;
- mobile;
- devices;
5.LUNA: Quantifying and Leveraging Uncertainty in Android Malware Analysis through Bayesian Machine Learning

机译：LUNA：通过贝叶斯机器学习量化和利用Android恶意软件分析中的不确定性
- 作者：Michael Backes;Mohammad Nauman
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Malware analysis;
- Uncertainty;
- Bayesian Machine Learning;
6.Use of simulators for side-channel analysis

机译：使用模拟器进行侧通道分析
- 作者：Nikita Veshchikov;Sylvain Guilley
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- among;
- most;
- powerful;
7.Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach

机译：自动验证安全消息传递协议及其实施方式：象征性和计算方法
- 作者：Nadim Kobeissi;Karthikeyan Bhargavan;Bruno Blanchet
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Secure;
- Messaging;
- Protocols;
8.Accumulators with Applications to Anonymity-Preserving Revocation

机译：累积器具有应用于匿名保留撤销的累积器
- 作者：Foteini Baldimtsi;Jan Camenisch;Maria Dubovitskaya;Anna Lysyanskaya;Leonid Reyzin;Kai Samelin;Sophia Yakoubov
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Anonymity;
- Preserving;
- Revocation;
9.CodeArmor: Virtualizing the Code Space to Counter Disclosure Attacks

机译：ComeneAlemor：虚拟化代码空间以抵消披露攻击
- 作者：Xi Chen;Herbert Bos;Cristiano Giuffrida
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Counter;
- Disclosure;
- Attacks;
10.Reputation Metrics Design to Improve Intermediary Incentives for Security of TLDs

机译：声誉指标设计，以提高地下地区安全性的中介激励措施
- 作者：Maciej Korczynski;Samaneh Tajalizadehkhoob;Arman Noroozian;Maarten Wullink;Cristian Hesselman;Michel van Eeten
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Incentives;
- Security;
- TLDs;
11.A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange

机译：一种关于加密协议活力的新方法及其在公平交换中的应用
- 作者：Michael Backes;Jannik Dreier;Steve Kremer;Robert Künnemann
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Approach;
- Reasoning;
- about;
12.Symbolic Models for Isolated Execution Environments

机译：隔离执行环境的符号模型
- 作者：Charlie Jacomme;Steve Kremer;Guillaume Scerri
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Isolated;
- Execution;
- Environments;
13.Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge

机译：密封玻璃样张：使用透明飞地证明和销售知识
- 作者：Florian Tramèr;Fan Zhang;Huang Lin;Jean-Pierre Hubaux;Ari Juels;Elaine Shi
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Prove;
- Sell;
- Knowledge;
14.Privacy-Preserving User-Auditable Pseudonym Systems

机译：保留隐私用户可审核的假名系统
- 作者：Jan Camenisch;Anja Lehmann
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- often;
- gathered;
- processed;
15.Secure Queries on Encrypted Multi-Writer Tables

机译：安全查询加密的多写字台表
- 作者：Angelo Massimo Perillo;Giuseppe Persiano;Alberto Trombetta
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- current;
- active;
- area;
16.Large-scale Analysis Detection of Authentication Cross-Site Request Forgeries

机译：大规模分析与检测认证跨站点请求伪造
- 作者：Avinash Sudhodanan;Roberto Carbone;Luca Compagna;Nicolas Dolgin;Alessandro Armando;Umberto Morelli
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- identity;
- management;
- functionalities;
17.Towards Practical Attacks on Argon2i and Balloon Hashing

机译：对氩气和气球散列的实践攻击
- 作者：Joel Alwen;Jeremiah Blocki
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Biryukov;
- Dinu;
- Khovratovich;
18.A Formal Security Analysis of the Signal Messaging Protocol (Extended abstract: full version available at 10)

机译：信号消息传递协议的正式安全性分析（扩展摘要：在10可用的完整版本）
- 作者：Katriel Cohn-Gordon;Cas Cremers;Benjamin Dowling;Luke Garratt;Douglas Stebila
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Analysis;
- Signal;
- Messaging;
19.When Cellular Networks Met IPv6: Security Problems of Middleboxes in IPv6 Cellular Networks

机译：当蜂窝网络符合IPv6：IPv6蜂窝网络中间盒的安全问题
- 作者：Hyunwook Hong;Hyunwoo Choi;Dongkwan Kim;Hongil Kim;Byeongdo Hong;Jiseong Noh;Yongdae Kim
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- increasing;
- demand;
- IP;
20.Efficient and Flexible Discovery of PHP Application Vulnerabilities

机译：高效灵活地发现PHP应用程序漏洞
- 作者：Michael Backes;Konrad Rieck;Malte Skoruppa;Ben Stock;Fabian Yamaguchi
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- PHP;
- Application;
- Vulnerabilities;
21.Block Me If You Can: A Large-Scale Study of Tracker-Blocking Tools

机译：如果可以，阻止我：对跟踪器阻挡工具的大规模研究
- 作者：Georg Merzdovnik;Markus Huber;Damjan Buhov;Nick Nikiforakis;Sebastian Neuner;Martin Schmiedecker;Edgar Weippl
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Tracker;
- Blocking;
- Tools;
22.Redactable Blockchain - or -Rewriting History in Bitcoin and Friends

机译：在比特币和朋友中还可重新划分的区块链 - 或写历史
- 作者：Giuseppe Ateniese;Bernardo Magri;Daniele Venturi;Ewerton R. Andrade
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- History;
- Bitcoin;
- Friends;
23.ARTist: The Android Runtime Instrumentation and Security Toolkit

机译：艺术家：Android运行时仪器和安全工具包
- 作者：Michael Backes;Sven Bugiel;Oliver Schranz;Philipp von Styp-Rekowsky;Sebastian Weisgerber
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Instrumentation;
- Security;
- Toolkit;
24.Revisiting Browser Security in the Modern Era: New Data-only Attacks and Defenses

机译：在现代时代重新浏览浏览器安全：仅限新数据攻击和防御
- 作者：Roman Rogowski;Micah Morton;Forrest Li;Fabian Monrose;Kevin Z. Snow;Michalis Polychronakis
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Browser;
- Security;
- Modern;
25.FairTest: Discovering Unwarranted Associations in Data-Driven Applications

机译：FairTest：发现数据驱动应用程序中的无限关联
- 作者：Florian Tramèr;Vaggelis Atlidakis;Roxana Geambasu;Daniel Hsu;Jean-Pierre Hubaux;Mathias Humbert;Ari Juels;Huang Lin
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- privacy;
- increasingly;
- challenged;
26.WALNUT: Waging Doubt on the Integrity of MEMS Accelerometers with Acoustic Injection Attacks

机译：核桃：关于MEMS加速度计的关于声学喷射攻击的完整性的怀疑
- 作者：Timothy Trippel;Ofir Weisse;Wenyuan Xu;Peter Honeyman;Kevin Fu
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Integrity;
- MEMS;
- Accelerometers;
27.Outsmarting Network Security with SDN Teleportation

机译：使用SDN传送超越网络安全性
- 作者：Kashyap Thimmaraju;Liron Schiff;Stefan Schmid
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Security;
- SDN;
- Teleportation;
28.Reasoning about Probabilistic Defense Mechanisms against Remote Attacks

机译：关于远程攻击概率防御机制的推理
- 作者：Martin Ochoa;Sebastian Banescu;Cynthia Disenfeld;Gilles Barthe;Vijay Ganesh
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- practitioners;
- researchers;
- remote;
29.Confidante: Usable Encrypted Email A Case Study With Lawyers and Journalists

机译：Concidante：可用加密电子邮件以律师和记者为例
- 作者：Ada (Adam) Lerner;Eric Zeng;Franziska Roesner
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- lawyers;
- journalists;
- Usable;
30.Internet Censorship in Thailand: User Practices and Potential Threats

机译：泰国的互联网审查：用户实践和潜在威胁
- 作者：Genevieve Gebhart;Anonymous Author;Tadayoshi Kohno
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Practices;
- Potential;
- Threats;
31.Auditable Data Structures

机译：可审计数据结构
- 作者：Michael T. Goodrich;Michael Mitzenmacher;Evgenios M. Kornaropoulos;Roberto Tamassia
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- current;
- contents;
- revealed;
32.Refining Authenticated Key Agreement with Strong Adversaries

机译：与强大的对手炼制认证关键协议
- 作者：Joseph Lallemand;David Basin;Christoph Sprenger
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Agreement;
- Strong;
- Adversaries;
33.SoK: Fraud in Telephony Networks

机译：SOK：电话网络中的欺诈
- 作者：Merve Sahin;Aurélien Francillon;Payas Gupta;Mustaque Ahamad
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- oldest;
- large;
- scale;
34.9-1-1 DDoS: Attacks, Analysis and Mitigation

机译：9-1-1 DDOS：攻击，分析和缓解
- 作者：Mordechai Guri;Yisroel Mirsky;Yuval Elovici
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Attacks;
- Analysis;
- Mitigation;
35.Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates

机译：重播零点往返时间的攻击：TLS 1.3握手候选人的情况
- 作者：Marc Fischlin;Felix Günther
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- exchange;
- protocols;
- supporting;
36.An Expressive (Zero-Knowledge) Set Accumulator

机译：一种富有表现力（零知识）集累加器
- 作者：Yupeng Zhang;Jonathan Katz;Charalampos Papamanthou
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- collection;
- operations;
- accumulated;
37.SoK: Single Sign-On Security - An Evaluation of OpenID Connect

机译：SOK：单点登录安全性 - OpenID Connect的评估
- 作者：Christian Mainka;Vladislav Mladenov;J?rg Schwenk;Tobias Wich
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Evaluation;
- OpenID;
- Connect;
38.On the Effectiveness of Virtualization Based Memory Isolation on Multicore Platforms

机译：基于虚拟化内存隔离的多核平台有效性
- 作者：Siqi Zhao;Xuhua Ding
- 会议名称：《European Symposium on Security and Privacy》 | 2017年
- Virtualization;
- Based;
- Memory;