Search Sciweavers | Sciweavers

53390 search results - page 340 / 10678

» Computer Systems Analysis

180

click to vote

CCS
2005
ACM

119views Security Privacy» more CCS 2005»

Towards computationally sound symbolic analysis of key exchange protocols

16 years 7 days ago

Download www.cs.utexas.edu

d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...

Prateek Gupta, Vitaly Shmatikov

claim paper

Read More »

132

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

16 years 5 days ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

143

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

16 years 1 days ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

134

click to vote

CSMR
2003
IEEE

103views Software Engineering» more CSMR 2003»

Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels

15 years 12 months ago

Download web.soccerlab.polymtl.ca

Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunel...

claim paper

Read More »

226

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers