Search Sciweavers | Sciweavers

1599 search results - page 5 / 320

» Program Analysis for Security and Privacy

click to vote

OOPSLA
2001
Springer

91views Security Privacy» more OOPSLA 2001»

Dynamic Optimistic Interprocedural Analysis: A Framework and an Application

13 years 12 months ago

Download cs.nyu.edu

Igor Pechtchanski, Vivek Sarkar

claim paper

Read More »

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

13 years 11 months ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

click to vote

OOPSLA
1993
Springer

77views Security Privacy» more OOPSLA 1993»

On the Purpose of Object-Oriented Analysis

13 years 11 months ago

Download www.idi.ntnu.no

Geir Magne Høydalsvik, Guttorm Sindre

claim paper

Read More »

click to vote

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

13 years 11 months ago

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

Michael Backes, Peeter Laud

claim paper

Read More »

click to vote

AGENTS
2000
Springer

94views Security Privacy» more AGENTS 2000»

A Performance Analysis Framework for Mobile-Agent Systems

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers