Cryptology ePrint Archive: Report 2012/019
Available versions in chronological order
20120118:125938 (posted 18-Jan-2012 12:59:38 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120118:144629 (posted 18-Jan-2012 14:46:29 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120411:163724 (posted 11-Apr-2012 16:37:24 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120415:171839 (posted 15-Apr-2012 17:18:39 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120415:174226 (posted 15-Apr-2012 17:42:26 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120615:132851 (posted 15-Jun-2012 13:28:51 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
20120921:093615 (posted 21-Sep-2012 09:36:15 UTC)
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
Gergei Bana and Hubert Comon-Lundh
Publication Info: Full version with appendix added to publication accepted to POST'2012
[
Cryptology ePrint archive
]