163 search results - page 22 / 33 » Relaxing Chosen-Ciphertext Security |
FOCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
TCC
2005
Springer
14 years 1 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
AAAI
2010
13 years 9 months ago
2010
Security games, and important class of Stackelberg games, are used in deployed decision-support tools in use by LAX police and the Federal Air Marshals Service. The algorithms use...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...