CCS
2015
ACM
9 years 11 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...
CCS
2015
ACM
9 years 11 months ago
2015
ACM
Today, botnets are still responsible for most large scale attacks on the Internet. Botnets are versatile, they remain the most powerful attack platform by constantly and continuou...
CCS
2015
ACM
9 years 11 months ago
2015
ACM
In this work we show how the Lucky 13 attack can be resurrected in the cloud by gaining access to a virtual machine co-located with the target. Our version of the attack exploits ...
CCS
2015
ACM
9 years 11 months ago
2015
ACM
While private browsing is a standard feature, its implementation has been inconsistent among the major browsers. More seriously, it often fails to provide the adequate or even the...
CCS
2015
ACM
9 years 11 months ago
2015
ACM
Performing detailed forensic analysis of real-world web security incidents targeting users, such as social engineering and phishing attacks, is a notoriously challenging and time-...