Search Sciweavers | Sciweavers

53390 search results - page 340 / 10678

» Computer Systems Analysis

202

click to vote

CCS
2005
ACM

119views Security Privacy» more CCS 2005»

Towards computationally sound symbolic analysis of key exchange protocols

16 years 25 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 »

149

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

16 years 23 days ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

151

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

16 years 19 days ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

156

click to vote

CSMR
2003
IEEE

103views Software Engineering» more CSMR 2003»

Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels

16 years 18 days ago

Download web.soccerlab.polymtl.ca

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

claim paper

Read More »

249

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers