Computer Security Seminars

Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd

Mathy Vanhoef.

Room 245, School of Computer Science.

Monday 01 July 2019, 11:00-12:00

Bravo

Title to be confirmed

Todd Waugh Ambridge (University of Birmingham).

Room 245, School of Computer Science.

Wednesday 05 June 2019, 14:00-16:00

Bravo

Title to be confirmed

Anna Laura Suarez.

Room 245, School of Computer Science.

Thursday 30 May 2019, 10:00-12:00

Bravo

Limits

Ming Ng.

Room 245, School of Computer Science.

Tuesday 19 March 2019, 10:00-12:00

Bravo

Monoidal categories II

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 12 March 2019, 10:00-12:00

Bravo

Monoidal categories

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 05 March 2019, 10:00-12:00

Bravo

Adjunctions I

Anna Laura Suarez.

Room 245, School of Computer Science.

Tuesday 26 February 2019, 10:00-12:00

Bravo

Monads

Tom de Jong.

Room 245, School of Computer Science.

Tuesday 19 February 2019, 10:00-12:00

Bravo

The Yoneda Lemma

Auke Booij.

Room 245, School of Computer Science.

Tuesday 12 February 2019, 10:00-12:00

Bravo

Natural Transformations

Nicolas Blanco.

Room 245, School of Computer Science.

Tuesday 05 February 2019, 10:00-12:00

Bravo

Exercises

Tom de Jong.

Room 245, School of Computer Science.

Tuesday 29 January 2019, 10:00-12:00

Bravo

Lambda-calculus and cartesian closed categories II

Nicolas Blanco.

Room 245, School of Computer Science.

Wednesday 12 December 2018, 10:00-12:00

Bravo

Lambda-calculus and cartesian closed categories

Nicolas Blanco.

Room 245, School of Computer Science.

Wednesday 05 December 2018, 10:00-12:00

Bravo

Categories and Functors

Tom de Jong.

Room 245, School of Computer Science.

Wednesday 21 November 2018, 10:00-12:00

Computer Security Seminars

Shorter QA-NIZK Proofs For Quadratic Equations

Javier Silva.

Room 245, School of Computer Science.

Thursday 18 October 2018, 11:00-12:00

Computer Security Seminars

Software Exploitation: Hardware is the New Black

NB alternative day/room

Christiano Giuffrida (Vrije Universiteit Amsterdam).

Room 245, School of Computer Science.

Monday 25 June 2018, 11:00-12:00

Computer Security Seminars

Title to be confirmed

Please note alternative day and location

Christiano Giuffrida.

Room 245, School of Computer Science.

Monday 18 June 2018, 11:00-12:00

Computer Security Seminars

VulCAN: Authentic Execution for Automotive Control Networks

NB alternative day and room

Jan Tobias Muehlberg (KU Leuven).

Room 245, School of Computer Science.

Friday 27 April 2018, 11:00-12:00

Medical Imaging Research Seminars

Computer Vision for Validation of Jet Engine Modelling

-CHANGE OF VENUE!-

Sean Bastable, Doctoral Student, Medical Imaging and Image Interpretation Group, School of Computer Science, University of Birmingham..

Room 245, School of Computer Science.

Tuesday 04 October 2016, 11:00-12:00

Computer Security Seminars

Should we ban encryption? The world is not black and white

Yvo Desmedt (The University of Texas at Dallas).

Room 245, School of Computer Science.

Thursday 09 June 2016, 11:00-12:00

Computer Security Seminars

On the feasibility of cryptography for a wireless insulin pump system

Eduard Marín Fàbregas (KU Leuven).

Room 245, School of Computer Science.

Thursday 26 November 2015, 11:00-12:00

Computer Security Seminars

Side-Channel Attacks on SHA-1-based Product Authentication ICs

David Oswald (University of Birmingham).

Room 245, School of Computer Science.

Thursday 12 November 2015, 11:00-12:00

Computer Security Seminars

Getting to know your smart-card: Reverse-Engineering the Low Level Communication Layer

Andriana Gkaniatsou .

Room 245, School of Computer Science.

Thursday 15 October 2015, 11:00-12:00

Computer Security Seminars

Protocol State Fuzzing of TLS Implementations

Joeri de Ruiter (University of Birmingham).

Room 245, School of Computer Science.

Thursday 24 September 2015, 11:00-12:00

Computer Security Seminars

BackScan: Backdoor Detection via Functionality Profiling

Sam Thomas (University of Birmingham).

Room 245, School of Computer Science.

Thursday 17 September 2015, 11:00-12:00

Computer Security Seminars

Pareto Efficient Solutions of Attack-Defence Trees

Zaruhi Aslanyan (Technical University of Denmark).

Room 245, School of Computer Science.

Thursday 10 September 2015, 11:00-12:00

Computer Security Seminars

Security trade-offs and verifiability in IoT

Mark Ryan (University of Birmingham).

Room 245, School of Computer Science.

Thursday 20 August 2015, 11:00-12:00

Computer Security Seminars

Wirelessly Lockpicking a Vehicle Immobilizer

Flavio Garcia ( University of Birmingham).

Room 245, School of Computer Science.

Thursday 06 August 2015, 11:00-12:00

Computer Security Seminars

Template Power Analysis Against ECC Software Implementations

Erick Nascimento (University of Campinas, Brazil).

Room 245, School of Computer Science.

Thursday 30 July 2015, 11:00-12:00

Computer Security Seminars

Smart-Guard: Defending user input from malware and keyloggers

Michael Denzel (University of Birmingham).

Room 245, School of Computer Science.

Thursday 02 July 2015, 11:00-12:00

Computer Security Seminars

Encrypted cloud-based data sharing

Alexander Kaitai Liang, Aalto University Finland.

Room 245, School of Computer Science.

Thursday 04 June 2015, 11:00-12:00

Computer Security Seminars

Symbolic protocol verification - where next?

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

Thursday 14 May 2015, 11:00-12:00

Computer Security Seminars

Leakage attacks beyond the single target setting

Elisabeth Oswald, Bristol University.

Room 245, School of Computer Science.

Thursday 07 May 2015, 11:00-12:00

Computer Security Seminars

Verifiable Electronic Voting: Making it Real

Note unusual day

Steve Schneider, University of Surrey.

Room 245, School of Computer Science.

Friday 24 April 2015, 11:00-12:00

Computer Security Seminars

Set-pi: Set Membership Pi-calculus

Alessandro Bruni (Technical University of Denmark).

Room 245, School of Computer Science.

Thursday 16 April 2015, 11:00-12:00

Computer Security Seminars

Unikernels and the Next Generation Cloud

Jon Crowcroft (University of Cambridge).

Room 245, School of Computer Science.

Thursday 09 April 2015, 11:00-12:00

Computer Security Seminars

How to detect unauthorised usage of a key

Mark Ryan and Jiangshan Yu (University of Birmingham).

Room 245, School of Computer Science.

Thursday 26 March 2015, 11:00-12:00

Computer Security Seminars

Providing transparent accountability for electronic currencies

Ivan Gazeau (University of Birmingham).

Room 245, School of Computer Science.

Thursday 12 March 2015, 11:00-12:00

Computer Security Seminars

Demonstration of CT-Mail

Note unusual time

Mark Ryan, Piotr Kordy, and Michael Denzel (Uni of Birmingham).

Room 245, School of Computer Science.

Thursday 12 March 2015, 10:00-11:00

Computer Security Seminars

Privacy and Access Control for Outsourced Personal Records

Dominique Schroeder (Saarland University).

Room 245, School of Computer Science.

Thursday 05 March 2015, 11:00-12:00

Computer Security Seminars

Title to be confirmed

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

Thursday 19 February 2015, 11:00-12:00

