CCS
2015
ACM
8 years 8 months ago
2015
ACM
Despite the security community’s best effort, the number of serious vulnerabilities discovered in software is increasing rapidly. In theory, security audits should find and re...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
CCS
2015
ACM
8 years 8 months ago
2015
ACM
Bitcoin exchanges function like banks, securely holding their customers’ bitcoins on their behalf. Several exchanges have suffered catastrophic losses with customers permanently...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
CCS
2015
ACM
8 years 8 months ago
2015
ACM
We show that equivocation, i.e., making conflicting statements to others in a distributed protocol, can be monetarily disincentivized by the use of crypto-currencies such as Bitc...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
Deep learning based on artificial neural networks is a very popular approach to modeling, classifying, and recognizing complex data such as images, speech, and text. The unpreced...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
Control-Flow Integrity (CFI) is an effective approach to mitigating control-flow hijacking attacks. Conventional CFI techniques statically extract a control-flow graph (CFG) fro...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
Automated dynamic malware analysis is a common approach for detecting malicious software. However, many malware samples identify the presence of the analysis environment and evade...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
With the booming sale of iOS devices, the number of iOS applications has increased significantly in recent years. To protect the security of iOS users, Apple requires every iOS a...
CCS
2015
ACM
8 years 8 months ago
2015
ACM
Many cryptographic security definitions can be naturally formulated as observational equivalence properties. However, existing automated tools for verifying the observational equ...