2008 | ||
---|---|---|
3 | EE | K. R. Jayaram, Aditya P. Mathur: On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. COMPSAC 2008: 937-942 |
2 | EE | Christopher Line, K. R. Jayaram, Patrick Eugster: Lazy argument passing in Java RMI. PPPJ 2008: 127-136 |
2006 | ||
1 | EE | K. R. Jayaram: Identifying andTesting for Insecure Paths in Cryptographic Protocol Implementations. COMPSAC (2) 2006: 368-369 |
1 | Patrick Th. Eugster (Patrick Eugster) | [2] |
2 | Christopher Line | [2] |
3 | Aditya P. Mathur | [3] |