Browsing by Submitted Year "2003"

Browsing by Submitted Year "2003"

Sort by: Order: Results:

  • Foundations of Security Protocol Analysis 
    Suresh, S. P. (2009-09-09)
    One of the central problems in the automatic verification of security protocols is that of verifying whether a given protocol leaks secrets or not. It identifies syntactic subclasses of protocols for which the secrecy ...
  • Quantum spin liquids and connections with nonlinear sigma models 
    Naveen, Surendran (, 2009-09-08)
    The low energy properties of many strongly correlated electronic systems can be described by an effective theory in terms of just spin degrees of freedom. One of the simplest interacting model, Heisenberg model has been ...