Birmingham Security and Privacy research showcase

Please note longer time and change of venue

Mark Ryan, Flavio Garcia, David Galindo, Mihai Ordean (Birmingham).

Learning Centre, UG07.

Thursday 19 October 2017, 11:00-12:30

Theoretical computer science seminar

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

Peter Hines (University of York).

Computer Science, The Sloman Lounge (UG).

Friday 13 October 2017, 11:00-12:00

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Changyu Dong (Newcastle).

Computer Science, The Sloman Lounge (UG).

Thursday 12 October 2017, 11:00-12:00

NewHope for ARM - An Efficient Implementation of the Post-Quantum Ephemeral Key Exchange NewHope for the ARMv6-M and ARMv7M Architecture

Philipp Jakubeit (Birmingham).

Computer Science, The Sloman Lounge (UG).

Thursday 05 October 2017, 11:00-12:00

Birmingham Research Showcase

Christophe Petit, Eike Ritter, Mark Ryan, Garfield Benjamin, David Galindo (Birmingham).

Computer Science, The Sloman Lounge (UG).

Thursday 20 July 2017, 11:00-12:00

Passports as encryption smartcards: why traveling abroad with your passport might be illegal

Eric Verheul (Radboud).

Computer Science, The Sloman Lounge (UG).

Friday 14 July 2017, 11:00-12:00

Security and Privacy group research showcase

Speaker to be confirmed.

Computer Science, The Sloman Lounge (UG).

Friday 14 July 2017, 11:00-12:00

Polymorphic Encryption and Pseudonymization in the Dutch eID scheme

Eric Verheul (Radboud).

Computer Science, The Sloman Lounge (UG).

Thursday 13 July 2017, 11:00-12:00

Blockchain & Hyperledger

Pete Cripps (Cloud Architect, IBM).

Computer Science, The Sloman Lounge (UG).

Thursday 06 July 2017, 11:00-12:00

(Avoiding) Boilerplate reduction proofs in cryptography - can we learn from F*-based techniques?

Chris Brzuska (Hamburg).

Computer Science, The Sloman Lounge (UG).

Thursday 22 June 2017, 11:00-12:00

Automotive security research from a tier 1 perspective

Michael Feiri and Martin Thompson (ZF TRW).

Computer Science, The Sloman Lounge (UG).

Thursday 15 June 2017, 11:00-12:00

Ethics, Risk and Responsibility in Cyber Security Research

Please note room change

Katherine Fletcher (Oxford) and Garfield Benjamin (Birmingham).

Computer Science room 245.

Thursday 08 June 2017, 11:00-12:00

Information Security in Practice

David Deighton (Birmingham).

Computer Science, The Sloman Lounge (UG).

Thursday 01 June 2017, 11:00-12:00

Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

Jean Paul Degabriele (RHUL).

Computer Science, The Sloman Lounge (UG).

Thursday 25 May 2017, 11:00-12:00

Certifying the uncertifiable

Julio Hernandez-Castro (University of Kent).

Computer Science, The Sloman Lounge (UG).

Thursday 18 May 2017, 11:00-12:00

Title to be confirmed

Angela Sasse (UCL).

Computer Science, The Sloman Lounge (UG).

Thursday 11 May 2017, 11:00-12:00

Arms Verification with Information Barriers: Constraining Bayesian Networks For Confidence Building

Michael Huth (Imperial College London).

Computer Science, The Sloman Lounge (UG).

Thursday 30 March 2017, 11:00-12:00

Certifying the uncertifiable

Thanassis Giannetsos (Surrey).

Computer Science, The Sloman Lounge (UG).

Thursday 23 March 2017, 11:00-12:00

A formal Security Analysis of the Signal Messaging Protocol

Luke Garratt (University of Oxford).

Computer Science, The Sloman Lounge (UG).

Thursday 23 February 2017, 11:00-12:00

Fixed-Point Arithmetic in Somewhat Homomorphic Encryption Schemes

Srinivas Vivek (University of Bristol).

Computer Science, The Sloman Lounge (UG).

Thursday 16 February 2017, 11:00-12:00

A Surfeit of SSH Ciphersuites

Kenny Paterson (Royal Holloway University of London).

Computer Science, The Sloman Lounge (UG).

Thursday 09 February 2017, 11:00-12:00

Assessing the Procedural Security & Transparency Components of the Estonian Internet Voting System

Jason Nurse (Oxford).

Sloman Lounge, School of Computer Science.

Thursday 26 January 2017, 11:00-12:00

Security Notions for Whitebox Cryptography

Chris Brzuska (Hamburg University of Technology).

Sloman Lounge, School of Computer Science.

Thursday 19 January 2017, 11:00-12:00

Do we need trust for verifiability in e-voting?

Peter Browne Roenne (Luxembourg).

Sloman Lounge, School of Computer Science.

Thursday 12 January 2017, 11:00-12:00

Post-quantum cryptography

Peter Schwabe (Radboud, NL).

Sloman Lounge, School of Computer Science.

Thursday 15 December 2016, 11:00-12:00

Alpha-Beta Privacy

Luca Vigano (KCL).

Sloman Lounge, School of Computer Science.

Thursday 01 December 2016, 11:00-12:00

