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

14 years 8 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

15 years 2 months 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

15 years 4 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)

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers