Search Sciweavers | Sciweavers

5119 search results - page 177 / 1024

» Security Privacy

128

click to vote

CCS
2001
ACM

132views Security Privacy» more CCS 2001»

Constraint solving for bounded-process cryptographic protocol analysis

15 years 8 months ago

Download www.csl.sri.com

The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.

Jonathan K. Millen, Vitaly Shmatikov

claim paper

Read More »

156

Voted

AGENTS
1997
Springer

100views Security Privacy» more AGENTS 1997»

Fusing Autonomy and Sociability in Robots

15 years 8 months ago

Download www.jsk.t.u-tokyo.ac.jp

Quoting somerobotic examples, I willlist some key issues in fusing autonomy and sociability: tools and control architecture, attention, behavior matching, embodiment, similarity, ...

Yasuo Kuniyoshi

claim paper

Read More »

128

click to vote

CCS
2009
ACM

167views Security Privacy» more CCS 2009»

Efficient pseudorandom functions from the decisional linear assumption and weaker variants

15 years 8 months ago

Download eprint.iacr.org

In this paper, we generalize Naor and Reingold's construction of pseudorandom functions under the DDH Assumption to yield a construction of pseudorandom

Allison B. Lewko, Brent Waters

claim paper

Read More »

108

Voted

SP
2010
IEEE

149views Security Privacy» more SP 2010»

On the Incoherencies in Web Browser Access Control Policies

15 years 8 months ago

Download research.microsoft.com

—Web browsers’ access control policies have evolved

Kapil Singh, Alexander Moshchuk, Helen J. Wang, We...