Transparency Overlays and Applications

Sarah Meiklejohn (UCL).

Sloman Lounge, School of Computer Science.

Thursday 17 November 2016, 11:00-12:00

Understanding and Improving the Security Impact of Smartphone Apps

Vincent Taylor (University of Oxford) .

Sloman Lounge, School of Computer Science.

Thursday 10 November 2016, 11:00-12:00

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

Jonathan Bootle (UCL).

Sloman Lounge, School of Computer Science.

Thursday 03 November 2016, 11:00-12:00

The Million-Key Question – Investigating the Origins of RSA Public Keys

Petr Svenda (Masaryk University, Czech Republic).

Sloman Lounge, School of Computer Science.

Thursday 20 October 2016, 11:00-12:00

Decisions & Disruptions (D&D): A Cyber-Physical Systems Game for Studying Security Decisions

Sylvain Frey (University of Lancaster).

Sloman Lounge, School of Computer Science.

Thursday 06 October 2016, 11:00-12:00

Computer Science Summer Interns

Connor Brasnell, Rhys Howard, Luke Taher and Christopher Wilson (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 15 September 2016, 11:00-12:00

LeiA: A Lightweight Authentication Protocol for CAN

Andreea Radu (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 01 September 2016, 11:00-12:00

BeleniosRF: A Non-Interactive Receipt-Free Electronic Voting Scheme

David Galindo (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 25 August 2016, 11:00-12:00

Lock It and Still Lose It - On the (In)Security of Automotive Remote Keyless Entry Systems

David Oswald and Flavio Garcia (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 04 August 2016, 11:00-12:00

not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

Hannes Mehnert (University of Cambridge).

Sloman Lounge, School of Computer Science.

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

A Formal Security Analysis of ERTMS Train to Trackside Protocols

Richard Thomas (University of Birmingham).

Sloman Lounge, School of Computer Science.

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

Internet Voting on Insecure Platforms

Yvo Desmedt (The University of Texas at Dallas).

Room 217, School of Computer Science.

Thursday 09 June 2016, 14:00-15:00

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

Towards Deployment of a Next-generation Secure Internet Architecture

Adrian Perrig (ETH Zurich).

UG07, Learning Centre.

Thursday 14 April 2016, 11:00-12:00

Investigatory Powers Bill

Ian Batten (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 24 March 2016, 11:00-12:00

Cyber Security: It's a Socio-Technical Challenge

Budi Arief (University of Kent).

Sloman Lounge, School of Computer Science.

Thursday 17 March 2016, 11:00-12:00

Names with interleaved scopes

Dan Ghica (Computer Science).

Sloman Lounge, School of Computer Science.

Thursday 25 February 2016, 11:00-12:00

cMix: Anonymization by High-Performance Scalable Mixing

Joeri de Ruiter (University of Birmingham).

Sloman Lounge, School of Computer Science.

Thursday 04 February 2016, 11:00-12:00

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

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

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

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

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

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

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

Wirelessly Lockpicking a Vehicle Immobilizer

Flavio Garcia ( University of Birmingham).

Room 245, School of Computer Science.

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

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

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

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

Symbolic protocol verification - where next?

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

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

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

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

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

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

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

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

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

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

Title to be confirmed

Cas Cremers, University of Oxford.

Room 245, School of Computer Science.

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

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

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

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

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

CESG's Secure Communications Strategy

Peter Haigh, CESG.

Room 245, School of Computer Science.

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

Blindspot: Indistinguishable Anonymous Communications

Joseph Gardiner (University of Birmingham).

Room 245, School of Computer Science.

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

PhD Student Five Minute Talks

Various speakers.

Room 245, School of Computer Science.

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

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

Hack.lu CTF

Various speakers.

Room 245, School of Computer Science.

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

Key usage detection

Jiangshan Yu (University of Birmingham).

Room 245, School of Computer Science.

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

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

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

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

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

Entropy model checking [NOTE: CHANGE OF LOCATION]

Chunyan Mu, University of Birmingham.

Room 217, School of Computer Science.

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

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

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

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

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

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

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

Robbing the bank using formal methods

Joeri de Ruiter.

Room 245, School of Computer Science.

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

Stanford Javascript crypto library

Mihai Ordean.

Room 245, School of Computer Science.

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

Verifying Differential Privacy by Program Logic

Marco Gaboardi.

Room 222, School of Computer Science.

Thursday 20 March 2014, 10:00-11:00

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

NDSS dry run

Mark Ryan.

Room 222, School of Computer Science.

Thursday 06 February 2014, 10:00-11:00

Detecting and Analysing compromised Firmware in Memory Forensics

Michael Denzel.

Room 222, School of Computer Science.

Thursday 30 January 2014, 10:00-11:00

Virtual Multi-Protocol Attacks in Non-Repudiation Protocols

Matthijs Melissen.

Room 245, School of Computer Science.

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

Quantitative analysis of opacity

Chunyan Mu.

Room 245, School of Computer Science.

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

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

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

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

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

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

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

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

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

Caveat Coercitor: coercion-evidence in electronic voting

Gurchetan S. Grewal and Mark Ryan.

Room 217, School of Computer Science.

Friday 10 May 2013, 11:00-12:00

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