Computer Security Seminars

StarfishNet: decentralised security for low-power wireless networks

Justin King-Lacroix, University of Oxford.

Room 245, School of Computer Science.

Thursday 12 February 2015, 11:00-12:00

Computer Security Seminars

Understanding and Fighting Malicious Activity on Online Social Networks

Gianluca Stringhini, University College London.

Room 245, School of Computer Science.

Thursday 05 February 2015, 11:00-12:00

Computer Security Seminars

Electronic Voting: Introduction, privacy and verifiability definitions, and Helios case study 2/2

Ben Smyth (Huawei, France).

Room 245, School of Computer Science.

Friday 19 December 2014, 13:30-14:30

Computer Security Seminars

Electronic Voting: Introduction, privacy and verifiability definitions, and Helios case study 1/2

Ben Smyth (Huawei, France).

Room 245, School of Computer Science.

Friday 19 December 2014, 11:00-12:00

Computer Security Seminars

CESG's Secure Communications Strategy

Peter Haigh, CESG.

Room 245, School of Computer Science.

Thursday 04 December 2014, 11:00-12:00

Computer Security Seminars

Blindspot: Indistinguishable Anonymous Communications

Joseph Gardiner (University of Birmingham).

Room 245, School of Computer Science.

Thursday 27 November 2014, 11:00-12:00

Computer Security Seminars

PhD Student Five Minute Talks

Various speakers.

Room 245, School of Computer Science.

Thursday 13 November 2014, 11:00-12:00

Computer Security Seminars

Security of ECDSA in Bitcoin

Nicolas T. Courtois (University College London).

Room 245, School of Computer Science.

Thursday 06 November 2014, 11:30-12:30

Computer Security Seminars

Hack.lu CTF

Various speakers.

Room 245, School of Computer Science.

Thursday 30 October 2014, 11:00-12:00

Computer Security Seminars

Key usage detection

Jiangshan Yu (University of Birmingham).

Room 245, School of Computer Science.

Thursday 09 October 2014, 11:00-12:00

Computer Security Seminars

Formal Methods for the Security of the Internet of Services

Luca Vigano, King's College London.

Room 245, School of Computer Science.

Sunday 27 July 2014, 12:00-13:00

Computer Security Seminars

Probabilistic assessment of security scenarios - challenges and solutions

Barbara Kordy, University of Luxembourg.

Room 245, School of Computer Science.

Thursday 24 July 2014, 11:00-12:00

Computer Security Seminars

Balancing Societal Security and Individual Privacy: Accountable Escrow System

Jia Liu, Mark D. Ryan (University of Birmingham); Liqun Chen (HP Labs, Bristol).

Room 245, School of Computer Science.

Thursday 10 July 2014, 11:00-12:00

Computer Security Seminars

An overview of some GCHQ/NSA projects

Tom Chothia, University of Birmingham.

Room 245, School of Computer Science.

Thursday 03 July 2014, 11:00-12:00

Computer Security Seminars

ECC-based bug attacks on OpenSSL: a retrospective

Dan Page, University of Bristol.

Room 245, School of Computer Science.

Thursday 19 June 2014, 11:00-12:00

Computer Security Seminars

Security and privacy in society: meeting at the Royal Society

Mark Ryan, University of Birmingham.

Room 245, School of Computer Science.

Thursday 05 June 2014, 11:00-12:00

Computer Security Seminars

Care.data: when good intentions are not enough

Ian Batten, University of Birmingham.

Room 245, School of Computer Science.

Thursday 08 May 2014, 11:00-12:00

Computer Security Seminars

A Formal Model and Practical Technique for Quantifying Information Leakage in Software

Chris Novakovic, University of Birmingham.

Room 245, School of Computer Science.

Wednesday 30 April 2014, 11:00-12:00

Computer Security Seminars

Timing attacks in security protocols: symbolic framework and proof techniques

