Attending 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.
note that the embedded Prezi has limited navigation features. Go to Turing 100 for random access)
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
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)
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)
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)