Security Privacy | Sciweavers

23

click to vote

CCS
2010
ACM

190views Security Privacy» more CCS 2010»

Attacking and fixing PKCS#11 security tokens

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Matteo Bortolozzo, Matteo Centenaro, Riccardo Foca...

claim paper

Read More »

35

click to vote

CCS
2010
ACM

148views Security Privacy» more CCS 2010»

Symbolic security analysis of ruby-on-rails web applications

13 years 11 months ago

Download www.cs.umd.edu

Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...

Avik Chaudhuri, Jeffrey S. Foster

claim paper

Read More »

33

click to vote

CCS
2010
ACM

186views Security Privacy» more CCS 2010»

Mimimorphism: a new approach to binary code obfuscation

13 years 11 months ago

Download www.cs.wm.edu

Zhenyu Wu, Steven Gianvecchio, Mengjun Xie, Hainin...

claim paper

Read More »

35

click to vote

CCS
2010
ACM

228views Security Privacy» more CCS 2010»

Modeling attacks on physical unclonable functions

13 years 11 months ago

Download people.csail.mit.edu

We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...

Ulrich Rührmair, Frank Sehnke, Jan Sölte...

claim paper

Read More »

38

click to vote

CCS
2010
ACM

290views Security Privacy» more CCS 2010»

On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption

13 years 11 months ago

Download ftp.inf.ethz.ch

A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...

Ueli Maurer, Björn Tackmann

claim paper

Read More »

24

click to vote

CCS
2010
ACM

140views Security Privacy» more CCS 2010»

Dissent: accountable anonymous group messaging

13 years 11 months ago

Download dedis.cs.yale.edu

Users often wish to participate in online groups anonymously, but misbehaving users may abuse this anonymity to disrupt the group's communication. Existing messaging protocol...

Henry Corrigan-Gibbs, Bryan Ford

claim paper

Read More »

30

click to vote

CCS
2010
ACM

205views Security Privacy» more CCS 2010»

Input generation via decomposition and re-stitching: finding bugs in Malware

13 years 11 months ago

Download www.andrew.cmu.edu

Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...

Juan Caballero, Pongsin Poosankam, Stephen McCaman...

claim paper

Read More »

32

click to vote

CCS
2010
ACM

202views Security Privacy» more CCS 2010»

Demonstrating cognitive packet network resilience to worm attacks

13 years 11 months ago

Download san.ee.ic.ac.uk

The need for network stability and reliability has led to the growth of autonomic networks [2] that can provide more stable and more reliable communications via on-line measuremen...

Georgia Sakellari, Erol Gelenbe

claim paper

Read More »

26

click to vote

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

13 years 11 months ago

Download www.lbs.cs.uni-saarland.de

Michael Backes, Matteo Maffei, Dominique Unruh

claim paper