Vincent Cheval (School of Computer Science, University of Birmingham).

Room 245, School of Computer Science.

Thursday 17 April 2014, 11:00-12:00

Computer Security Seminars

Forensic Virtual Machines: Dynamic defence in the Cloud via Introspection

Behzad Bordbar.

Room 245, School of Computer Science.

Thursday 10 April 2014, 11:00-12:00

Computer Security Seminars

Robbing the bank using formal methods

Joeri de Ruiter.

Room 245, School of Computer Science.

Thursday 03 April 2014, 11:00-12:00

Computer Security Seminars

Stanford Javascript crypto library

Mihai Ordean.

Room 245, School of Computer Science.

Thursday 27 March 2014, 11:00-12:00

Computer Security Seminars

Enhanced Certificate Transparency and End-to-end Encrypted Mail

Mark Ryan.

Room 245, School of Computer Science.

Thursday 20 February 2014, 11:00-12:00

Computer Security Seminars

Virtual Multi-Protocol Attacks in Non-Repudiation Protocols

Matthijs Melissen.

Room 245, School of Computer Science.

Thursday 19 December 2013, 11:00-12:00

Computer Security Seminars

Quantitative analysis of opacity

Chunyan Mu.

Room 245, School of Computer Science.

Thursday 05 December 2013, 11:00-12:00

Computer Security Seminars

Private machine learning: case of the Internet

Shishir Nagaraja, School of Computer Science, University of Birmingham.

Room 245, School of Computer Science.

Thursday 07 November 2013, 11:00-12:00

Computer Security Seminars

A Schnorr-Like Lightweight Identity-Based Signature Scheme

Flavio Garcia, School of Computer, University of Birmingham.

Room 245, School of Computer Science.

Thursday 24 October 2013, 11:00-12:00

Computer Security Seminars

Dev-Vote: Electronic voting on an untrusted platform

Gurchetan S Grewal.

Room 245, School of Computer Science.

Thursday 10 October 2013, 11:00-12:00

Computer Security Seminars

A Qualitative Comparison of SSL Validation Alternatives

Henning Perl, Leibniz Universität Hannover.

Room 245, School of Computer Science.

Monday 29 July 2013, 11:00-12:00

Computer Security Seminars

Dynamic measurement and protected execution: model and analysis

Ian Batten, School of Computer Science, University of Birmingham.

Room 245, School of Computer Science.

Thursday 18 July 2013, 11:00-12:00

Computer Security Seminars

Privacy issues: from protocols to applications

Vincent Cheval (School of Computer Science, University of Birmingham).

Room 245, School of Computer Science.

Thursday 04 July 2013, 11:00-12:00

Computer Security Seminars

Probabilistic Point-to-Point Information Leakage

Chris Novakovic (School of Computer Science, University of Birmingham).

Room 245, School of Computer Science.

Thursday 20 June 2013, 11:00-12:00

Computer Security Seminars

Imposing Order on the Temporal Chaos of ProVerif*

Tom Chothia (School of Computer Science, University of Birmingham).

Room 245, School of Computer Science.

Thursday 06 June 2013, 11:00-12:00

Computer Security Seminars

Static Analysis for Regular Expression Denial-of-Service Attacks

Asiri Rathnayake (University of Birmingham).

Room 245, School of Computer Science.

Thursday 09 May 2013, 11:00-12:00

Artificial Intelligence and Natural Computation seminars

Online learning for Tracking-by-Detection using P/N-Constraints

Dr. Roman Pflugfelder and Mr. Georg Nebehay, Austrian Institute of Technology.

Room 245, School of Computer Science.

Wednesday 11 May 2011, 12:00-13:00

Artificial Intelligence and Natural Computation seminars

Computers, the Division of Labor and Crowdsourcing

Dr. David Alan Grier, Elliott School of International Affairs, George Washington University.

Room 245, School of Computer Science.

Friday 11 March 2011, 12:00-13:00