Essam Ghadafi

Contact Details:
Department of Computer Science
University of Bristol
Merchant Venturers Building
Woodland Road
BRISTOL
BS8 1UB
United Kingdom
Emails: ghadafi[AT]cs[DOT]bris[DOT]ac[DOT]uk

About Me

I am a post-doctoral researcher in the Cryptography group at the University of Bristol. I have obtained my PhD in Computer Science from the University of Bristol working on Cryptography & Information Security. My supervisors were: Nigel Smart and Bogdan Warinschi

I got my Master's (with Distinction) from the University of Bristol in 2007.

Between obtaining my first degree and starting my Master's, I have worked for a number of years as a Programmer & System Analyst.

Research Interests

I am primarily interested in Cryptography & Information Security. I am also interested in Programming Languages and Web Security.

Current Research

My current research is centered around privacy-preserving cryptographic protocols. Topics I have worked on include:
  • Proof systems and their applications.
  • Signature schemes and related primitives (e.g. blind signatures, Group Signatures, etc.).
  • Direct Anonymous Attestation.

CV

Available on request.

Publications:

  • D. Bernhard, G. Fuchsbauer and E. Ghadafi. Efficient Signatures of Knowledge and DAA in the Standard Model. Cryptology ePrint Archive, Report 2012/475. August 2012. [PDF], [Slides].

  • D. Bernhard, G. Fuchsbauer, E. Ghadafi, N.P. Smart and B. Warinschi. Anonymous attestation with user-controlled linkability. Cryptology ePrint Archive, Report 2011/658. December 2011. [PDF], [Slides].

  • E. Ghadafi. Formalizing Group Blind Signatures and Practical Constructions in the Standard Model. Cryptology ePrint Archive, Report 2011/402. July 2011. [PDF], [Slides].

  • E. Ghadafi and N.P. Smart. Efficient Two-Move Blind Signatures in the Common Reference String Model. Information Security Conference -- ISC 2012. [PDF], [Slides].

  • E. Ghadafi, N.P. Smart and B. Warinschi. Groth-Sahai Proofs Revisited. Public Key Cryptography -- PKC 2010, pp. 177-192 [PDF], [Slides].

  • E. Ghadafi, N.P. Smart and B. Warinschi. Practical zero-knowledge proofs for circuit evaluation. Coding and Cryptography: IMACC 2009, pp. 469-494. December 2009 [PDF], [Slides].

Teaching:

  • COMS20700 Databases.

Other Activities:

  • External Reviewing:
    • IMACC 2011, Pairing 2010, PKC 2010, EUROCRYPT 2012, PKC 2012.

Hobbies

Cycling, Football and Swimming .


Lectures

[Lecture-12 PDF],
[Lecture-13 PDF],

My Calender