1183 search results - page 80 / 237 » On flow-sensitive security types |
136
Voted
ESORICS
2009
Springer
15 years 8 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
144
click to vote
JOC
2008
15 years 4 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
125
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Side channel attacks are a major security concern for smart cards and other embedded devices. They analyze the variations on the power consumption to find the secret key of the en...
120
click to vote
ACISP
2004
Springer
15 years 10 months ago
2004
Springer
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...
114
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...