 | 2009 |
|---|
| 11 |       | Indranil Saha,
Debapriyay Mukhopadhyay:
Security against Sybil Attack in Wireless Sensor Network through Location Verification.
ICDCN 2009: 187-192 |
| 10 | | Indranil Saha,
Debapriyay Mukhopadhyay:
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.
ICISS 2009: 292-300 |
| 9 | | Gautam K. Das,
Debapriyay Mukhopadhyay,
Subhas C. Nandy:
Improved Algorithm for a Widest 1-Corner Corridor.
WALCOM 2009: 83-92 |
| 8 | | Gautam K. Das,
Debapriyay Mukhopadhyay,
Subhas C. Nandy:
Improved algorithm for the widest empty 1-corner corridor.
Inf. Process. Lett. 109(18): 1060-1065 (2009) |
| 2007 |
|---|
| 7 | | Kuntal Das Barman,
Debapriyay Mukhopadhyay:
Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.
ICFEM 2007: 232-245 |
| 6 | | Indranil Saha,
Debapriyay Mukhopadhyay:
A Distributed Algorithm of Fault Recovery for Stateful Failover.
TAMC 2007: 738-749 |
| 2006 |
|---|
| 5 |  | Suman Roy,
Debapriyay Mukhopadhyay,
Chandrashekhara Thejaswi:
A Sensor network design from a probabilistic automaton model of impersonation attack.
COMSWARE 2006 |
| 4 | | Debapriyay Mukhopadhyay,
Indranil Saha:
Location Verification Based Defense Against Sybil Attack in Sensor Networks.
ICDCN 2006: 509-521 |
| 3 | | Satyajit Banerjee,
Debapriyay Mukhopadhyay:
Symmetric key based authenticated querying in wireless sensor networks.
InterSense 2006: 22 |
| 2 | | Indranil Saha,
Debapriyay Mukhopadhyay,
Satyajit Banerjee:
Designing Reliable Architecture for Stateful Fault Tolerance.
PDCAT 2006: 545-551 |
| 2005 |
|---|
| 1 | | Debapriyay Mukhopadhyay,
Suman Roy:
A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network.
ICDCIT 2005: 334-347 |
