RISC Seminar

Protocol Analysis using Simulatability

Speaker: Dennis Hofheinz (CWI)

Date/Time: Monday 24.10.05, 15.00 h

Location: Room H220, NIKHEF (opposite CWI) Amsterdam

Abstract: This is an overview over simulatability in general, and certain pitfalls that arise with this security notion. Furthermore, some existing and potential relations to the formal methods community are sketched.

Speaker:	Dennis Hofheinz (CWI)
Date/Time:	Monday 24.10.05, 15.00 h
Location:	Room H220, NIKHEF (opposite CWI) Amsterdam
Abstract:	This is an overview over simulatability in general, and certain pitfalls that arise with this security notion. Furthermore, some existing and potential relations to the formal methods community are sketched.