Infocity Gate Akshardham by night
DA-IICT Lawn Akshardham by day

TUTORIALS

  • Security Issues in Electronic Voting.
    cancelled
  • Secure Multiparty Computation and Applications.
    Amitabh Saxena, Hewlett Packard Labs (India)
  • Verification of Multithreaded Shared-memory Programs.
    Speaker: Alexander Malkis, IMDEA
  • Semantics-Based Techniques for Security Analysis and Verification.
    Speaker: Agostino Cortesi, Ca Foscari University