Sciweavers

3451 search results - page 369 / 691
» Collaborative attack modeling
Sort
View
FOCS
2010
IEEE
15 years 4 months ago
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
Ran Canetti, Huijia Lin, Rafael Pass
TSMC
2010
15 years 1 months ago
Adaptive Appearance Model and Condensation Algorithm for Robust Face Tracking
We present an adaptive framework for condensation algorithms in the context of human-face tracking. We attack the face tracking problem by making factored sampling more efficient a...
Yui Man Lui, J. Ross Beveridge, L. Darrell Whitley
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 10 months ago
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürj...
ESWS
2009
Springer
16 years 1 months ago
CultureSampo: A National Publication System of Cultural Heritage on the Semantic Web 2.0
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
Eero Hyvönen, Eetu Mäkelä, Tomi Kau...
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
15 years 12 months ago
Learning Through Telemedicine Networks
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
Liqiong Deng, Marshall Scott Poole