1. Formalna weryfikacja protokołów kryptograficznych.
   Zadaniem jest dokonanie przeglądu wybranych metod formalnej weryfikacji protokołów kryptograficznych.  Można to zrobić na podstawie rozdziału w książce  Protocols for Authentication and Key Establishment (dostępna u mnie).  Tu jest link do slajdów z referatu na podobny temat.  Parę linków do narzędzi służących do takiej weryfikacji:
   • FDR
   • Murphi (generyczny model-checker, który może też weryfikować protokoły kryptograficzne).
     
   • NRL analyzer
     
   • Isabelle (też generyczny system).
   To jest bardzo obszerny temat.  Do prezentacji należy wybrać jakiś jego konkretny aspekt.  Można np. skupić się na tylko jednym systemie.  Prezentacja może zawierać demonstrację działania narzędzia.
   
   
2. Serge Vaudenay Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS...