82 search results - page 11 / 17 » ccs 2003 |
105
click to vote
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
SIGGRAPH
2003
ACM
15 years 2 months ago
2003
ACM
Blend shape animation is the method of choice for keyframe facial animation: a set of blend shapes (key facial expressions) are used to define a linear space of facial expression...
SGP
2003
14 years 11 months ago
2003
Previous parametric representations of smooth genus-zero surfaces require a collection of abutting patches (e.g. splines, NURBS, recursively subdivided polygons). We introduce a s...
SGP
2003
14 years 11 months ago
2003
We introduce multi-chart geometry images, a new representation for arbitrary surfaces. It is created by resampling a surface onto a regular 2D grid. Whereas the original scheme of...