October 2009 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Oct 6 11:36:32 EDT 2009
Ending: Sat Oct 31 08:10:20 EDT 2009
Messages: 10

• [Avispa-users] analysis of long term evolution in avispa   Roberto Carbone
• [Avispa-users] Fairness in HLPSL   Jorge López
  • [Avispa-users] Fairness in HLPSL   Laurent Vigneron
• [Avispa-users] Fairness in HLPSL   Jorge López
• [Avispa-users] RFID authentication   SALEH AL-SHADLY
• [Avispa-users] strong authentication without nonce   walid Adam
• [Avispa-users] mapping   SALEH AL-SHADLY
• [Avispa-users] mod in HLPSL   SALEH AL-SHADLY
• [Avispa-users] Modeling resilient channels in HLPSL   Jorge López
• [Avispa-users] Modeling resilient channels in HLPSL (correction)   Jorge López

Last message date: Sat Oct 31 08:10:20 EDT 2009
Archived on: Sat Oct 31 08:10:32 EDT 2009

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...