Search Sciweavers | Sciweavers

1599 search results - page 2 / 320

» Program Analysis for Security and Privacy

click to vote

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

13 years 5 months ago

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

click to vote

CCS
2003
ACM

185views Security Privacy» more CCS 2003»

Buffer overrun detection using linear programming and static analysis

14 years 20 days ago

Download www.cs.rutgers.edu

This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...

Vinod Ganapathy, Somesh Jha, David Chandler, David...

claim paper

Read More »

click to vote

IEEEARES
2010
IEEE

140views Security Privacy» more IEEEARES 2010»

Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain

14 years 2 months ago

Download www.troposproject.org

Yudistira Asnar, Paolo Giorgini

claim paper

Read More »

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

14 years 1 months ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

click to vote

STORAGESS
2006
ACM

119views Security Privacy» more STORAGESS 2006»

A statistical analysis of disclosed storage security breaches

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers