2261 search results - page 93 / 453 » Dynamic types for authentication |
100
click to vote
IGPL
2010
15 years 1 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
113
Voted
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
146
click to vote
DLS
2005
15 years 4 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
100
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
138
Voted
IEEECIT
2005
IEEE
15 years 8 months ago
2005
IEEE
An identity based cryptosystem is a novel type of public cryptographic scheme in which the public keys of the users are their identities or strings derived from their identities. ...