890 search results - page 113 / 178 » Programming language methods in computer security |
119
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...
144
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
151
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
124
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
116
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...