Cryptology ePrint Archive: Report 2008/434
Available versions in chronological order
20081008:154525 (posted 08-Oct-2008 15:45:25 UTC)
The computational SLR: a logic for reasoning about computational indistinguishability
Yu Zhang
20081009:041023 (posted 09-Oct-2008 04:10:23 UTC)
The computational SLR: a logic for reasoning about computational indistinguishability
Yu Zhang
20100205:091941 (posted 05-Feb-2010 09:19:41 UTC)
The computational SLR: a logic for reasoning about computational indistinguishability
Yu Zhang
Publication Info: A short version has been published at TLCA'2009
20100205:092011 (posted 05-Feb-2010 09:20:11 UTC)
The computational SLR: a logic for reasoning about computational indistinguishability
Yu Zhang
Publication Info: A short version has been published at TLCA'2009
20100205:092033 (posted 05-Feb-2010 09:20:33 UTC)
The computational SLR: a logic for reasoning about computational indistinguishability
Yu Zhang
Publication Info: A short version has been published at TLCA'2009
[
Cryptology ePrint archive
]