Cryptology ePrint Archive: Report 2013/014

Available versions in chronological order

20130118:123817 (posted 18-Jan-2013 12:38:17 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere
20130509:113712 (posted 09-May-2013 11:37:12 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere
20130817:213218 (posted 17-Aug-2013 21:32:18 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere
20130825:165921 (posted 25-Aug-2013 16:59:21 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere
20130831:061826 (posted 31-Aug-2013 06:18:26 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere
20140126:163248 (posted 26-Jan-2014 16:32:48 UTC): On formal and automatic security verification of WSN transport protocols; Ta Vinh Thong and Amit Dvir; Publication Info: This work has NOT been published anywhere