5665 search results - page 41 / 1133 » Introduction to Computer Security |
SAT
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
TCC
2009
Springer
14 years 9 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...
ICALP
2000
Springer
14 years 12 days ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
STOC
2004
ACM
14 years 9 months ago
2004
ACM