64 search results - page 6 / 13 » TASTY: tool for automating secure two-party computations |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
VIZSEC
2004
Springer
14 years 26 days ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...
NSPW
2006
ACM
14 years 1 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...