Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriï...
âWith ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
Tobias Goldschmidt, Andreas Dittrich, Miroslaw Mal...
BitTorrent and Practical Network Coding are efï¬cient methods for sharing ï¬les in a peer-to-peer network. Both face the problem to distribute a given ï¬le using peers with dif...
Christian Ortolf, Christian Schindelhauer, Arne Va...
âWhile it is a well known result that network coding achieves optimal ï¬ow rates in multicast sessions, its potential for practical use has remained to be a question, due to its...
The paper provides a recipe for adequately representing a very inclusive class of ï¬nite-valued logics by way of tableaux. The only requisite for applying the method is that the o...