6978 search results - page 91 / 1396 » On Proofs in System P |
102
click to vote
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a P2P filesharing system that allows redundant storage of shared files in a way that no participating server ever stores data that could compromise its operator. Inst...
USS
2008
15 years 6 days ago
2008
We reverse engineer copyright enforcement in the popular BitTorrent file sharing network and find that a common approach for identifying infringing users is not conclusive. We desc...
INFOCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
106
click to vote
EUROCRYPT
2012
Springer
13 years 8 days ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...