Information Security Institute A university for the real world
QUT Home
Contact us


Events and Community Outreach
Seminars
Conferences & Workshops
Competitions
Newsletters & Brochures
ISI Day
[ Print-friendly version ]

Seminars

Show Past Seminars


Computationally Sound Automated Proofs of Cryptographic Schemes
(16 Feb 2012, 02:00 PM)
Presented by Long Ngo
Duration: 2 hours.
Location: Room O316, Level 3, O Block, Gardens Point Campus

  • View Details
  •