1833 search results - page 151 / 367 » Mechanized Verification with Sharing |
175
click to vote
CODASPY
2012
14 years 13 days ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
136
click to vote
PPOPP
2012
ACM
14 years 8 days ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
187
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
140
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
A Shrew attack, which uses a low-rate burst carefully designed to exploit TCP’s retransmission timeout mechanism, can throttle the bandwidth of a TCP flow in a stealthy manner....
126
click to vote
EUROSEC
2010
ACM
15 years 11 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...