School of Computer Science

Departmental Series

The Computer Science seminars are on Thursday afternoons at 4pm. They are intended for a broad audience and cover topics that are often of relevance to the social and natural sciences. Tea and biscuits at 5pm in the Coffee Room (room 123 in the Computer Science building).

Computer Science Departmental Series

VulCAN: Authentic Execution for Automotive Control Networks

  • Van Bulck, J., Muehlberg, J.T. and Piessens, F., 2017, December. VulCAN: Efficient component authentication and software isolation for automotive control networks. In Proceedings of the 33rd Annual Computer Security Applications Conference (pp. 225-237). ACM .
  • Date: Noorman, J., Muehlberg, J.T. and Piessens, F., 2017, September. Authentic execution of distributed event-driven applications with a small TCB . In International Workshop on Security and Trust Management (pp. 55-71). Springer.
  • Speaker: Jan Tobias Muehlberg (KU Leuven)

A summary of recent TLS attacks and their impact on future research directions

  • Speaker: Juraj Somorovsky (Bochum)
  • Date: Thursday 26 April 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Magnitude of Metric Spaces

  • Speaker: Simon Willerton (Maths, Sheffield)
  • Date: Friday 11 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

A Unified Perspective of Linear Time Logics using Coalgebras

  • Speaker: Corina Cirstea (Southampton)
  • Date: Friday 27 April 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Group meeting

  • Speaker: Christophe Petit
  • Date: Thursday 10 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Siamak Shahandashti (York)
  • Date: Thursday 03 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Future directions for Java

  • Speaker: Gavin Bierman (Oracle, Cambridge)
  • Date: Friday 04 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).