Security

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 18Apr2018
  Heap Trajectory Prediction by Layout Abstraction

  14:00 Wednesday 18th April ( week 0, Trinity Term 2018 ) in Tony Hoare Room, Robert Hooke Building

  Julien Vanegue ( Cornell Tech )
• 6Oct2016
  A Changing Landscape: Securing The Internet of Things (IoT)

  13:00 Thursday 6th October ( week 0, Michaelmas Term 2016 ) in Tony Hoare Room, Robert Hooke Building

  Professor Sanjay K. Jha ( Director, Cybersecurity and Privacy Laboratory, UNSW )
• 30Sep2016
  Is pa$$w0rd1 a good password or a bad one? Towards more secure and usable text passwords

  14:00 Friday 30th September 2016 in LT-A, Wolfson Building

  Lujo Bauer
• 11Mar2016
  Detecting failed attacks on human-interactive security protocols

  11:00 11th March ( Hilary Term 2016 ) in Tony Hoare Room, Robert Hooke Building

  Bill Roscoe
• 10Mar2016
  New Proofs and Theorems in the Realm of Supersequences and Subsequences

  17:00 10th March ( Hilary Term 2016 ) in Tony Hoare Room, Robert Hooke Building

  Arash Atashpendar
• 3Mar2016
  Selene: Voting with Transparent Verification and Coercion Mitigation

  17:00 3rd March ( Hilary Term 2016 ) in Tony Hoare Room, Robert Hooke Building

  Peter Ryan
• 27Oct2015
  Insider Threats and Linguistics

  14:00 Tuesday 27th October ( Michaelmas Term 2015 ) in Tony Hoare Room, Robert Hooke Building

  Bill Claycomb ( Carnegie Mellon University )
• 11Sep2015
  A seminar by Ben Livshits

  11:00 Friday 11th September ( Trinity Term 2015 ) in Tony Hoare Room, Robert Hooke Building

  Ben Livshits ( Microsoft )
• 26Mar2015
  How Far Are You? Finding Path Length Between Two People On a Social Network

  14:00 26th March ( Hilary Term 2015 ) in Tony Hoare Room, Robert Hooke Building

  Professor N. Asokan ( Aalto University & University of Helsinki )
• 13Jan2015
  The Quest for Assured Confidentiality

  14:00 Tuesday 13th January ( week 0, Hilary Term 2015 ) in Tony Hoare Room, Robert Hooke Building

  Tony Murray ( NICTA )
• 13Nov2014
  Future Internet Security and Privacy (challenges)

  17:00 Thursday 13th November ( week 5, Michaelmas Term 2014 ) in Tony Hoare Room, Robert Hooke Building

  Mauro Conti
• 20Jun2012
  Towards a Scientific Basis for Digital Forensics

  16:00 Wednesday 20th June 2012 in Room 380

  Clive Blackwell ( Oxford Brookes University )
• 11Jun2012
  Reasoning about Critical Infrastructure Dependencies for Vulnerability Discovery

  16:00 Monday 11th June 2012 in Room 380

  Adedayo Adetoye ( University of Oxford )
• 6Jun2012
  A Data-Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks

  16:00 Wednesday 6th June 2012 in Room 380

  Jason Nurse ( University of Oxford )
• 25May2012
  Checking Noninterference in Timed CSP

  11:00 Friday 25th May 2012 in Room 147

  Bill Roscoe ( University of Oxford )
• 14May2012
  Model checking cryptographic protocols subject to combinatorial attack

  16:00 Monday 14th May ( week 4, Trinity Term 2012 ) in Room 441

  Long Nguyen ( University of Oxford )