Sciweavers

CHI
2013
ACM
12 years 1 months ago
The many faces of facebook: experiencing social media as performance, exhibition, and personal archive
The growing use of social media means that an increasing amount of people’s lives are visible online. We draw from Goffman’s theatrical metaphor and Hogan’s exhibition appro...
Xuan Zhao, Niloufar Salehi, Sasha Naranjit, Sara A...
CHES
2013
Springer
72views Cryptology» more  CHES 2013»
12 years 1 months ago
On the Simplicity of Converting Leakages from Multivariate to Univariate - (Case Study of a Glitch-Resistant Masking Scheme)
Abstract. Several masking schemes to protect cryptographic implementations against side-channel attacks have been proposed. A few considered the glitches, and provided security pro...
Amir Moradi, Oliver Mischke
73
Voted
CGO
2013
IEEE
12 years 1 months ago
Query-directed adaptive heap cloning for optimizing compilers
Andersen’s pointer analysis becomes more precise when applied with full heap cloning but unscalable for large, heapintensive programs. In contrast, k-callsite-sensitive heap clo...
Yulei Sui, Yue Li, Jingling Xue
CCS
2013
ACM
12 years 1 months ago
A security framework for the analysis and design of software attestation
Software attestation has become a popular and challenging research topic at many established security conferences with an expected strong impact in practice. It aims at verifying ...
Frederik Armknecht, Ahmad-Reza Sadeghi, Steffen Sc...
CAV
2013
Springer
138views Hardware» more  CAV 2013»
12 years 1 months ago
First-Order Theorem Proving and Vampire
Laura Kovács, Andrei Voronkov