1058 search results - page 35 / 212 » It's Doomed; We Can Prove It |
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
FSE
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we point out some weaknesses in the Salsa20 core function that could be exploited to obtain up to 231 collisions for its full (20 rounds) version. We first find an i...
STOC
2002
ACM
14 years 10 months ago
2002
ACM
In the dynamic load balancing problem, we seek to keep the job load roughly evenly distributed among the processors of a given network. The arrival and departure of jobs is modeled...
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...