Sciweavers

CCS
2015
ACM
9 years 11 months ago
Automated Analysis and Synthesis of Authenticated Encryption Schemes
Authenticated encryption (AE) schemes are symmetric-key encryption schemes ensuring strong notions of confidentiality and integrity. Although various AE schemes are known, there ...
Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff
CCS
2015
ACM
9 years 11 months ago
A Search Engine Backed by Internet-Wide Scanning
Fast Internet-wide scanning has opened new avenues for security research, ranging from uncovering widespread vulnerabilities in random number generators to tracking the evolving i...
Zakir Durumeric, David Adrian, Ariana Mirian, Mich...
CCS
2015
ACM
9 years 11 months ago
Micropayments for Decentralized Currencies
Electronic financial transactions in the US, even those enabled by Bitcoin, have relatively high transaction costs. As a result, it becomes infeasible to make micropayments, i.e....
Rafael Pass, Abhi Shelat
CCS
2015
ACM
9 years 11 months ago
To Be Proactive or Not: A Framework to Model Cyber Maneuvers for Critical Path Protection in MANETs
Recently, proactive strategies have received much attention as they make a system more dynamic and difficult to predict, therefore reducing the impact of adversary attacks. In thi...
Zhuo Lu, Lisa M. Marvel, Cliff Wang
CCS
2015
ACM
9 years 11 months ago
Differential Privacy with Bounded Priors: Reconciling Utility and Privacy in Genome-Wide Association Studies
Differential privacy (DP) has become widely accepted as a rigorous definition of data privacy, with stronger privacy guarantees than traditional statistical methods. However, re...
Florian Tramèr, Zhicong Huang, Jean-Pierre ...