293 search results - page 56 / 59 » Formal Security Analysis with Interacting State Machines |
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
CRYPTO
2004
Springer
14 years 28 days ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
SYSTOR
2010
ACM
14 years 10 days ago
2010
ACM
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...
PLDI
2003
ACM
14 years 23 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
CGF
2010
13 years 6 months ago
2010
A growing number of applications depend on accurate and fast 3D scene analysis. Examples are model and lightfield acquisition, collision prevention, mixed reality, and gesture re...