5476 search results - page 955 / 1096 » Resettably Secure Computation |
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
189
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
182
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
136
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
160
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents our experience validating the flood tolerance of two network interface card (NIC)-based embedded firewall solutions, the Embedded Firewall (EFW) and the Autono...