Talks

Turing 100

Alan TuringAttending the Turing 100 conference, a marvelous event to celebrate Alan Turing's centenary, with an impressive line-up of inspiring speakers. I make my Prezi notes public.

 

It was certainly a beautiful event with some of the great thinkers of (computer) science, asking the big questions of boundaries of computation, mechanical reasoning and the computability of the human mind.

 

Prezi Notes

(Needs JavaScript and Adobe Flash Player,

note that the embedded Prezi has limited navigation features. Go to Turing 100 for random access)

EU Cyber Security and Privacy Forum 2012

Speaking at the EU Cyber Security and Privacy Forum (EU CSP), cluster workshop 2 on applications of security and privacy policies.

My topic is VALID Rules - a language for cloud security, showing how the VALID security policy language can be used for topology verification. See Cloud Security Assurance.

Read more: EU Cyber Security and Privacy Forum 2012

Attribute-based Credentials (Newcastle Security)

Speaking about Attribute-based Credentials and the EU FP7 project ABC4Trust. Most of the slides were kindly provided by ABC4Trust, in particular, Jan Camenisch, Anja Lehmann and Gregory Neven.

Read more: Attribute-based Credentials (Newcastle Security)

Verification of Infrastructure Clouds (ACM CCSW'11)

Speaking at ACM CCS Cloud Security Workshop (CCSW) 2011, on the automated verification of virtualized infrastructures. See Cloud Security Assurance.

Read more: Verification of Infrastructure Clouds (ACM CCSW'11)

Anonymous Credentials for Java Card (SIT SC 2011)

Invited speaker at Fraunhofer SIT Smartcard Workshop on Anonymous Credentials on Java Card. Our work proved the feasibility of such systems on a standard Java Card. (Funny side note: the book Handbook on EID Security that I received as speaker present cites our work as feasibility proof).

Read more: Anonymous Credentials for Java Card (SIT SC 2011)