Titlebook: Computer Security – ESORICS 2017; 22nd European Sympos Simon N. Foley,Dieter Gollmann,Einar Snekkenes Conference proceedings 2017 Springer

Organonitrile

Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches,es, i.e., disequality tests. While many protocols are represented as linear sequences or inputs, outputs and equality tests, the reality is often more complex. When verifying equivalence properties one needs to model precisely the error messages sent out when equality tests fail. While ignoring thes

landfill

Quantifying Web Adblocker Privacy,equire behavioral targeting, user tracking and profile fingerprinting that raise serious privacy concerns. To counter privacy issues and enhance usability, adblockers emerged as a popular way to filter web requests that do not serve the website’s main content. Despite their popularity, little work h

连累

Spinal-Fusion

Adversarial Examples for Malware Detection,rom regular inputs by introducing minor—yet carefully selected—perturbations..In this work, we expand on existing adversarial example crafting algorithms to construct a highly-effective attack that uses adversarial examples against malware detection models. To this end, we identify and overcome key

nostrum

REP

摇曳的微光

Vulnerable

Preventing DNS Amplification Attacks Using the History of DNS Queries with SDN,up requests to open DNS servers with the source address spoofed as a victim host. However, from the point of view of an individual network resource such as DNS server and switch, it is not easy to mitigate such attacks because a distributed attack could be performed with multiple DNS servers and/or

愚笨

,A Traceability Analysis of Monero’s Blockchain,ue to its unlinkability and untraceablity guarantees. It has a market capitalization of USD 290M. In this work, we quantify the efficacy of three attacks on Monero’s . guarantee, which promises to make it hard to trace the origin of a received fund, by analyzing its blockchain data. To this end, we

fixed-joint

Multi-rate Threshold FlipThem,at adversaries will compromise systems at some point; and hence using threshold cryptography provides a defence in depth. The existence of such powerful adversaries has also motivated the introduction of game theoretic techniques into the analysis of systems, e.g. via the FlipIt game of van Dijk et