Baskar Anguraj

Baskar
Office: S2|02 E321
Phone: +49 6151 16-6432
Fax: +49 6151 16-5326
Mail: baskaratmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany
 
Research Interests

  • Logic in Computer Science
  • Formal Methods and Automata theory
  • Security Protocol Verification
  • Formal Methods for Information Security
Publications

  • A DEXPTIME-complete Dolev-Yao theory with distributive encryption [Conference version | Technical report]
    A Baskar, R Ramanujam, and S P Suresh
    Proceedings of MFCS 2010     , Springer LNCS volume 6281, pages 102–113, August 2010.

  • A Dolev-Yao model for Zero-Knowledge [PDF]
    A Baskar, R Ramanujam, and S P Suresh
    Proceedings of ASIAN 2009     , Springer LNCS volume 5913, pages 137–146, December 2009.

  • Knowledge-based modelling of voting protocols [ PDF]
    A Baskar, R Ramanujam, and S P Suresh
    Proceedings of the Eleventh Conference on Theoretical Aspects of Rationality and Knowledge     , edited by Dov Samet,
    pages 62–71, Brussels, Belgium, June 25–27, 2007


Last modified on 10 January 2012.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang