1833 search results - page 21 / 367 » Mechanized Verification with Sharing |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract--This paper presents a recursive computational multisecret sharing technique that hides k - 2 secrets of size b each into n shares of a single secret S of size b, such tha...
AES
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Secret sharing in user hierarchy represents a challenging area for research. Although a lot of work has already been done in this direction, this paper presents a novel approach t...
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
100
click to vote
POPL
2008
ACM
14 years 11 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...