Search Sciweavers | Sciweavers

12183 search results - page 132 / 2437

» Computers under Attacks!

142

click to vote

ICDCS
2007
IEEE

174views Distributed And Parallel Com...» more ICDCS 2007»

Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach

15 years 11 months ago

Download www.cse.ohio-state.edu

Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...

Guoqiang Shu, David Lee

claim paper

Read More »

156

click to vote

CCS
2010
ACM

200views Security Privacy» more CCS 2010»

Designs to account for trust in social network-based sybil defenses

15 years 3 months ago

Download www-users.cs.umn.edu

Social network-based Sybil defenses exploit the trust exhibited in social graphs to detect Sybil nodes that disrupt an algorithmic property (i.e., the fast mixing) in these graphs...

Abedelaziz Mohaisen, Nicholas Hopper, Yongdae Kim

claim paper

Read More »

click to vote

DAC
2008
ACM

103views Computer Architecture» more DAC 2008»

Scalable min-register retiming under timing and initializability constraints

16 years 5 months ago

Download www.eecs.berkeley.edu

Aaron P. Hurst, Alan Mishchenko, Robert K. Brayton

claim paper

Read More »